[Bug c/46374] Add nooverflow attribute

2010-11-08 Thread lfsxs0 at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46374 --- Comment #2 from Luís Fernando Schultz Xavier da Silveira 2010-11-08 15:48:47 UTC --- (In reply to comment #1) > That code is really: > bool > f (uint16_t x, uint16_t y) > { > return ((int)x) + 8 == ((int)y) - 17; > } I am very sorry. I forg

[Bug c/46374] Add nooverflow attribute

2010-11-08 Thread pinskia at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46374 --- Comment #1 from Andrew Pinski 2010-11-08 15:41:30 UTC --- That code is really: bool f (uint16_t x, uint16_t y) { return ((int)x) + 8 == ((int)y) - 17; } --- CUT --- There should be no zero extends in that code because the ABI requires the