swift
c4ebb324 - Properly transfer location info from debug_value into alloc_stack: we need to drop op_deref expression (#42245)

Commit
3 years ago
Properly transfer location info from debug_value into alloc_stack: we need to drop op_deref expression (#42245) In order to transfer debug info from `debug_value` to `alloc_stack` we need to drop `op_ref` debug expression, as the latter instruction represents the location and not the value itself. Also, fix the debug info verifier as variable type was deduced from `alloc_stack` / `alloc_box` improperly: pointer type of instruction itself was used instead of underlying object type. The issue is only exposed when both optimizations (SIL mem2reg at least) and debug info are enabled Resolves SR-15849
Author
asl asl
Parents
Loading