]> granicus.if.org Git - clang/commit
[analyzer; new edges] in splitBranchConditionEdges() do not check that predecessor...
authorTed Kremenek <kremenek@apple.com>
Fri, 31 May 2013 06:11:17 +0000 (06:11 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 31 May 2013 06:11:17 +0000 (06:11 +0000)
commit042ca3de1e8d723cb73ee4d9984509e4489a6bb7
tree7d5ea2d4da1b72e0c0840d2a1c974522fdc06cc5
parent34d1a0a1522c7bcc7bf431f5b9a92cde3f2315fd
[analyzer; new edges] in splitBranchConditionEdges() do not check that predecessor edge has source in the same lexical scope as the target branch.

Fixes <rdar://problem/14031292>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@182987 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/BugReporter.cpp
test/Analysis/edges-new.mm