From cddf8ec6f684e5636a114e0e286bc6609e01f228 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Fri, 3 Sep 2021 21:52:24 +0200
Subject: implements https://github.com/nim-lang/RFCs/issues/407 (#18793)

---
 compiler/semstmts.nim | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'compiler/semstmts.nim')

diff --git a/compiler/semstmts.nim b/compiler/semstmts.nim
index df0e2778b..2c5f3ba54 100644
--- a/compiler/semstmts.nim
+++ b/compiler/semstmts.nim
@@ -2223,7 +2223,21 @@ proc semPragmaBlock(c: PContext, n: PNode): PNode =
   checkSonsLen(n, 2, c.config)
   let pragmaList = n[0]
   pragma(c, nil, pragmaList, exprPragmas, isStatement = true)
+
+  var inUncheckedAssignSection = 0
+  for p in pragmaList:
+    if whichPragma(p) == wCast:
+      case whichPragma(p[1])
+      of wGcSafe, wNoSideEffect, wTags, wRaises:
+        discard "handled in sempass2"
+      of wUncheckedAssign:
+        inUncheckedAssignSection = 1
+      else:
+        localError(c.config, p.info, "invalid pragma block: " & $p)
+
+  inc c.inUncheckedAssignSection, inUncheckedAssignSection
   n[1] = semExpr(c, n[1])
+  dec c.inUncheckedAssignSection, inUncheckedAssignSection
   result = n
   result.typ = n[1].typ
   for i in 0..<pragmaList.len:
-- 
cgit 1.4.1-2-gfad0