projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0dccd1a) | patch
[analyzer] Don't merge different return nodes in ExplodedGraph
authorDaniel Marjamaki <daniel.marjamaki@evidente.se>
Fri, 7 Oct 2016 14:21:08 +0000 (14:21 +0000)
committerDaniel Marjamaki <daniel.marjamaki@evidente.se>
Fri, 7 Oct 2016 14:21:08 +0000 (14:21 +0000)
commitd99ebc03f47332ca0290dbf6d39d1b4f1010b7b1
treec6e2c9c4c3be20eaf61b96d26cd33dad5d878a2etree | snapshot
parent0dccd1a0fd41eb29c0e072b5a5a527f5be388642commit | diff
[analyzer] Don't merge different return nodes in ExplodedGraph

Returns when calling an inline function should not be merged in the ExplodedGraph unless they are same.

Differential Revision: https://reviews.llvm.org/D25326

llvm-svn: 283554
clang/include/clang/Analysis/ProgramPoint.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h diff | blob | history
clang/lib/StaticAnalyzer/Core/CoreEngine.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
clang/test/Analysis/inlining/InlineObjCClassMethod.m diff | blob | history
clang/test/Analysis/unreachable-code-path.c diff | blob | history
Domain: System / Toolchain;