[Bug tree-optimization/31178] New: VRP can infer a range for b in a >> b and a << b
rguenth at gcc dot gnu dot org
gcc-bugzilla@gcc.gnu.org
Wed Mar 14 21:13:00 GMT 2007
namely [0, n) where n is the width of type a. (Or better type a's mode to be
safe). Look at infer_value_range().
--
Summary: VRP can infer a range for b in a >> b and a << b
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity: enhancement
Priority: P3
Component: tree-optimization
AssignedTo: rguenth at gcc dot gnu dot org
ReportedBy: rguenth at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31178
More information about the Gcc-bugs
mailing list