diff --git a/clang/www/analyzer/annotations.html b/clang/www/analyzer/annotations.html index 9e3583de3cad..bb4bc448c7f4 100644 --- a/clang/www/analyzer/annotations.html +++ b/clang/www/analyzer/annotations.html @@ -541,7 +541,8 @@ some action that depends on that condition (e.g., dereferencing a pointer).

The analyzer knows about several well-known assertion handlers, but can automatically infer if a function should be treated as an assertion handler if it is annotated with the 'noreturn' attribute or the (Clang-specific) -'analyzer_noreturn' attribute.

+'analyzer_noreturn' attribute. Note that, currently, clang does not support +these attributes on Objective-C methods and C++ methods.

Attribute 'noreturn'