[PATCH] D36251: [analyzer] Suppress warning when bug path contains noreturn function or return from main in MagentaHandleChecker

Devin Coughlin via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 5 10:30:37 PDT 2017


dcoughlin added a comment.

I'm worried about doing this for main(). I think many people would find it surprising if analyzing main() were to behave differently than other functions. I'm particularly worried because I think it is quite common to create a small test program with only main() to understand the behavior of the analyzer.


https://reviews.llvm.org/D36251





More information about the cfe-commits mailing list