C++: Add test with VLA.

MathiasVP · MathiasVP · commit d4746e05083b · 2023-03-29T13:58:24.000+01:00
diff --git a/cpp/ql/test/library-tests/ir/ssa/aliased_ssa_consistency.expected b/cpp/ql/test/library-tests/ir/ssa/aliased_ssa_consistency.expected
@@ -6,6 +6,7 @@ missingOperandType
 duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
+| ssa.cpp:402:7:402:7 | Uninitialized: definition of b | Instruction 'Uninitialized: definition of b' has no successors in function '$@'. | ssa.cpp:401:6:401:8 | void vla(int, int, int, bool) | void vla(int, int, int, bool) |
 ambiguousSuccessors
 unexplainedLoop
 unnecessaryPhiInstruction
diff --git a/cpp/ql/test/library-tests/ir/ssa/aliased_ssa_consistency_unsound.expected b/cpp/ql/test/library-tests/ir/ssa/aliased_ssa_consistency_unsound.expected
@@ -6,6 +6,7 @@ missingOperandType
 duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
+| ssa.cpp:402:7:402:7 | Uninitialized: definition of b | Instruction 'Uninitialized: definition of b' has no successors in function '$@'. | ssa.cpp:401:6:401:8 | void vla(int, int, int, bool) | void vla(int, int, int, bool) |
 ambiguousSuccessors
 unexplainedLoop
 unnecessaryPhiInstruction
diff --git a/cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected b/cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected
@@ -1814,3 +1814,20 @@ ssa.cpp:
 
 #  383|   Block 5
 #  383|     v383_17(void) = Unreached : 
+
+#  401| void vla(int, int, int, bool)
+#  401|   Block 0
+#  401|     v401_1(void)         = EnterFunction           : 
+#  401|     m401_2(unknown)      = AliasedDefinition       : 
+#  401|     m401_3(unknown)      = InitializeNonLocal      : 
+#  401|     m401_4(unknown)      = Chi                     : total:m401_2, partial:m401_3
+#  401|     r401_5(glval<int>)   = VariableAddress[n1]     : 
+#  401|     m401_6(int)          = InitializeParameter[n1] : &:r401_5
+#  401|     r401_7(glval<int>)   = VariableAddress[n2]     : 
+#  401|     m401_8(int)          = InitializeParameter[n2] : &:r401_7
+#  401|     r401_9(glval<int>)   = VariableAddress[n3]     : 
+#  401|     m401_10(int)         = InitializeParameter[n3] : &:r401_9
+#  401|     r401_11(glval<bool>) = VariableAddress[b1]     : 
+#  401|     m401_12(bool)        = InitializeParameter[b1] : &:r401_11
+#  402|     r402_1(glval<int[]>) = VariableAddress[b]      : 
+#  402|     m402_2(int[])        = Uninitialized[b]        : &:r402_1
diff --git a/cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected b/cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected
@@ -1804,3 +1804,20 @@ ssa.cpp:
 
 #  383|   Block 5
 #  383|     v383_17(void) = Unreached : 
+
+#  401| void vla(int, int, int, bool)
+#  401|   Block 0
+#  401|     v401_1(void)         = EnterFunction           : 
+#  401|     m401_2(unknown)      = AliasedDefinition       : 
+#  401|     m401_3(unknown)      = InitializeNonLocal      : 
+#  401|     m401_4(unknown)      = Chi                     : total:m401_2, partial:m401_3
+#  401|     r401_5(glval<int>)   = VariableAddress[n1]     : 
+#  401|     m401_6(int)          = InitializeParameter[n1] : &:r401_5
+#  401|     r401_7(glval<int>)   = VariableAddress[n2]     : 
+#  401|     m401_8(int)          = InitializeParameter[n2] : &:r401_7
+#  401|     r401_9(glval<int>)   = VariableAddress[n3]     : 
+#  401|     m401_10(int)         = InitializeParameter[n3] : &:r401_9
+#  401|     r401_11(glval<bool>) = VariableAddress[b1]     : 
+#  401|     m401_12(bool)        = InitializeParameter[b1] : &:r401_11
+#  402|     r402_1(glval<int[]>) = VariableAddress[b]      : 
+#  402|     m402_2(int[])        = Uninitialized[b]        : &:r402_1
diff --git a/cpp/ql/test/library-tests/ir/ssa/ssa.cpp b/cpp/ql/test/library-tests/ir/ssa/ssa.cpp
@@ -396,4 +396,20 @@ int FusedBlockPhiOperand(int x, int y, int z, bool b1) {
   }
 
   return ret;
