#define SDL_ANALYZER_NORETURN __attribute__((analyzer_noreturn))
これはSDL_NORETURNとほぼ同じだが, これが付けられた関数は実際には戻ることもできる. その違いは, これはコード生成には使われないが, 静的解析がプログラムの状態や可能なコードのパスを仮定するためにこの情報を使用する. 特に, このタグはアサーションを書くために有用である. 実際にSDL_assertは背後でこのタグを使用している. 一般的に, この特殊な利用ケースを理解していないアプリケーションはこのタグを直接使用するべきではない.
analyzer_noreturnに対応していないコンパイラでは, これは何もしない.
このマクロはSDLのヘッダで使用しているが, アプリケーションや他のライブラリでも自身のインターフェースで使用してもよい.