Erik Eckstein e683d7b679 ComputeSideEffects: fix a corner case with consuming indirect arguments in dead-end functions ...

Usually there _must_ be a read from a consuming in-argument, because the function has to consume the argument.
But in the special case if all control paths end up in an `unreachable`, the consuming read might have been dead-code eliminated.
Therefore make sure to add the read-effect in any case. Otherwise it can result in memory lifetime failures at a call site.

fixes a memory lifetime failure

rdar://134881045

2024-08-29 18:51:46 +02:00

23 KiB

Raw Permalink Blame History

View Raw