]> granicus.if.org Git - clang/commit
[analyzer] Allow TrackConstraintBRVisitor to work when the value it’s tracking is...
authorAnna Zaks <ganna@apple.com>
Wed, 17 Apr 2013 22:29:47 +0000 (22:29 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 17 Apr 2013 22:29:47 +0000 (22:29 +0000)
commit5b90ae7ba05a10a81f107ec1635deb1bd7292936
tree0a52838a233920ba113323fae4bbab759f2b5931
parent87f9d81d0ab806dcf6ca50a0c068dcb2ba7f51b3
[analyzer] Allow TrackConstraintBRVisitor to work when the value it’s tracking is not live in the last node of the path

We always register the visitor on a node in which the value we are tracking is live and constrained. However,
the visitation can restart at a node, later on the path, in which the value is under constrained because
it is no longer live. Previously, we just silently stopped tracking in that case.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179731 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
test/Analysis/diagnostics/deref-track-symbolic-region.c