cpp: removed now unused predicate commandLineArg

github · Napalys · May 16, 2025 · May 16, 2025 · May 16, 2025 · May 16, 2025
commit 2960406d9b0aa26935f83324c90c15df30cfdc91
@@ -77,16 +77,6 @@ class SecurityOptions extends string {
  }
 }

-/**
- * An access to the argv argument to main().
- */
-private predicate commandLineArg(Expr e) {
-  exists(Parameter argv |
-    argv(argv) and
-    argv.getAnAccess() = e
-  )
-}
-
 /** The argv parameter to the main function */
 predicate argv(Parameter argv) {
  exists(Function f |