https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63551
--- Comment #3 from Jan Hubicka <hubicka at gcc dot gnu.org> --- indeed, somewhere we need to view convert the aggregate value... Predicates works on conditions on arguments, so I suppose this ought to happen at ipa-prop side. Martin?
