Aidan Hall 6a263f8ddb ComputeSideEffects: Compute for functions with effect attributes ...

After computing side effects, we also remove any global or argument effects that
are computed to happen, but are defined not to, based on the effect attribute.

This allows us to compute the deinit_barrier effect for such functions, fixing
the test case here: rdar://155870190

This supercedes #38324.

2025-08-22 11:42:09 +01:00

26 KiB

Raw Permalink Blame History

View Raw