+}
+
+void vla(int n1, int n2, int n3, bool b1) {
+  int b[n1];
+  int c[n1][n2];
+
+  *b = 0;
+  b[0] = 1;
+
+  **(c + 1) = 0;
+
+  if(b1) {
+    int b[n1];
+  } else {
+    int b[n2];
+  }
 }
diff --git a/cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_consistency.expected b/cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_consistency.expected
@@ -6,6 +6,7 @@ missingOperandType
 duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
+| ssa.cpp:402:7:402:7 | Uninitialized: definition of b | Instruction 'Uninitialized: definition of b' has no successors in function '$@'. | ssa.cpp:401:6:401:8 | void vla(int, int, int, bool) | void vla(int, int, int, bool) |
 ambiguousSuccessors
 unexplainedLoop
 unnecessaryPhiInstruction
diff --git a/cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_consistency_unsound.expected b/cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_consistency_unsound.expected
@@ -6,6 +6,7 @@ missingOperandType
 duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
+| ssa.cpp:402:7:402:7 | Uninitialized: definition of b | Instruction 'Uninitialized: definition of b' has no successors in function '$@'. | ssa.cpp:401:6:401:8 | void vla(int, int, int, bool) | void vla(int, int, int, bool) |
 ambiguousSuccessors
 unexplainedLoop
 unnecessaryPhiInstruction
diff --git a/cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir.expected b/cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir.expected
@@ -1695,3 +1695,19 @@ ssa.cpp:
 #  383|     v383_13(void)       = ReturnValue              : &:r383_12, m398_5
 #  383|     v383_14(void)       = AliasedUse               : ~m?
 #  383|     v383_15(void)       = ExitFunction             : 
+
+#  401| void vla(int, int, int, bool)
+#  401|   Block 0
+#  401|     v401_1(void)         = EnterFunction           : 
+#  401|     mu401_2(unknown)     = AliasedDefinition       : 
+#  401|     mu401_3(unknown)     = InitializeNonLocal      : 
+#  401|     r401_4(glval<int>)   = VariableAddress[n1]     : 
+#  401|     m401_5(int)          = InitializeParameter[n1] : &:r401_4
+#  401|     r401_6(glval<int>)   = VariableAddress[n2]     : 
+#  401|     m401_7(int)          = InitializeParameter[n2] : &:r401_6
+#  401|     r401_8(glval<int>)   = VariableAddress[n3]     : 
+#  401|     m401_9(int)          = InitializeParameter[n3] : &:r401_8
+#  401|     r401_10(glval<bool>) = VariableAddress[b1]     : 
+#  401|     m401_11(bool)        = InitializeParameter[b1] : &:r401_10
+#  402|     r402_1(glval<int[]>) = VariableAddress[b]      : 
+#  402|     mu402_2(int[])       = Uninitialized[b]        : &:r402_1
diff --git a/cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir_unsound.expected b/cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir_unsound.expected
@@ -1695,3 +1695,19 @@ ssa.cpp:
 #  383|     v383_13(void)       = ReturnValue              : &:r383_12, m398_5
 #  383|     v383_14(void)       = AliasedUse               : ~m?
 #  383|     v383_15(void)       = ExitFunction             : 
+
+#  401| void vla(int, int, int, bool)
+#  401|   Block 0
+#  401|     v401_1(void)         = EnterFunction           : 
+#  401|     mu401_2(unknown)     = AliasedDefinition       : 
+#  401|     mu401_3(unknown)     = InitializeNonLocal      : 
+#  401|     r401_4(glval<int>)   = VariableAddress[n1]     : 
+#  401|     m401_5(int)          = InitializeParameter[n1] : &:r401_4
+#  401|     r401_6(glval<int>)   = VariableAddress[n2]     : 
+#  401|     m401_7(int)          = InitializeParameter[n2] : &:r401_6
+#  401|     r401_8(glval<int>)   = VariableAddress[n3]     : 
+#  401|     m401_9(int)          = InitializeParameter[n3] : &:r401_8
+#  401|     r401_10(glval<bool>) = VariableAddress[b1]     : 
+#  401|     m401_11(bool)        = InitializeParameter[b1] : &:r401_10
+#  402|     r402_1(glval<int[]>) = VariableAddress[b]      : 
+#  402|     mu402_2(int[])       = Uninitialized[b]        : &:r402_1
