Skip to content

Commit

Permalink
fix some test imports of GVN
Browse files Browse the repository at this point in the history
  • Loading branch information
erik-krogh committed Apr 26, 2024
1 parent e55f2c5 commit 33bd0c0
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
@@ -1,5 +1,5 @@
import cpp
import semmle.code.cpp.valuenumbering.GlobalValueNumberingImpl
import semmle.code.cpp.valuenumbering.GlobalValueNumbering

from GVN g
where strictcount(g.getAnExpr()) > 1
Expand Down
@@ -1,5 +1,5 @@
import cpp
import semmle.code.cpp.valuenumbering.GlobalValueNumberingImpl
import semmle.code.cpp.valuenumbering.GlobalValueNumbering

// Every expression should have exactly one GVN.
// So this query should have zero results.
Expand Down
@@ -1,5 +1,5 @@
import cpp
import semmle.code.cpp.valuenumbering.GlobalValueNumberingImpl as AST
import semmle.code.cpp.valuenumbering.GlobalValueNumbering as AST
import semmle.code.cpp.ir.internal.ASTValueNumbering as IR
import semmle.code.cpp.ir.IR

Expand Down

0 comments on commit 33bd0c0

Please sign in to comment.