[llvm-dev] Full restrict support - status update

Jeroen Dobbelaere via llvm-dev
Tue, 29 Oct 2019 22:16:46 -0000

> -----Original Message-----
> From: David Greene <greened at obbligato.org>
[...]
> What's the failure mode?  Wrong answers or compiler abort?  If the
> latter, it would be nice if LLVM could emit a warning about illegal use
> of restrict.  Longer term, a RestrictSanitizer would be really helpful.
>
>                       -David

The compiler produces code that does not do what the testcase expects it to do.
This particular case could be detected and warned for at compile time (after
inlining and constant propagation).

Greetings,

Jeroen