llvm-project/clang/lib
Pavel Labath 02b64d46a0 [analyzer] Refactor conditional expression evaluating code
Summary:
Instead of digging through the ExplodedGraph, to figure out which edge brought
us here, I compute the value of conditional expression by looking at the
sub-expression values.

To do this, I needed to change the liveness algorithm a bit -- now, the full
conditional expression also depends on all atomic sub-expressions, not only the
outermost ones.

Reviewers: jordan_rose

CC: cfe-commits

Differential Revision: http://llvm-reviews.chandlerc.com/D1340

llvm-svn: 189090
2013-08-23 07:19:22 +00:00
..
ARCMigrate ObjectiveC migrator: builtin ObjectiveC types are not 2013-08-22 22:27:36 +00:00
AST Remove SequenceNumber from class/variable template partial specializations. 2013-08-22 23:27:37 +00:00
ASTMatchers Refactor VariantMatcher to use an interface underneath. 2013-08-22 16:38:33 +00:00
Analysis [analyzer] Refactor conditional expression evaluating code 2013-08-23 07:19:22 +00:00
Basic Move -mfpmath handling to -cc1 and implement it for x86. 2013-08-21 21:59:03 +00:00
CodeGen Only add this attribute when it's set. If it's not there, the assumption is that it's off. 2013-08-22 21:16:51 +00:00
Driver Move -mfpmath handling to -cc1 and implement it for x86. 2013-08-21 21:59:03 +00:00
Edit ObjectiveC migrator: Remove semicolon after the typedef 2013-07-18 22:17:33 +00:00
Format Work around unused variable warning in release builds. 2013-08-22 16:11:46 +00:00
Frontend Split isFromMainFile into two functions. 2013-08-22 00:27:10 +00:00
FrontendTool Fix dependencies now that the ARC migrator depends on the static analyzer. 2013-08-22 15:50:02 +00:00
Headers Fix the name and the type of the argument for intrinisc 2013-08-17 16:40:09 +00:00
Index Avoid using the 'index' namespace as scope. 2013-08-21 00:49:25 +00:00
Lex Split isFromMainFile into two functions. 2013-08-22 00:27:10 +00:00
Parse Revert "Implement a rudimentary form of generic lambdas." 2013-08-22 12:12:24 +00:00
Rewrite Split isFromMainFile into two functions. 2013-08-22 00:27:10 +00:00
Sema Sema: Properly support Microsoft-mode template arguments 2013-08-23 05:39:39 +00:00
Serialization Remove SequenceNumber from class/variable template partial specializations. 2013-08-22 23:27:37 +00:00
StaticAnalyzer [analyzer] Refactor conditional expression evaluating code 2013-08-23 07:19:22 +00:00
Tooling Tweak Replacement comparisons 2013-08-16 12:18:53 +00:00
CMakeLists.txt Fix dependencies now that the ARC migrator depends on the static analyzer. 2013-08-22 15:50:02 +00:00
Makefile Fix dependencies now that the ARC migrator depends on the static analyzer. 2013-08-22 15:50:02 +00:00