wangtao
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
47,754 Commits 29 Branches 0 Tags 2.2 GiB
Commit Graph

6 Commits

Author SHA1 Message Date
Zhongxing Xu a8e88ecda6 Add an omitted case for AssumeSymInt. 
llvm-svn: 56334
 2008-09-19 06:07:59 +00:00
Ted Kremenek 8782716c4a Minor pass-sensitivity improvement: 
if we know that 'len != 0' and know that 'i == 0' then we know that
  'i < len' must evaluate to true and cannot evaluate to false

llvm-svn: 56260
 2008-09-16 23:24:45 +00:00
Daniel Dunbar c62cf79290 Add newline at end of file. 
llvm-svn: 55559
 2008-08-30 02:06:22 +00:00
Zhongxing Xu 4c23963de8 Added LLVM comment header. 
llvm-svn: 55537
 2008-08-29 15:09:12 +00:00
Zhongxing Xu c1bd3a5f8b Migrate the rest symbolic analysis stuff to BasicConstraintManager. 
llvm-svn: 55536
 2008-08-29 14:52:36 +00:00
Zhongxing Xu f71b5f39bb Refactor Assume logic into a separate class ConstraintManager. 
llvm-svn: 55412
 2008-08-27 14:03:33 +00:00