[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2026-05-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 118279, which changed state.

Bug 118279 Summary: gcc fails to eliminate unnecessary guards around switch()
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118279

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2026-05-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 117323, which changed state.

Bug 117323 Summary: GCC failed to optimize value / 128 to value >> 7 when the 
range of value must be positive
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117323

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-11-20 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 122779, which changed state.

Bug 122779 Summary: "[[assume(x)]];" vs "if (!x) __builtin_unreachable();"
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122779

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |DUPLICATE

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-11-09 Thread law at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 99918, which changed state.

Bug 99918 Summary: [13/14 Regression] suboptimal code for bool bitfield tests
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99918

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-11-06 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 113632, which changed state.

Bug 113632 Summary: Range info for a^CSTP2-1 could be improved in some cases
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113632

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-29 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 91191, which changed state.

Bug 91191 Summary: vrp and boolean arguments
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91191

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-27 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 79191, which changed state.

Bug 79191 Summary: potentially truncating unsigned conversion defeats range 
propagation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79191

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-25 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 86707, which changed state.

Bug 86707 Summary: Missed optimization: optimizing set of if statements
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86707

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-24 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 110405, which changed state.

Bug 110405 Summary: missing nonzerobits on branch
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110405

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-24 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 114025, which changed state.

Bug 114025 Summary: Seeming missing frange based optimizations
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114025

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-24 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 114725, which changed state.

Bug 114725 Summary: Missed optimization: more precise range for and
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114725

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-24 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 114331, which changed state.

Bug 114331 Summary: Missed optimization: indicate knownbits from dominating 
condition switch(trunc(a))
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114331

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-24 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 118254, which changed state.

Bug 118254 Summary: missed knowing lower bits of a variable when using 
comparison of shorter type
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118254

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-22 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 116137, which changed state.

Bug 116137 Summary: missing VRP with absu and known not to include INF
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116137

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |INVALID

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-10-18 Thread law at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 117760, which changed state.

Bug 117760 Summary: `a != b` implies that a or b is also non-zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117760

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-07-11 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 108385, which changed state.

Bug 108385 Summary: [12 Regression] false positive -Wfree-nonheap-object
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108385

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-07-08 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 121001, which changed state.

Bug 121001 Summary: frange on float_var*0.f includes NaN even if float_var does 
not include NaN
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121001

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |INVALID

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-06-05 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 120231, which changed state.

Bug 120231 Summary: GCC fails to notice that (double)u64 is non-negative
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120231

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-05-20 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 95801, which changed state.

Bug 95801 Summary: Optimiser does not exploit the fact that an integer divisor 
cannot be zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95801

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-05-15 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 116546, which changed state.

Bug 116546 Summary: Missed optimization of redundant comparison
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116546

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-04-12 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 119471, which changed state.

Bug 119471 Summary: (a * b) != 0 then we know that both a!=0 & b != 0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119471

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-01-27 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 114559, which changed state.

Bug 114559 Summary: [12/13/14/15 Regression] After function inlining some 
optimizations missing
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114559

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2025-01-21 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 88575, which changed state.

Bug 88575 Summary: gcc got confused by different comparison operators
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88575

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-12-30 Thread law at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 101186, which changed state.

Bug 101186 Summary: predictable comparison of integer variables not folded
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101186

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-12-30 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 110931, which changed state.

Bug 110931 Summary: [14 Regression] Dead Code Elimination Regression since 
r14-2890-gcc2003cd875
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110931

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-12-29 Thread law at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 91645, which changed state.

Bug 91645 Summary: Missed optimization with sqrt(x*x)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91645

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-10-23 Thread stefansf at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 114678, which changed state.

Bug 114678 Summary: FAIL: gcc.dg/tree-ssa/range-sincos.c scan-tree-dump-not 
evrp "link_error" on s390
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114678

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-10-08 Thread law at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 116024, which changed state.

Bug 116024 Summary: [14/15 Regression] unnecessary integer comparison(s) for a 
simple loop since r14-5628-g53ba8d669550d3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116024

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-07-19 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 115951, which changed state.

Bug 115951 Summary: [15 Regression] pgo+lto enabled bootstrap fails building 
gnat (ICE in fold_stmt, at gimple-range-fold.cc:701)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115951

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-06-20 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 11, which changed state.

Bug 11 Summary: [Ranger] deduce 'a >= 0' from  'b << a'
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |DUPLICATE

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-03-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 114009, which changed state.

Bug 114009 Summary: [11/12/13/14 Regression] Missed optimization: (!a) * a => 0 
when a=(a/2)*2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114009

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2023-08-08 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 107822, which changed state.

Bug 107822 Summary: [13/14/14 Regression] Dead Code Elimination Regression at 
-Os (trunk vs. 12.2.0)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107822

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-11-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 68097, which changed state.

Bug 68097 Summary: We should track ranges for floating-point values too
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68097

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-11-08 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 24021, which changed state.

Bug 24021 Summary: VRP does not work with floating points
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24021

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-11-03 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 93917, which changed state.

Bug 93917 Summary: VRP forgets range of value read from memory
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93917

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-11-03 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 99966, which changed state.

Bug 99966 Summary: Bounds check not eliminated by assert
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99966

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-10-13 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 102540, which changed state.

Bug 102540 Summary: [12/13 Regression] Dead Code Elimination Regression at -O3 
since r12-476-gd846f225c25c5885
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102540

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-13 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 97909, which changed state.

Bug 97909 Summary: expr_not_equal_to (mainly in match.pd) vs. ranger
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97909

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-13 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 83073, which changed state.

Bug 83073 Summary: Range for VR_VARYING | [1, 1]
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83073

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-13 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 83072, which changed state.

Bug 83072 Summary: Late VRP optimization
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83072

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-12 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 42436, which changed state.

Bug 42436 Summary: VRP should mark non-trapping integer divisions
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42436

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-11 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 68561, which changed state.

Bug 68561 Summary: get_integer_range () that handles symbolical ranges
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68561

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-11 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 76174, which changed state.

Bug 76174 Summary: Missed VRP optimization
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76174

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-11-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 60669, which changed state.

Bug 60669 Summary: VRP misses asserts for some already defined statements
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60669

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-11-05 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 100802, which changed state.

Bug 100802 Summary: VRP fails to fold comparison using known value orders
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100802

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-09-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 98357, which changed state.

Bug 98357 Summary: Bounds check not eliminated
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98357

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-09-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 85375, which changed state.

Bug 85375 Summary: possible missed optimisation / regression from 6.3 with 
while (__builtin_ffs(x) && x)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85375

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-07-28 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 97967, which changed state.

Bug 97967 Summary: Missed optimization opportunity for VRP
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97967

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-07-15 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 71690, which changed state.

Bug 71690 Summary: some integer conversions defeat memcpy optimizaton
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71690

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-07-13 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 93781, which changed state.

Bug 93781 Summary: Optimizer produces suboptimal code related to -ftree-vrp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93781

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-03-02 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 95757, which changed state.

Bug 95757 Summary: [11 regression] missing warning in 
gcc.dg/Wstringop-overflow-25.c since r11-1517
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95757

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-01-12 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 98513, which changed state.

Bug 98513 Summary: [10 Regression] Wrong code with -O3 since 
r10-2804-gbf05a3bbb58b3558
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98513

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2020-11-24 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 97964, which changed state.

Bug 97964 Summary: Missed optimization opportunity for VRP
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97964

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2020-11-17 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 91029, which changed state.

Bug 91029 Summary: missed optimization regarding value of modulo operation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91029

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2020-01-28 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 91326, which changed state.

Bug 91326 Summary: VRP does not handle array value range
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91326

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |DUPLICATE

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2019-02-14 Thread egallager at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316

--- Comment #2 from Eric Gallager  ---
There's probably a lot more bugs that should fall under this meta-bug than
currently do; I'll leave finding them all for another day though (or for
someone else to do)

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2018-05-07 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316

Andrew Pinski  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-05-07
 CC||pinskia at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Andrew Pinski  ---
.

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2018-04-10 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316

Richard Biener  changed:

   What|Removed |Added

   Keywords||meta-bug,
   ||missed-optimization
   Severity|normal  |enhancement