[Soot-list] suboptimal type assignment?
Eric Bodden
eric.bodden at mail.mcgill.ca
Tue Feb 12 13:04:13 EST 2008
On 12/02/2008, Oege de Moor <Oege.de.Moor at comlab.ox.ac.uk> wrote:
>
> Are you saying that the Soot type assigner attempts to assign a
> type that is as wide as possible?
Yes, that's what I think it does.
> > Of
> > course, ConditionExpr would work in this setting but why would you
> > assign an unnecessarily narrow type?
>
> For example because more narrow receiver type implies more effective CHA
Ah, I see. I never thought about that...
Eric
--
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada
More information about the Soot-list
mailing list