Skip to content
Unverified Commit 8aa12208 authored by Florian Hahn's avatar Florian Hahn
Browse files

[LV] Pass step to emitTransformedIndex (NFC).

Move out the induction step creation from emitTransformedIndex to the
callers. In some places (e.g. widenIntOrFpInduction) the step is already
created. Passing the step in ensures the steps are kept in sync.
parent 9e699595
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment