2 Commits

Author	SHA1	Message	Date
Erik Eckstein	42fef1fb68	SILGen: let withoutActuallyEscaping also catch an escaping closure in the throwing case ... withoutActuallyEscaping checks that the passed closure has not beed escaped by ensuring that its reference count is exactly 1 at the end of the code block. So far this was only done in the regular return case. But if the code block throws, the check was not done. Fixes an undetected undefined behavior.	2025-01-24 18:57:40 +01:00
Arnold Schwaighofer	89e972f5a8	SILGen: Implement withoutActuallyEscaping verification ... Check that an ``withoutActuallyEscaping(noescape_closure) { // scope}`` closure has not escaped in the scope using the ``is_escaping_closure %closure`` instruction. rdar://35525730	2018-03-07 09:00:12 -08:00