rm redundant predicate

GrosQuildu · GrosQuildu · commit 9b87f1f406aa · 2025-05-30T17:42:11.000+02:00
diff --git a/cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmValueConsumers/PKeyAlgorithmValueConsumer.qll b/cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmValueConsumers/PKeyAlgorithmValueConsumer.qll
@@ -62,8 +62,7 @@ class EVPPKeyAlgorithmConsumer extends PKeyValueConsumer {
   Expr getValueArgExpr() { result = valueArgNode.asExpr() }
 }
 
-// TODO: not sure where to put these predicates
-Expr getAlgorithmFromArgument(Expr arg) { none() }
+// TODO: not sure where to put all these predicates below
 
 /**
  * Given context expression (EVP_PKEY_CTX), finds the algorithm.

Original file line number	Diff line number	Diff line change
`@@ -62,8 +62,7 @@ class EVPPKeyAlgorithmConsumer extends PKeyValueConsumer {`
`62`	`62`	`Expr getValueArgExpr() { result = valueArgNode.asExpr() }`
`63`	`63`	`}`
`64`	`64`
`65`		`-// TODO: not sure where to put these predicates`
`66`		`-Expr getAlgorithmFromArgument(Expr arg) { none() }`
	`65`	`+// TODO: not sure where to put all these predicates below`
`67`	`66`
`68`	`67`	`/**`
`69`	`68`	`* Given context expression (EVP_PKEY_CTX), finds the algorithm.`