Commit 5f4886aa authored by Nicolas Geoffray's avatar Nicolas Geoffray
Browse files

Fix a bug in type propagation. 

If a phi requests its inputs to be of a certain type, the inputs need
to propagate that type to their users, as those users might be
phis.

Bug report and test courtesy of Serguei I Katkov.

Change-Id: I79baac271566ec4fa684c1edf11a1b3383d896a9
parent e015a31e
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment