[PATCH] [analyzer] alpha.different.MissingBreak checker

Evgeny Pavlov e.pavlov at samsung.com
Wed May 28 22:48:14 PDT 2014


Hello Jordan, thanks for reply. I read the discussion on cfe-dev and I agree that this checker could be as special case for DeadStores checker. 
My checker also checks dead stores, but this is just one condition to suppress false positives. My checker can find missing  break when dead store didn't exist,
we just need to comment out lines 188-189 in the code of the checker. Of course, without dead store checking it produces a little bit more false positives, but it is not too noisy and can find more true positives.
Please note, that this checker can processing 'fallthrough' comments (it might be improved, but it works) and works with another versions of C/C++.

Anyway, I hope that this checker can be useful for further work on implicit-fallthrough warning, so I've added Daniel Marjamäki to CC in review.

http://reviews.llvm.org/D3912






More information about the cfe-commits mailing list