]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfa2fcb) | patch
Bug fix: Not all ConstraintManagers always return a null state when setting
authorTed Kremenek <kremenek@apple.com>
Thu, 7 May 2009 00:45:08 +0000 (00:45 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 7 May 2009 00:45:08 +0000 (00:45 +0000)
commit46a54eb500aa1f841308ad78ef356d28b1bbb0cc
tree02875c821c97e3f8472624853bcd61a2f7402900tree | snapshot
parentbfa2fcba545fb270f31205d616846c2bfaf4e47ecommit | diff
Bug fix: Not all ConstraintManagers always return a null state when setting
isFeasible to false. This is something we may wish to do further validation on.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71134 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRState.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.