]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e83b8da) | 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)
commitc32c5dfcbe077fa9936ce8df2b14025ba73888ee
treec4f3025e544d256714c4a9e2c9cb9f8a5a2f4c66tree | snapshot
parente83b8daddb4a48f68a4a7252936accbf23bac25ecommit | 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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@283554 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/ProgramPoint.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h diff | blob | history
lib/StaticAnalyzer/Core/CoreEngine.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
test/Analysis/inlining/InlineObjCClassMethod.m diff | blob | history
test/Analysis/unreachable-code-path.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.