directly parse on/off in pragmas, ignore user override

compiler/pragmas.nim

@@ -285,9 +285,17 @@ proc wordToCallConv(sw: TSpecialWord): TCallingConvention =
 proc isTurnedOn(c: PContext, n: PNode): bool =
   result = false
   if n.kind in nkPragmaCallKinds and n.len == 2:
-    let x = c.semConstBoolExpr(c, n[1])
-    n[1] = x
-    if x.kind == nkIntLit: return x.intVal != 0
+    let ident = getPIdent(n[1])
+    if ident != nil and ident.id == ord(wOn):
+      n[1] = newIntTypeNode(1, getSysType(c.graph, n.info, tyBool))
+      return true
+    elif ident != nil and ident.id == ord(wOff):
+      n[1] = newIntTypeNode(0, getSysType(c.graph, n.info, tyBool))
+      return false
+    else:
+      let x = c.semConstBoolExpr(c, n[1])
+      n[1] = x
+      if x.kind == nkIntLit: return x.intVal != 0
   localError(c.config, n.info, "'on' or 'off' expected")
 
 proc onOff(c: PContext, n: PNode, op: TOptions, resOptions: var TOptions) =
@@ -368,9 +376,7 @@ proc processNote(c: PContext, n: PNode) =
     let x = findStr(enumVals.a, enumVals.b, n[0][1].ident.s, errUnknown)
     if x !=  errUnknown:
       nk = TNoteKind(x)
-      let x = c.semConstBoolExpr(c, n[1])
-      n[1] = x
-      if x.kind == nkIntLit and x.intVal != 0: incl(notes, nk)
+      if isTurnedOn(c, n): incl(notes, nk)
       else: excl(notes, nk)
     else:
       invalidPragma(c, n)

tests/pragmas/monoff1.nim

@@ -0,0 +1 @@
+proc on*() = discard

tests/pragmas/tonoff1.nim

@@ -0,0 +1,8 @@
+# issue #23002
+
+import monoff1
+
+proc test() =
+  {.warning[ProveInit]: on.}
+
+test()

tests/pragmas/tonoff2.nim

@@ -0,0 +1,14 @@
+discard """
+    action: compile
+"""
+
+# issue #22841
+
+import unittest
+
+proc on() =
+    discard
+
+suite "some suite":
+    test "some test":
+        discard