[Bug ipa/97735] New: ipa-prop should handle simple casts

[hubicka at gcc dot gnu.org]

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.