C++: Order left and right operands in the logical left to right order

Author: jketema

cpp/ql/lib/semmle/code/cpp/controlflow/Nullness.qll

@@ -46,7 +46,7 @@ predicate nullCheckExpr(Expr checkExpr, Variable var) {
     or
     exists(LogicalAndExpr op, AnalysedExpr child |
       expr = op and
-      (op.getRightOperand() = child or op.getLeftOperand() = child) and
+      (op.getLeftOperand() = child or op.getRightOperand() = child) and
       nullCheckExpr(child, v)
     )
     or
@@ -99,7 +99,7 @@ predicate validCheckExpr(Expr checkExpr, Variable var) {
     or
     exists(LogicalAndExpr op, AnalysedExpr child |
       expr = op and
-      (op.getRightOperand() = child or op.getLeftOperand() = child) and
+      (op.getLeftOperand() = child or op.getRightOperand() = child) and
       validCheckExpr(child, v)
     )
     or