replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
92,942 Commits 2 Branches 0 Tags 1.8 GiB
Commit Graph

4 Commits

Author SHA1 Message Date
Tom Care 16ba7c652e Fixed logic error in UnreachableCodeChecker's marking algorithm that would sometimes allow for multiple sequential statements to be flagged. 
llvm-svn: 110353
 2010-08-05 17:53:44 +00:00
Tom Care 29a6250bf0 Added some false positive checking to UnreachableCodeChecker 
- Allowed reporting of dead macros
- Added path walking function to search for false positives in conditional statements
- Updated some affected tests
- Added some false positive test cases

llvm-svn: 109561
 2010-07-27 23:30:21 +00:00
Jordy Rose 55442abee6 Don't warn about unreachable code if the block starts with __builtin_unreachable(). 
The next step is to warn if a block labeled unreachable is, in fact, reachable. Somewhat related to PR810.

llvm-svn: 109487
 2010-07-27 03:39:53 +00:00
Tom Care cba9f517ac Added an path-sensitive unreachable code checker to the experimental analyzer checks. 
- Created a new class to do post-analysis
- Updated several test cases with unreachable code to expect a warning
- Added some general tests

llvm-svn: 109286
 2010-07-23 23:04:53 +00:00