Re: [PATCH] value-range: Fix up irange::union_bitmask [PR118953]

Jakub Jelinek writes: > Hi! > > The following testcase is miscompiled during evrp. > Before vrp, we have (from ccp): > # RANGE [irange] long long unsigned int [0, +INF] MASK 0xc000 > VALUE 0x2d > _3 = _2 + 18446744073708503085; > ... > # RANGE [irange] long long unsigned int [0

[PATCH] value-range: Fix up irange::union_bitmask [PR118953]

Hi! The following testcase is miscompiled during evrp. Before vrp, we have (from ccp): # RANGE [irange] long long unsigned int [0, +INF] MASK 0xc000 VALUE 0x2d _3 = _2 + 18446744073708503085; ... # RANGE [irange] long long unsigned int [0, +INF] MASK 0xc000 VALUE 0x