From 196bd735d4c30964182fdf1f374f767ccb0912fa Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Wed, 23 Feb 2022 11:29:36 +0000
Subject: Replace local `@(no_red_zone)` with global `-disable-red-zone`

---
 src/checker.cpp | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'src/checker.cpp')

diff --git a/src/checker.cpp b/src/checker.cpp
index 89e60c258..fe1d362fa 100644
--- a/src/checker.cpp
+++ b/src/checker.cpp
@@ -3128,13 +3128,6 @@ DECL_ATTRIBUTE_PROC(proc_decl_attribute) {
 			}
 		}
 		return true;
-	} else if (name == "no_red_zone") {
-		if (value != nullptr) {
-			error(elem, "Expected no value for '%.*s'", LIT(name));
-		} else {
-			ac->no_red_zone = true;
-		}
-		return true;
 	}
 	return false;
 }
-- 
cgit v1.2.3