add nomagic on mayHaveStringValue

2026-05-04 13:15:21 +02:00 · 2021-04-08 21:37:32 +02:00
parent 956311457d
commit e5bce548de
1 changed files with 1 additions and 0 deletions
--- a/javascript/ql/src/semmle/javascript/dataflow/DataFlow.qll
+++ b/javascript/ql/src/semmle/javascript/dataflow/DataFlow.qll
@@ -96,6 +96,7 @@ module DataFlow {
    predicate accessesGlobal(string g) { globalVarRef(g).flowsTo(this) }

    /** Holds if this node may evaluate to the string `s`, possibly through local data flow. */
+    pragma[nomagic]
    predicate mayHaveStringValue(string s) {
      getAPredecessor().mayHaveStringValue(s)
      or