//===-- GRConstantPropagation.cpp --------------------------------*- C++ -*-==//
-//
-// [ Constant Propagation via Graph Reachability ]
//
// The LLVM Compiler Infrastructure
//
//
//===----------------------------------------------------------------------===//
//
+// Constant Propagation via Graph Reachability
+//
// This files defines a simple analysis that performs path-sensitive
// constant propagation within a function. An example use of this analysis
// is to perform simple checks for NULL dereferences.