reinroduce GLobalValueNumbering.qll, that one was supposed to stay

erik-krogh · erik-krogh · commit e55f2c53092e · 2024-04-26T06:52:57.000+02:00
diff --git a/cpp/ql/lib/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll
@@ -0,0 +1 @@
+import semmle.code.cpp.ir.internal.ASTValueNumbering

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+import semmle.code.cpp.ir.internal.ASTValueNumbering`