C++: Accept IR changes.

Author: MathiasVP

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

@@ -18360,8 +18360,10 @@ ir.cpp:
 # 2555|     r2555_5(glval<unsigned long>) = VariableAddress[ul]         : 
 # 2555|     m2555_6(unsigned long)        = InitializeParameter[ul]     : &:r2555_5
 # 2556|     r2556_1(glval<double>)        = VariableAddress[d]          : 
-# 2556|     r2556_2(double)               = BuiltIn[__builtin_bit_cast] : 
-# 2556|     m2556_3(double)               = Store[d]                    : &:r2556_1, r2556_2
+# 2556|     r2556_2(glval<unsigned long>) = VariableAddress[ul]         : 
+# 2556|     r2556_3(unsigned long)        = Load[ul]                    : &:r2556_2, m2555_6
+# 2556|     r2556_4(double)               = BuiltIn[__builtin_bit_cast] : 0:r2556_3
+# 2556|     m2556_5(double)               = Store[d]                    : &:r2556_1, r2556_4
 # 2557|     v2557_1(void)                 = NoOp                        : 
 # 2555|     v2555_7(void)                 = ReturnVoid                  : 
 # 2555|     v2555_8(void)                 = AliasedUse                  : m2555_3

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

@@ -21,7 +21,6 @@ lostReachability
 backEdgeCountMismatch
 useNotDominatedByDefinition
 | ir.cpp:1535:8:1535:8 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | ir.cpp:1535:8:1535:8 | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() |
-| ir.cpp:2556:43:2556:44 | Arg(1) | Operand 'Arg(1)' is not dominated by its definition in function '$@'. | ir.cpp:2555:6:2555:20 | void builtin_bitcast(unsigned long) | void builtin_bitcast(unsigned long) |
 | try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() |
 | try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() |
 | try_except.c:39:15:39:15 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:32:6:32:6 | void h(int) | void h(int) |

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

@@ -16695,26 +16695,20 @@ ir.cpp:
 
 # 2555| void builtin_bitcast(unsigned long)
 # 2555|   Block 0
-# 2555|     v2555_1(void)                 = EnterFunction           : 
-# 2555|     mu2555_2(unknown)             = AliasedDefinition       : 
-# 2555|     mu2555_3(unknown)             = InitializeNonLocal      : 
-# 2555|     r2555_4(glval<unsigned long>) = VariableAddress[ul]     : 
-# 2555|     mu2555_5(unsigned long)       = InitializeParameter[ul] : &:r2555_4
-# 2556|     r2556_1(glval<double>)        = VariableAddress[d]      : 
-#-----|   Goto -> Block 1
-
-# 2556|   Block 1
-# 2556|     r2556_2(double)  = BuiltIn[__builtin_bit_cast] : 1:r2556_5
-# 2556|     mu2556_3(double) = Store[d]                    : &:r2556_1, r2556_2
-# 2557|     v2557_1(void)    = NoOp                        : 
-# 2555|     v2555_6(void)    = ReturnVoid                  : 
-# 2555|     v2555_7(void)    = AliasedUse                  : ~m?
-# 2555|     v2555_8(void)    = ExitFunction                : 
-
-# 2556|   Block 2
-# 2556|     r2556_4(glval<unsigned long>) = VariableAddress[ul] : 
-# 2556|     r2556_5(unsigned long)        = Load[ul]            : &:r2556_4, ~m?
-#-----|   Goto -> Block 1
+# 2555|     v2555_1(void)                 = EnterFunction               : 
+# 2555|     mu2555_2(unknown)             = AliasedDefinition           : 
+# 2555|     mu2555_3(unknown)             = InitializeNonLocal          : 
+# 2555|     r2555_4(glval<unsigned long>) = VariableAddress[ul]         : 
+# 2555|     mu2555_5(unsigned long)       = InitializeParameter[ul]     : &:r2555_4
+# 2556|     r2556_1(glval<double>)        = VariableAddress[d]          : 
+# 2556|     r2556_2(glval<unsigned long>) = VariableAddress[ul]         : 
+# 2556|     r2556_3(unsigned long)        = Load[ul]                    : &:r2556_2, ~m?
+# 2556|     r2556_4(double)               = BuiltIn[__builtin_bit_cast] : 0:r2556_3
+# 2556|     mu2556_5(double)              = Store[d]                    : &:r2556_1, r2556_4
+# 2557|     v2557_1(void)                 = NoOp                        : 
+# 2555|     v2555_6(void)                 = ReturnVoid                  : 
+# 2555|     v2555_7(void)                 = AliasedUse                  : ~m?
+# 2555|     v2555_8(void)                 = ExitFunction                : 
 
 perf-regression.cpp:
 #    6| void Big::Big()