Fix no-return false positives in static analyzer build
authorJan Vorlicek <janvorli@microsoft.com>
Mon, 11 Mar 2019 16:49:05 +0000 (09:49 -0700)
committerJan Vorlicek <janvorli@microsoft.com>
Mon, 11 Mar 2019 17:21:43 +0000 (18:21 +0100)
commitaaab93e367c462fecb481d2b98880953d0d6d405
treef8719c0534fe81c4524672507a41fc40ff262f0a
parent4cd8c37350a81d1bd00f86b52b3964542b8a7da7
Fix no-return false positives in static analyzer build

There were about 800 false positive issues in the clang status analyzer
build caused by the fact that various forms of asserts were not considered
by the analyzer as not returning.

This change adds __attribute__((analyzer_noreturn)) (wrapped in a macro) to
those assertion functions.

Commit migrated from https://github.com/dotnet/coreclr/commit/c4ca1ddb2413a354e8f49fff4680f175a02e7d8e
src/coreclr/src/inc/check.h
src/coreclr/src/inc/debugmacros.h
src/coreclr/src/inc/palclr.h
src/coreclr/src/jit/error.h
src/coreclr/src/jit/host.h
src/coreclr/src/pal/inc/pal.h
src/coreclr/src/pal/src/include/pal/dbgmsg.h