Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
98cabbad47a4d9db6b7e95c950d3302c110d1b02
/
lib
/
Checker
/
UnreachableCodeChecker.cpp
98cabba
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
by Argyrios Kyrtzidis
· 14 years ago
4895b9c
UnreachableCodeChecker cleanup and improvements
by Tom Care
· 14 years ago
bfc4a95
UnreachableCodeChecker does not need to inherit from CheckerVisitor, only Checker. It does not use any AST Stmt hooks, only VisitEndAnalysis.
by Tom Care
· 14 years ago
b36cd3e
Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch
by Zhongxing Xu
· 14 years ago
aaca011
Remove an assertion in UnreachableCodeChecker that can be triggered by bugs in other checkers.
by Tom Care
· 14 years ago
505a506
Small changes to UnreachableCodeChecker
by Tom Care
· 14 years ago
0600918
Fixed logic error in UnreachableCodeChecker's marking algorithm that would sometimes allow for multiple sequential statements to be flagged.
by Tom Care
· 14 years ago
f890679
Improved false positive detection and numerous small issues in UnreachableCodeChecker
by Tom Care
· 14 years ago
bc42c53
Changed GRExprEngine to pass down a reference to itself when checkers are doing postanalysis. This allows the checker to gather information about the state of the engine when it has finished.
by Tom Care
· 14 years ago
7bce3a1
Added some false positive checking to UnreachableCodeChecker
by Tom Care
· 14 years ago
5e04bdd
Don't warn about unreachable code if the block starts with __builtin_unreachable().
by Jordy Rose
· 14 years ago
c4b5bd8
Added an path-sensitive unreachable code checker to the experimental analyzer checks.
by Tom Care
· 14 years ago