]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7ca696) | patch
Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified
authorTed Kremenek <kremenek@apple.com>
Fri, 22 Feb 2008 00:54:56 +0000 (00:54 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 22 Feb 2008 00:54:56 +0000 (00:54 +0000)
commitdc3936b0557ce7377905b387d3c69bc8fa484b9c
tree32ff950a5ebc97f6f2bf2f37103bedbab6d2b14atree | snapshot
parentf7ca6968d541d020c3a51430b16c7b090b24befecommit | diff
Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified
assumption logic for lval::DeclVal.

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