[Bug middle-end/32074] Optimizer does not exploit assertions

2012-03-29 Thread siarhei.siamashka at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32074 --- Comment #8 from Siarhei Siamashka 2012-03-29 10:11:39 UTC --- (In reply to comment #5) > (In reply to comment #4) > > We have __builtin_unreachable() now which should allow for this > > optimization. > > I've been using __builtin_unreachabl

[Bug middle-end/32074] Optimizer does not exploit assertions

2012-03-29 Thread siarhei.siamashka at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32074 --- Comment #7 from Siarhei Siamashka 2012-03-29 09:31:37 UTC --- (In reply to comment #6) > Fixed by means of __builtin_unreachable (). But __builtin_unreachable() is not a part of C standard yet? Is there no way to extract some useful informat

[Bug middle-end/32074] Optimizer does not exploit assertions

2012-03-29 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32074 Richard Guenther changed: What|Removed |Added Status|NEW |RESOLVED Resolution|

[Bug middle-end/32074] Optimizer does not exploit assertions

2012-03-28 Thread scovich at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32074 --- Comment #5 from Ryan Johnson 2012-03-29 02:46:50 UTC --- (In reply to comment #4) > We have __builtin_unreachable() now which should allow for this optimization. I've been using __builtin_unreachable() for some time now, and it's very nice f

[Bug middle-end/32074] Optimizer does not exploit assertions

2011-07-18 Thread pinskia at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32074 --- Comment #4 from Andrew Pinski 2011-07-18 23:00:28 UTC --- We have __builtin_unreachable() now which should allow for this optimization.

[Bug middle-end/32074] Optimizer does not exploit assertions

2007-05-24 Thread fang at csl dot cornell dot edu
--- Comment #3 from fang at csl dot cornell dot edu 2007-05-24 22:57 --- Subject: Re: Optimizer does not exploit assertions > --- Comment #2 from rguenth at gcc dot gnu dot org 2007-05-24 22:54 > --- > __builtin_expect should not be overloaded, but > __builtin_assert/assum

[Bug middle-end/32074] Optimizer does not exploit assertions

2007-05-24 Thread rguenth at gcc dot gnu dot org
--- Comment #2 from rguenth at gcc dot gnu dot org 2007-05-24 22:54 --- __builtin_expect should not be overloaded, but __builtin_assert/assume/whatever could be invented for this. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added -