This changes the behavior of AddAligntmentAssumptions to match its
comment. I.e, prove the asserted alignment in the context of the caller,
not the callee.
Thanks to Mehdi Amini for seeing the issue here!
Differential D12997
[Inline] Use AssumptionCache from the right Function vsk on Sep 19 2015, 3:48 PM. Authored by
Details This changes the behavior of AddAligntmentAssumptions to match its Thanks to Mehdi Amini for seeing the issue here!
Diff Detail Event Timeline
|
You don't really check that bar was indeed inlined, because this would match the content of bar.
I think there should be *after* that a CHECK-LABEL for bar()