C++: Autoformat.

This commit is contained in:
Geoffrey White
2022-01-20 09:52:24 +00:00
parent acfd593eb4
commit 8bdbaf4b57

View File

@@ -125,13 +125,10 @@ abstract class NetworkSendRecv extends FunctionCall {
v.getInitializer().getExpr() instanceof Literal and
g = globalValueNumber(v.getAnAccess())
)
or
or
// result of a function call with literal inputs (likely constant)
exists(FunctionCall fc |
forex(Expr arg |
arg = fc.getAnArgument() |
arg instanceof Literal
) and
forex(Expr arg | arg = fc.getAnArgument() | arg instanceof Literal) and
g = globalValueNumber(fc)
)
// (this is far from exhaustive)