https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97735
Bug ID: 97735
Summary: ipa-prop should handle simple casts
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ipa
Assignee: unassigned at gcc dot gnu.org
Reporter: hubicka at gcc dot gnu.org
CC: marxin at gcc dot gnu.org
Target Milestone: ---
Compiling:
test (int *a, int size)
{
__builtin_memset (a, 0, size);
}
gets:
Jump functions:
Jump functions of caller __builtin_memset/1:
Jump functions of caller test/0:
callsite test/0 -> __builtin_memset/1 :
param 0: PASS THROUGH: 0, op nop_expr, agg_preserved
value: 0x0, mask: 0xffffffffffffffff
Unknown VR
param 1: CONST: 0
value: 0x0, mask: 0x0
Unknown VR
param 2: UNKNOWN
value: 0x0, mask: 0xffffffffffffffff
VR ~[2147483648, -2147483649]
I think we should be able to represent that SIZE is passthrough with a
conversion.
