summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BasicConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* BasicConstraintManager:Ted Kremenek2008-12-031-6/+24
* Factory objects should not be temporary. It caches all objects in the set.Zhongxing Xu2008-11-271-3/+4
* Add comments.Zhongxing Xu2008-11-271-0/+2
* Fix crash of array bounds checking under 64-bit.Sebastian Redl2008-11-241-2/+8
* Initial support for checking out of bound memory access. Only support Zhongxing Xu2008-11-221-0/+27
* Print integer value instead of raw pointer. This is a hack to be fixed by mig...Zhongxing Xu2008-11-101-3/+1
* Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu2008-10-261-1/+0
* Enhance "Assumption" logic in BasicConstraintManager when reasoning about reg...Ted Kremenek2008-10-171-1/+20
* This patch did the following renaming. There should be no functional changes.Zhongxing Xu2008-10-171-32/+32
* Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi...Ted Kremenek2008-10-171-8/+0
* This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek2008-10-041-1/+1
* Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.Ted Kremenek2008-09-191-20/+7
* Add an omitted case for AssumeSymInt.Zhongxing Xu2008-09-191-0/+6
* Minor pass-sensitivity improvement:Ted Kremenek2008-09-161-4/+25
* Add newline at end of file.Daniel Dunbar2008-08-301-1/+1
* Added LLVM comment header.Zhongxing Xu2008-08-291-0/+14
* Migrate the rest symbolic analysis stuff to BasicConstraintManager.Zhongxing Xu2008-08-291-12/+164
* Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu2008-08-271-0/+298
OpenPOWER on IntegriCloud