Merge branch 'main' into rust-experiment

Author: Paolo Tranquilli

cpp/ql/test/library-tests/ir/ir/PrintAST.expected

@@ -6,6 +6,9 @@ missingOperandType
 duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
+| ir.c:62:5:62:26 | Chi: call to ExRaiseAccessViolation | Instruction 'Chi: call to ExRaiseAccessViolation' has no successors in function '$@'. | ir.c:57:6:57:30 | void throw_in_try_with_finally() | void throw_in_try_with_finally() |
+| ir.c:73:5:73:26 | Chi: call to ExRaiseAccessViolation | Instruction 'Chi: call to ExRaiseAccessViolation' has no successors in function '$@'. | ir.c:70:6:70:39 | void throw_in_try_with_throw_in_finally() | void throw_in_try_with_throw_in_finally() |
+| ir.c:81:3:81:24 | Chi: call to ExRaiseAccessViolation | Instruction 'Chi: call to ExRaiseAccessViolation' has no successors in function '$@'. | ir.c:80:6:80:27 | void raise_access_violation() | void raise_access_violation() |
 ambiguousSuccessors
 unexplainedLoop
 | ir.c:38:13:38:37 | Constant: 1 | Instruction 'Constant: 1' is part of an unexplained loop in function '$@'. | ir.c:32:6:32:32 | void unexplained_loop_regression() | void unexplained_loop_regression() |

cpp/ql/test/library-tests/ir/ir/aliased_ir.expected

@@ -6,6 +6,9 @@ missingOperandType
 duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
+| ir.c:62:5:62:26 | Chi: call to ExRaiseAccessViolation | Instruction 'Chi: call to ExRaiseAccessViolation' has no successors in function '$@'. | ir.c:57:6:57:30 | void throw_in_try_with_finally() | void throw_in_try_with_finally() |
+| ir.c:73:5:73:26 | Chi: call to ExRaiseAccessViolation | Instruction 'Chi: call to ExRaiseAccessViolation' has no successors in function '$@'. | ir.c:70:6:70:39 | void throw_in_try_with_throw_in_finally() | void throw_in_try_with_throw_in_finally() |
+| ir.c:81:3:81:24 | Chi: call to ExRaiseAccessViolation | Instruction 'Chi: call to ExRaiseAccessViolation' has no successors in function '$@'. | ir.c:80:6:80:27 | void raise_access_violation() | void raise_access_violation() |
 ambiguousSuccessors
 unexplainedLoop
 | ir.c:38:13:38:37 | Constant: 1 | Instruction 'Constant: 1' is part of an unexplained loop in function '$@'. | ir.c:32:6:32:32 | void unexplained_loop_regression() | void unexplained_loop_regression() |

cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected

@@ -41,4 +41,44 @@ void unexplained_loop_regression()
   }
 }
 
+void try_with_finally()
+{
+  int x = 0;
+  __try
+  {
+    x = 1;
+  }
+  __finally
+  {
+    x = 2;
+  }
+}
+
+void throw_in_try_with_finally()
+{
+  int x = 0;
+  __try
+  {
+    ExRaiseAccessViolation(0);
+  }
+  __finally
+  {
+    x = 1;
+  }
+}
+
+void throw_in_try_with_throw_in_finally()
+{
+  __try {
+    ExRaiseAccessViolation(0);
+  }
+  __finally {
+    ExRaiseAccessViolation(0);
+  }
+}
+
+void raise_access_violation() {
+  ExRaiseAccessViolation(1);
+}
+
 // semmle-extractor-options: --microsoft