Merge pull request #2315 from geoffw0/errtest

Dave Bartolomeo · web-flow · commit 55010d030d37 · 2019-11-13T13:24:39.000-07:00
CPP: Add a quick test of ErroneousType.
diff --git a/cpp/ql/test/library-tests/types/error/exprs.expected b/cpp/ql/test/library-tests/types/error/exprs.expected
@@ -0,0 +1 @@
+| file://:0:0:0:0 | <error expr> | file://:0:0:0:0 | error |
diff --git a/cpp/ql/test/library-tests/types/error/exprs.ql b/cpp/ql/test/library-tests/types/error/exprs.ql
@@ -0,0 +1,5 @@
+import cpp
+
+from Expr e, Type t
+where t = e.getType()
+select e, t
diff --git a/cpp/ql/test/library-tests/types/error/test.cpp b/cpp/ql/test/library-tests/types/error/test.cpp
@@ -0,0 +1,3 @@
+// semmle-extractor-options: --expect_errors
+
+int &intref = 0; // ErrorExpr with ErroneousType

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+\| file://:0:0:0:0 \| <error expr> \| file://:0:0:0:0 \| error \|`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// semmle-extractor-options: --expect_errors`
	`2`	`+`
	`3`	`+int &intref = 0; // ErrorExpr with ErroneousType`