[Bug ipa/87624] improve interprocedural clean up of null pointer checks

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87624

Andrew Pinski  changed:

   What|Removed |Added

 CC||pinskia at gcc dot gnu.org
   Last reconfirmed|2018-10-17 00:00:00 |2021-8-8

--- Comment #3 from Andrew Pinski  ---
callsite  void h(void*, void*)/1 -> void f(void*)/0 : 
   param 0: PASS THROUGH: 1, op nop_expr
 value: 0x0, mask: 0x
 Unknown VR
callsite  void h(void*, void*)/1 -> void f(void*)/0 : 
   param 0: PASS THROUGH: 0, op nop_expr, agg_preserved
 value: 0x0, mask: 0x
 Unknown VR

I wonder if ipa-cp (ipa-vrp) could get value range from the new range
infrastructure.

[Bug ipa/87624] improve interprocedural clean up of null pointer checks

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87624

Martin Liška  changed:

   What|Removed |Added

 CC||hubicka at gcc dot gnu.org,
   ||jamborm at gcc dot gnu.org

--- Comment #2 from Martin Liška  ---
I guess Martin and Honza can provide more informations. I know that they use
predicates for inlining and CP hints. Can it handle that?

[Bug ipa/87624] improve interprocedural clean up of null pointer checks

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87624

Richard Biener  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-10-17
 Ever confirmed|0   |1

--- Comment #1 from Richard Biener  ---
IIRC IPA-VRP simply looks at the SSA name range info rather than being a
true (non-iterating) "propagation" that would come up with context sensitive
info.