Fix type inference for FE_RESET on invalid type

FE_RESET sets the result to UNDEF in this case. We should infer
some type here, because no type generally implies unreachable
code. In

Fix type inference for FE_RESET on invalid type

FE_RESET sets the result to UNDEF in this case. We should infer
some type here, because no type generally implies unreachable
code. In this case SCCP ended up replacing the FE_RESET result
with null, including in FE_FREE.

show more ...