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

[LV] Turn check for unexpected VF into assertion (NFC). 

VF should always be non-zero in widenIntOrFpInduction. Turn check into
assertion.
parent 2edcde00
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment