Diffusion LLVM Github Monorepo 5e17ee1e35e4

[analyzer][IDF] Add a control dependency calculator + a new debug checker
5e17ee1e35e4
Actions

Authored by Szelethus on Jul 5 2019, 5:17 AM.

Description

[analyzer][IDF] Add a control dependency calculator + a new debug checker

I intend to improve the analyzer's bug reports by tracking condition
expressions.

01 bool b = messyComputation();
02 int i = 0;
03 if (b) control dependency of the bug site, let's explain why we assume val
04 to be true
05 10 / i; // warn: division by zero

I'll detail this heuristic in the followup patch, strictly related to this one
however:

Create the new ControlDependencyCalculator class that uses llvm::IDFCalculator to (lazily) calculate control dependencies for Clang's CFG.
A new debug checker debug.DumpControlDependencies is added for lit tests
Add unittests

Differential Revision: https://reviews.llvm.org/D62619

llvm-svn: 365197

Details

Committed

Szelethus

Jul 5 2019, 5:17 AM

Differential Revision

D62619: [analyzer][IDF] Add a control dependency calculator + a new debug checker

Parents

rG6884d5e0403c: [RISCV][NFC] Replace hard-coded CSR duplication with symbolic references

Branches

Unknown

Tags

Unknown

Event Timeline

Szelethus committed rG5e17ee1e35e4: [analyzer][IDF] Add a control dependency calculator + a new debug checker (authored by Szelethus).Jul 5 2019, 5:17 AM

Changes (7)

				Path	Packages
	M			clang/include/clang/Analysis/Analyses/Dominators.h
	M			clang/include/clang/Analysis/CFG.h
	M			clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
	M			clang/lib/StaticAnalyzer/Checkers/DebugCheckers.cpp
	M			clang/test/Analysis/domtest.c
	M			clang/test/Analysis/domtest.cpp
	M			clang/unittests/Analysis/CFGDominatorTree.cpp