================ @@ -2668,6 +2668,10 @@ class FunctionDecl : public DeclaratorDecl, /// an attribute on its declaration or its type. bool isNoReturn() const; + /// Determines whether this function is known to be 'noreturn' for analyzer, + /// through an `analyzer_noreturn` attribute on its declaration. + bool isAnalyzerNoReturn() const; ---------------- Xazax-hun wrote:
Since this function is a very trivial check, I wonder if we need it or we could just inline its content at the use site. The function above `isNoReturn` is there because we have more cases to check. I don't have a strong feeling about this, I am fine either way. https://github.com/llvm/llvm-project/pull/150952 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
