]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f449244) | patch
[analyzer] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons.
authorJordan Rose <jordan_rose@apple.com>
Sun, 24 Mar 2013 20:25:22 +0000 (20:25 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sun, 24 Mar 2013 20:25:22 +0000 (20:25 +0000)
commit8f7bfb40b72f478d83b018a280f99c0386576ae3
tree89881a62d392b7b018ea7aa6ef8a8ad0bf7b7a27tree | snapshot
parentf4492448a201c352be3d2e1e76220cf7cd499c55commit | diff
[analyzer] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons.

These aren't generated by default, but they are needed when either side of
the comparison is tainted.

Should fix our internal buildbot.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177846 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp diff | blob | history
test/Analysis/taint-generic.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.