Merge pull request github#6804 from tausbn/python-fix-bad-magic-in-conditionblock-controls

yoff · web-flow · commit f230a3700403 · 2021-10-04T19:16:06.000+02:00
Python: Fix bad magic in `controls/2`
diff --git a/python/ql/lib/semmle/python/GuardedControlFlow.qll b/python/ql/lib/semmle/python/GuardedControlFlow.qll
@@ -9,6 +9,7 @@ class ConditionBlock extends BasicBlock {
   }
 
   /** Basic blocks controlled by this condition, i.e. those BBs for which the condition is testIsTrue */
+  pragma[nomagic]
   predicate controls(BasicBlock controlled, boolean testIsTrue) {
     /*
      * For this block to control the block 'controlled' with 'testIsTrue' the following must be true:

Original file line number	Diff line number	Diff line change
`@@ -9,6 +9,7 @@ class ConditionBlock extends BasicBlock {`
`9`	`9`	`}`
`10`	`10`
`11`	`11`	`/** Basic blocks controlled by this condition, i.e. those BBs for which the condition is testIsTrue */`
	`12`	`+ pragma[nomagic]`
`12`	`13`	`predicate controls(BasicBlock controlled, boolean testIsTrue) {`
`13`	`14`	`/*`
`14`	`15`	`* For this block to control the block 'controlled' with 'testIsTrue' the following must be true:`