[analyzer] Add a debug analyzer config to place an event for each tracked condition
ClosedPublic
Actions

Authored by Szelethus on Jun 21 2019, 4:21 AM.

Details

Reviewers

Commits

Summary

Exactly what it says on the tin!

I expect this to be especially valuable on production code where control dependencies aren't obvious.

Aha, yep, nice debug flag!

clang/test/Analysis/track-control-dependency-conditions.cpp
17	Pls consider `-verify=` here as well.

This revision is now accepted and ready to land.Jun 21 2019, 4:17 PM

This revision was automatically updated to reflect the committed changes.

			Path	Packages
M			clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.def (4 lines)
M			clang/lib/Frontend/CompilerInvocation.cpp (4 lines)
M			clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp (21 lines)
M			clang/test/Analysis/analyzer-config.c (3 lines)
M			clang/test/Analysis/track-control-dependency-conditions.cpp (43 lines)

Diff	ID	Base	Description	Created	Lint	Unit
Base			Base
Diff 1	205966			Jun 21 2019, 4:18 AM	★	★
Diff 2	208171	258e5e4	rGb55745606fa6b905a1324fc07d792a4eb7493974	Jul 5 2019, 7:00 AM	★	★

Status	Author	Revision
Closed	Szelethus	D63642 [analyzer] Add a debug analyzer config to place an event for each tracked condition
Closed	Szelethus	D62883 [analyzer] Track terminator conditions on which a tracked expressions depends
Closed	Szelethus	D62619 [analyzer][IDF] Add a control dependency calculator + a new debug checker
Closed	Szelethus	D62611 [analyzer][Dominators] Add unittests
Closed	Szelethus	D62551 [analyzer][Dominator] Add post dominator tree builder for the CFG + a debug checker
Closed	Szelethus	D62507 [Dominators] PR42041: Skip nullpointer successors
Closed	Szelethus	D63389 [IDF] Generalize IDFCalculator to be used with Clang's CFG
Closed	Szelethus	D63538 [CFG] Add a new function to get the proper condition of a CFGBlock