[llvm-dev] Full restrict support - status update
Finkel, Hal J. via llvm-dev
llvm-dev at lists.llvm.org
Tue Oct 29 20:46:12 PDT 2019
On 10/29/19 5:16 PM, Jeroen Dobbelaere via llvm-dev wrote:
>> -----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.
> 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).
We can also certainly consider adding optimization remarks in to
generate this kind of information as well.
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory
More information about the llvm-dev