C++: Fix Code Scanning alerts.

Author: MathiasVP

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedAssertion.qll

@@ -73,7 +73,7 @@ private Function getEnclosingFunctionForMacroInvocation(MacroInvocation mi) {
 
 /**
  * Holds if `arg` has two components and the `i`'th component of the string
- * `arg` is `s`, and the components are seperated by an operation with
+ * `arg` is `s`, and the components are separated by an operation with
  * opcode `opcode`.
  */
 bindingset[arg]

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll

@@ -327,7 +327,7 @@ class TranslatedEmptyStmt extends TranslatedStmt {
   TranslatedEmptyStmt() {
     // An assertion macro invocation can expand to
     // an empty statement in release builds. In that case
-    // we synthedsize the check that would have occured.
+    // we synthedsize the check that would have occurred.
     // This is handled by `TranslatedAssertion.qll` and so
     // we exclude these statements here.
     not assertion(_, stmt) and
@@ -432,7 +432,7 @@ class TranslatedExprStmt extends TranslatedStmt {
   TranslatedExprStmt() {
     // An assertion macro invocation typically expand to the
     // expression `((void)0)` in release builds. In that case
-    // we synthedsize the check that would have occured.
+    // we synthedsize the check that would have occurred.
     // This is handled by `TranslatedAssertion.qll` and so
     // we exclude these statements here.
     not assertion(_, stmt)