aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BasicConstraintManager.cpp
AgeCommit message (Expand)Author
2008-11-10Print integer value instead of raw pointer. This is a hack to be fixed by mig...Zhongxing Xu
2008-10-26Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu
2008-10-17Enhance "Assumption" logic in BasicConstraintManager when reasoning about reg...Ted Kremenek
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-17Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi...Ted Kremenek
2008-10-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
2008-09-19Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.Ted Kremenek
2008-09-19Add an omitted case for AssumeSymInt.Zhongxing Xu
2008-09-16Minor pass-sensitivity improvement:Ted Kremenek
2008-08-30Add newline at end of file.Daniel Dunbar
2008-08-29Added LLVM comment header.Zhongxing Xu
2008-08-29Migrate the rest symbolic analysis stuff to BasicConstraintManager.Zhongxing Xu
2008-08-27Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu