C++: Remove ErrorExpr case.

geoffw0 · Mariusz Kliber · commit 495387fc49cd · 2022-10-18T16:06:30.000+01:00
diff --git a/cpp/ql/src/Best Practices/Unused Entities/UnusedStaticFunctions.ql b/cpp/ql/src/Best Practices/Unused Entities/UnusedStaticFunctions.ql
@@ -16,8 +16,6 @@ import cpp
 pragma[noinline]
 predicate possiblyIncompleteFile(File f) {
   exists(Diagnostic d | d.getFile() = f and d.getSeverity() >= 3)
-  or
-  exists(ErrorExpr ee | ee.getFile() = f)
 }
 
 predicate immediatelyReachableFunction(Function f) {

Original file line number	Diff line number	Diff line change
`@@ -16,8 +16,6 @@ import cpp`
`16`	`16`	`pragma[noinline]`
`17`	`17`	`predicate possiblyIncompleteFile(File f) {`
`18`	`18`	`exists(Diagnostic d \| d.getFile() = f and d.getSeverity() >= 3)`
`19`		`- or`
`20`		`- exists(ErrorExpr ee \| ee.getFile() = f)`
`21`	`19`	`}`
`22`	`20`
`23`	`21`	`predicate immediatelyReachableFunction(Function f) {`