[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