]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3a9415) | patch
ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for
authorTed Kremenek <kremenek@apple.com>
Mon, 24 Aug 2009 22:47:34 +0000 (22:47 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 24 Aug 2009 22:47:34 +0000 (22:47 +0000)
commit08780078183ae4b2534c69a3e0ded596cdb695ba
tree9d9a525039c97146dc5c70cf807c4e93cc59c7bftree | snapshot
parentc3a94151d12e3821f760e1e342f719ddeebeea19commit | diff
ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for
the condition. This eliminates a source of bugs where the client doesn't
correctly reason about undefined or unknown values. This fixes PR 4759.

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