wp currently assumes virtual variables are not reused, but this is not guaranteed. The same virtual may be assigned to multiple times and each assignment shadows the previous ones. The assignments may even have different types, as in this snipped where #5 is assigned to with a 32-bit number and an 8-bit number.
This doesn't actually arise in practice (much) right now, but we should probably fix it by generating a fresh name each time a virtual is assigned to (which will require some careful thought about program order).
wpcurrently assumes virtual variables are not reused, but this is not guaranteed. The same virtual may be assigned to multiple times and each assignment shadows the previous ones. The assignments may even have different types, as in this snipped where#5is assigned to with a 32-bit number and an 8-bit number.This doesn't actually arise in practice (much) right now, but we should probably fix it by generating a fresh name each time a virtual is assigned to (which will require some careful thought about program order).