http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55334
--- Comment #28 from Martin Jambor <jamborm at gcc dot gnu.org> 2013-02-20 11:13:04 UTC --- (In reply to comment #27) > Yes, preserving COMPONENT_REFs would help here, but it is not > correct (even for this testcase the types do not match). > So you know where the mismatch is? I looked whether I could refuse to IPA-CP just type-mismatched values to restrict pointers but at least when still in IPA-CP, which checks it, the value and the type of the parameter conform to useless_type_conversion_p. So I'll go ahead and commit http://gcc.gnu.org/ml/gcc-patches/2013-02/msg00870.html with the requested tweak.