[Bug tree-optimization/44011] missed optimization of min/max_expr or strict overflow warnings for intended code.

[Bug tree-optimization/44011] missed optimization of min/max_expr or strict overflow warnings for intended code.

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44011

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
So the missed optimization with -UWARN_AND_OPTIMIZE is fixed in GCC 5.
The warning is fully gone in GCC 8 for both cases since moving over to match
and simplify.

[Bug tree-optimization/44011] missed optimization of min/max_expr or strict overflow warnings for intended code.

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-05-06 11:30 -------
(In reply to comment #2)
> (In reply to comment #1)
> > Place the pragma outside of the function (though it'll probably not help
> > due to the inlining).
> 
> with new function attribute "warning(string...)" similary to existing
> "target" and "optimize" atributtes/pragmas it would be possible to manage
> warnings for intended parts of code. currently diagnostic system reports
> the location of strict-overflow, so i suppose it's able to check a function
> attributes and skip some warnings. am i right?

Huh.  In theory yes.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44011

[Bug tree-optimization/44011] missed optimization of min/max_expr or strict overflow warnings for intended code.

[pluto at agmk dot net]

------- Comment #2 from pluto at agmk dot net  2010-05-06 11:27 -------
(In reply to comment #1)
> Place the pragma outside of the function (though it'll probably not help
> due to the inlining).

with new function attribute "warning(string...)" similary to existing
"target" and "optimize" atributtes/pragmas it would be possible to manage
warnings for intended parts of code. currently diagnostic system reports
the location of strict-overflow, so i suppose it's able to check a function
attributes and skip some warnings. am i right?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44011

[Bug tree-optimization/44011] missed optimization of min/max_expr or strict overflow warnings for intended code.

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2010-05-06 10:14 -------
Place the pragma outside of the function (though it'll probably not help
due to the inlining).

The min/max expression missed-optimization is due to the lack of a
tree combiner.  tree forwprop would be the natural candidate to
optimize them.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |enhancement
             Status|UNCONFIRMED                 |NEW
          Component|other                       |tree-optimization
     Ever Confirmed|0                           |1
           Keywords|                            |missed-optimization
   Last reconfirmed|0000-00-00 00:00:00         |2010-05-06 10:14:19
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44011