Verschwindet in der Versenkung

Es wäre sinnvoller gewesen, in C ein Funktionsattribut, z.B. "__attribute__((non_turing))", bzw. in C++ ein "[[non_turing]]", einzuführen. Das könnte ein Programmierer dann, ähnlich wie die "const correctness", zur Annotation verwenden.
Ein Static Analyser könnte dann zumindest immer noch Programmteile verifizieren, was genauso hilfreich ist wie wenn man den besonderen Crema-Code von C aufrufen würde.