Log - 8c7f00ff8ea30b51a0e34c03255d29a64fc4f436 - fp2-dev/platform/external/clang

1cb9f20 Print integer value instead of raw pointer. This is a hack to be fixed by migrating the output in analyzer to llvm::raw_ostream. by Zhongxing Xu · 17 years ago
7ac59b1 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 17 years ago
8048bb6 Enhance "Assumption" logic in BasicConstraintManager when reasoning about regions and symbolic regions. When assuming whether or not a location is non-null, walk up the region hierarchy until we hit a symbolic region (and test it for null). This may not be the end all solution, as the notion of what a "symbolic region" is really belongs in the specific subclass of StoreManager. by Ted Kremenek · 17 years ago
097fc98 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
6eaf0e3 Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 17 years ago
b15eba4 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 17 years ago
7abe689 Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 17 years ago
02b23eb Add an omitted case for AssumeSymInt. by Zhongxing Xu · 17 years ago
7603ed8 Minor pass-sensitivity improvement: by Ted Kremenek · 17 years ago
6cb194d Add newline at end of file. by Daniel Dunbar · 17 years ago
8647924 Added LLVM comment header. by Zhongxing Xu · 17 years ago
c6b27d0 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 17 years ago
c669497 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 17 years ago