Paths

Table of Contentst

[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

NoQ
baloghadamsoftware
xazax.hun
Charusso
rnkovacs
dcoughlin

Commits

rGb55745606fa6: [analyzer] Add a debug analyzer config to place an event for each tracked…
rL365208: [analyzer] Add a debug analyzer config to place an event for each tracked…
rC365208: [analyzer] Add a debug analyzer config to place an event for each tracked…

Summary

Exactly what it says on the tin!

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

Diff Detail

Repository: rG LLVM Github Monorepo

Event Timeline

Szelethus created this revision.Jun 21 2019, 4:21 AM

Herald added subscribers: cfe-commits, gamesh411, dkrupp and 5 others. · View Herald TranscriptJun 21 2019, 4:21 AM

Szelethus added a parent revision: D62883: [analyzer] Track terminator conditions on which a tracked expressions depends.Jun 21 2019, 4:21 AM

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

Closed by commit rGb55745606fa6: [analyzer] Add a debug analyzer config to place an event for each tracked… (authored by Szelethus). · Explain WhyJul 5 2019, 7:02 AM

This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

Path

Size

clang/

include/

clang/

StaticAnalyzer/

Core/

AnalyzerOptions.def

4 lines

lib/

Frontend/

CompilerInvocation.cpp

4 lines

StaticAnalyzer/

Core/

BugReporterVisitors.cpp

21 lines

test/

Analysis/

analyzer-config.c

3 lines

track-control-dependency-conditions.cpp

43 lines

Diff 208171

View Options

clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.def

View Options

clang/lib/Frontend/CompilerInvocation.cpp

View Options

clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

View Options

clang/test/Analysis/analyzer-config.c

View Options

clang/test/Analysis/track-control-dependency-conditions.cpp

[analyzer] Add a debug analyzer config to place an event for each tracked conditionClosedPublicActions

Details

Diff Detail

Event Timeline

Revision ContentsChangeset List

Diff 208171

clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.def

clang/lib/Frontend/CompilerInvocation.cpp

clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

clang/test/Analysis/analyzer-config.c

clang/test/Analysis/track-control-dependency-conditions.cpp

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

Revision Contents
Changeset List