Re: assuming signed overflow does not occur

2017-09-07 Thread Bruce Korb
On 09/04/17 08:54, Manuel López-Ibáñez wrote: > I wrote an explanation of the current status of Wstrict-overflow to the > best of my knowledge: > https://gcc.gnu.org/wiki/VerboseDiagnostics#Wstrict_overflow > > I didn't mention GIMPLE because it is often the case that the root of > the problem i

Re: assuming signed overflow does not occur

2017-09-04 Thread Manuel López-Ibáñez
On 03/09/17 23:00, Bruce Korb wrote: RFE's are for this list: please improve the message. The message does not have to be a dissertation, but messages nowadays can certainly include URL's to direct people to reasonable places. I'd suggest something like: gcc.gnu.org/gcc-messages/xxx WRT

Re: assuming signed overflow does not occur

2017-09-03 Thread Bruce Korb
ep, it creates subtle >> bugs. The warning is worthwhile. Still and all: >> >> 485 tvdiff = abs_tval(sub_tval(timetv, tvlast)); >> 486 if (tvdiff.tv_sec != 0) { >> >> systime.c: In function 'step_systime': >> syst

Re: assuming signed overflow does not occur

2017-09-03 Thread Florian Weimer
all: > > 485 tvdiff = abs_tval(sub_tval(timetv, tvlast)); > 486 if (tvdiff.tv_sec != 0) { > > systime.c: In function 'step_systime': > systime.c:486:5: warning: assuming signed overflow does not occur when > simplifying conditional to constant [-Wstrict-o

Re: assuming signed overflow does not occur

2017-09-02 Thread Bruce Korb
creates subtle > bugs. The warning is worthwhile. Still and all: > > 485 tvdiff = abs_tval(sub_tval(timetv, tvlast)); > 486 if (tvdiff.tv_sec != 0) { > > systime.c: In function 'step_systime': > systime.c:486:5: warning: assuming signed overflow

assuming signed overflow does not occur

2017-09-02 Thread Bruce Korb
_tval(timetv, tvlast)); 486 if (tvdiff.tv_sec != 0) { systime.c: In function 'step_systime': systime.c:486:5: warning: assuming signed overflow does not occur when simplifying conditional to constant [-Wstrict-overflow] What possible optimization might be going on to cause an o

Re: BUG: assuming signed overflow does not occur when simplifying conditional to constant

2012-12-29 Thread Bruce Korb
-MT libopts_la-libopts.lo \ > -MD -MP -MF .deps/libopts_la-libopts.Tpo \ > -c libopts.c -fPIC -DPIC \ > -o .libs/libopts_la-libopts.o > In file included from libopts.c:22:0: > ../../autoopts/configfile.c: In function 'intern_file_load': > ../../autoopts/configfi

Re: BUG: assuming signed overflow does not occur when simplifying conditional to constant

2012-12-29 Thread Florian Weimer
* Bruce Korb: > Hi Florian, > > On Sat, Dec 29, 2012 at 2:38 AM, Florian Weimer wrote: >>> ../../autoopts/configfile.c: In function 'intern_file_load': >>> ../../autoopts/configfile.c:1025:12: error: assuming signed overflow does >>> not occur \ &g

Re: BUG: assuming signed overflow does not occur when simplifying conditional to constant

2012-12-29 Thread Bruce Korb
Hi Florian, On Sat, Dec 29, 2012 at 2:38 AM, Florian Weimer wrote: >> ../../autoopts/configfile.c: In function 'intern_file_load': >> ../../autoopts/configfile.c:1025:12: error: assuming signed overflow does >> not occur \ >> when simplifying conditional to

Re: BUG: assuming signed overflow does not occur when simplifying conditional to constant

2012-12-29 Thread Florian Weimer
idx += inc; > // do a bunch of stuff > } > > ../../autoopts/configfile.c: In function 'intern_file_load': > ../../autoopts/configfile.c:1025:12: error: assuming signed overflow does not > occur \ > when simplifying conditional to constant [-Werror=strict-ove

BUG: assuming signed overflow does not occur when simplifying conditional to constant

2012-12-28 Thread Bruce Korb
e_load': ../../autoopts/configfile.c:1025:12: error: assuming signed overflow does not occur \ when simplifying conditional to constant [-Werror=strict-overflow] I do not think GCC should be "simplifying" the expression "idx < 0" to a constant. The number of entries