]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 851607b) | patch
Minor pass-sensitivity improvement:
authorTed Kremenek <kremenek@apple.com>
Tue, 16 Sep 2008 23:24:45 +0000 (23:24 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 16 Sep 2008 23:24:45 +0000 (23:24 +0000)
commit8c3e7fbae6f61f87000f1edd59bb2379abf3d7e0
tree4f76546adfa04fca21f1a95b99d6f31686be6649tree | snapshot
parent851607b1d948faf51f40da03c606c9419f0cb1b3commit | diff
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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56260 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicConstraintManager.cpp diff | blob | history
test/Analysis/null-deref-ps.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.