Hey.
Am 20.03.2019 um 18:36 schrieb Andrew Haley:
> On 3/20/19 2:08 PM, Moritz Strübe wrote:
>> Ok, I played around a bit. Interestingly, if I set
>> -fsanitize=udefined and -fsanitize-undefined-trap-on-error the
>> compiler detects that it will always trap, and optimizes the code
>> accordingly (the code after the trap is removed).* Which kind of
>> brings me to David's argument: Shouldn't the compiler warn if there
>> is undefined behavior it certainly knows of?
> Maybe an example would help.
>
> Consider this code:
>
> for (int i = start; i < limit; i++) {
> foo(i * 5);
> }
>
> Should GCC be entitled to turn it into
>
> int limit_tmp = i * 5;
> for (int i = start * 5; i < limit_tmp; i += 5) {
> foo(i);
> }
>
> If you answered "Yes, GCC should be allowed to do this", would you
> want a warning? And how many such warnings might there be in a typical
> program?
Ok, let me see whether I get your point. I assume that should be "int
limit_tmp = limit * 5;".
In the original version I have a potential integer overflow while
passing a parameter. While in the second version, I have a potential
overflow in limit_tmp and therefore the loop range and number of calls
of foo is changed.
I think I start getting your point, but I none the less think it would
be really nice to have an option(!) to warn me about such things
nonetheless. Use cases would be libraries, or at least their interfaces
and critical software or just support finding potential bugs. Especially
when using third party libraries this would can help find potential issues.
Would it be possible to annotate the inserted checks with a debug symbol
or similar? That way one could compile using LTO and then search for the
remaining symbols? That would allow static analysis tools to search for
these symbols and annotate the code.
Cheers
Moritz
--
Redheads Ltd. Softwaredienstleistungen
Schillerstr. 14
90409 Nürnberg
Telefon: +49 (0)911 180778-50
E-Mail: moritz.stru...@redheads.de | Web: www.redheads.de
Geschäftsführer: Andreas Hanke
Sitz der Gesellschaft: Lauf
Amtsgericht Nürnberg HRB 22681
Ust-ID: DE 249436843
