public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/60669] New: VRP misses asserts for some already defined statements
@ 2014-03-26 12:13 pinskia at gcc dot gnu.org
2014-03-26 12:49 ` [Bug tree-optimization/60669] " rguenth at gcc dot gnu.org
` (3 more replies)
0 siblings, 4 replies; 5+ messages in thread
From: pinskia at gcc dot gnu.org @ 2014-03-26 12:13 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60669
Bug ID: 60669
Summary: VRP misses asserts for some already defined statements
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: pinskia at gcc dot gnu.org
Take (derived from gcc.dg/tree-ssa/vrp65.c):
extern void link_error (void);
void
f7 (int s)
{
unsigned t = s;
if ((s & 0x3cc0) == 0x3cc0)
{
if (t <= 0x3cbf)
link_error ();
}
else
{
if (t + 64 <= 63)
link_error ();
}
}
--- CUT ---
Notice how VRP does not insert an assert for t in either side of the if
statement even though it could figure out its range.
This shows up when I was adding a pass which takes common code and hoists them
up.
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/60669] VRP misses asserts for some already defined statements
2014-03-26 12:13 [Bug tree-optimization/60669] New: VRP misses asserts for some already defined statements pinskia at gcc dot gnu.org
@ 2014-03-26 12:49 ` rguenth at gcc dot gnu.org
2015-01-03 22:01 ` pinskia at gcc dot gnu.org
` (2 subsequent siblings)
3 siblings, 0 replies; 5+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-03-26 12:49 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60669
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
because it's not used in the paths dominated by the conditional.
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/60669] VRP misses asserts for some already defined statements
2014-03-26 12:13 [Bug tree-optimization/60669] New: VRP misses asserts for some already defined statements pinskia at gcc dot gnu.org
2014-03-26 12:49 ` [Bug tree-optimization/60669] " rguenth at gcc dot gnu.org
@ 2015-01-03 22:01 ` pinskia at gcc dot gnu.org
2021-07-12 17:46 ` amacleod at redhat dot com
2021-11-15 8:30 ` pinskia at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: pinskia at gcc dot gnu.org @ 2015-01-03 22:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60669
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |enhancement
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/60669] VRP misses asserts for some already defined statements
2014-03-26 12:13 [Bug tree-optimization/60669] New: VRP misses asserts for some already defined statements pinskia at gcc dot gnu.org
2014-03-26 12:49 ` [Bug tree-optimization/60669] " rguenth at gcc dot gnu.org
2015-01-03 22:01 ` pinskia at gcc dot gnu.org
@ 2021-07-12 17:46 ` amacleod at redhat dot com
2021-11-15 8:30 ` pinskia at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: amacleod at redhat dot com @ 2021-07-12 17:46 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60669
Andrew Macleod <amacleod at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |amacleod at redhat dot com
--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> ---
I believe ranger resolves this now in EVRP?
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/60669] VRP misses asserts for some already defined statements
2014-03-26 12:13 [Bug tree-optimization/60669] New: VRP misses asserts for some already defined statements pinskia at gcc dot gnu.org
` (2 preceding siblings ...)
2021-07-12 17:46 ` amacleod at redhat dot com
@ 2021-11-15 8:30 ` pinskia at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-11-15 8:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60669
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |FIXED
Target Milestone|--- |12.0
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed on the trunk by many of the ranger improvements that was done.
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2021-11-15 8:30 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-03-26 12:13 [Bug tree-optimization/60669] New: VRP misses asserts for some already defined statements pinskia at gcc dot gnu.org
2014-03-26 12:49 ` [Bug tree-optimization/60669] " rguenth at gcc dot gnu.org
2015-01-03 22:01 ` pinskia at gcc dot gnu.org
2021-07-12 17:46 ` amacleod at redhat dot com
2021-11-15 8:30 ` pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).