https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102513
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jamborm at gcc dot gnu.org --- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- In the ipa-cp dump it even mentions it: Node: encode_block/0: param [0]: &block2 [loc_time: 0, loc_size: 0, prop_time: 0, prop_size: 0] ctxs: VARIABLE Bits: value = 0x0, mask = 0xfffffffffffffffc int[256] * [1B, +INF] AGGS VARIABLE param [1]: VARIABLE 5 [loc_time: 147.512, loc_size: 27, prop_time: 760193, prop_size: 216] 4 [loc_time: 147.512, loc_size: 27, prop_time: 143948, prop_size: 189] 3 [loc_time: 147.512, loc_size: 27, prop_time: 31125.7, prop_size: 162] 2 [loc_time: 147.512, loc_size: 27, prop_time: 7822.76, prop_size: 135] 1 [loc_time: 147.512, loc_size: 27, prop_time: 2325.83, prop_size: 108] 0 [loc_time: 147.512, loc_size: 27, prop_time: 825.122, prop_size: 81] 4294967295 [loc_time: 147.512, loc_size: 27, prop_time: 342.227, prop_size: 54] 4294967294 [loc_time: 147.512, loc_size: 27, prop_time: 147.512, prop_size: 27] ctxs: VARIABLE Bits unusable (BOTTOM) unsigned int [0, 4294967294] AGGS VARIABLE but doesn't connect that when the param has value range of [0, 4294967294] and 4294967295 is outside of that range, it doesn't make sense to specialize on it.