[Bug target/98549] [11 Regression] ICE in rs6000_emit_le_vsx_store, at config/rs6000/rs6000.c:9938 on powerpc64le-linux-gnu
segher at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Tue Jan 19 01:54:28 GMT 2021
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98549
--- Comment #17 from Segher Boessenkool <segher at gcc dot gnu.org> ---
(In reply to joseph@codesourcery.com from comment #15)
> Only if the undefined behavior is a property of the program, or of all
> possible executions of the program, as opposed to a property of a
> particular execution of the program. See C90 DR#109. "A conforming
> implementation must not fail to translate a strictly conforming program
> simply because *some* possible execution of that program would result in
> undefined behavior.".
Yeah, good point.
But we do not have a complete program here at all, so this doesn't
say much. If this was a complete program likely *every* execution
of it would be UB; but of course it is also possible to make one
where no execution has UB.
Since the main routine in this snippet unconditionally has undefined
behaviour, there is no way I can call this valid code.
Anyway, the attached patch fixes the problem in this testcase. Not
sure yet it is actually correct ;-)
More information about the Gcc-bugs
mailing list