Merge pull request #650 from xiemaisi/js/nomagic-isDOMProperty

semmle-qlci · web-flow · commit 57de628ab8f3 · 2018-12-10T13:52:47.000Z
Approved by asger-semmle
diff --git a/javascript/ql/src/Expressions/DOMProperties.qll b/javascript/ql/src/Expressions/DOMProperties.qll
@@ -12,6 +12,7 @@ predicate isDOMRootType(ExternalType et) {
 }
 
 /** Holds if `p` is declared as a property of a DOM class or interface. */
+pragma[nomagic]
 predicate isDOMProperty(string p) {
   exists (ExternalMemberDecl emd | emd.getName() = p |
     isDOMRootType(emd.getDeclaringType().getASupertype*())

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,7 @@ predicate isDOMRootType(ExternalType et) {`
`12`	`12`	`}`
`13`	`13`
`14`	`14`	/** Holds if `p` is declared as a property of a DOM class or interface. */
	`15`	`+pragma[nomagic]`
`15`	`16`	`predicate isDOMProperty(string p) {`
`16`	`17`	`exists (ExternalMemberDecl emd \| emd.getName() = p \|`
`17`	`18`	`isDOMRootType(emd.getDeclaringType().getASupertype*())`