]> granicus.if.org Git - clang/commit
Revert "[Static Analyzer] BugReporter.cpp:2869: Assertion failed: !RemainingNodes...
authorDevin Coughlin <dcoughlin@apple.com>
Tue, 8 Sep 2015 23:50:22 +0000 (23:50 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Tue, 8 Sep 2015 23:50:22 +0000 (23:50 +0000)
commit17c95f6490e917c5764c4a8281df492d19542172
tree530f8fc2b621171dc491f6c54f2a3b82fcbaa5a4
parent3f8f05863c996e6b212ffeeb67f2b1ea65a84b70
Revert "[Static Analyzer] BugReporter.cpp:2869: Assertion failed: !RemainingNodes.empty() && "No error node found in the trimmed graph""

This is making our internal build bot fail because it results in extra warnings being
emitted past what should be sink nodes. (There is actually an example of this in the
updated malloc.c test in the reverted commit.)

I'm working on a patch to fix the original issue by adding a new checker API to explicitly
create error nodes. This API will ensure that error nodes are always tagged in order to
prevent them from being reclaimed.

This reverts commit r246188.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@247103 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
test/Analysis/PR24184.cpp [deleted file]
test/Analysis/malloc.c