| commit | 38706196dce13df25ff6a1b3891d9724b1710f06 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Feb 22 00:54:56 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Feb 22 00:54:56 2008 +0000 |
| tree | 32ff950a5ebc97f6f2bf2f37103bedbab6d2b14a | |
| parent | a0894671c32476119c912542e890e837535c2d80 [diff] [blame] |
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
diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp index 6635b0b..2931d2a 100644 --- a/Analysis/GRExprEngine.cpp +++ b/Analysis/GRExprEngine.cpp
@@ -1155,6 +1155,8 @@ case lval::DeclValKind: + case lval::FuncValKind: + case lval::GotoLabelKind: isFeasible = Assumption; return St;