Re: [PATCH] Small -ftrapv improvement

2018-02-07 Thread Richard Biener
On Tue, 6 Feb 2018, Jakub Jelinek wrote: > Hi! > > As mentioned on IRC, operation_could_trap_helper_p returns true > for division or modulo with -ftrapv; the operations could trap in certain > cases (e.g. division by -1 of minimum signed value, but we don't have any > library functions for divisi

[PATCH] Small -ftrapv improvement

2018-02-06 Thread Jakub Jelinek
Hi! As mentioned on IRC, operation_could_trap_helper_p returns true for division or modulo with -ftrapv; the operations could trap in certain cases (e.g. division by -1 of minimum signed value, but we don't have any library functions for division/modulo for -ftrapv nor instrument it in any way).