Don't use CE for by-ref arguments

Don't use CE info from pi node for MAY_BE_REF var

Once again, the actual class type may be reassigned indirectly.

Fix inference for assignment of known object to reference

We cannot retain the ce information in that case, we have to
assume the ce may change indirectly through the reference.

Fix inference for assignment of known object to reference

We cannot retain the ce information in that case, we have to
assume the ce may change indirectly through the reference.

Fixes oss-fuzz #46720.

show more ...