C++: IR sanity query unnecessaryPhiInstruction

Have `Instruction.getResultSize()` return zero for `void`.
2026-04-30 11:15:13 +02:00 · 2018-08-17 15:37:19 -07:00
parent f4a060099b
commit 650539dbb6
6 changed files with 65 additions and 41 deletions
--- a/cpp/ql/test/library-tests/ir/ir/AliasedSSAIRSanity.expected
+++ b/cpp/ql/test/library-tests/ir/ir/AliasedSSAIRSanity.expected
@@ -3,4 +3,5 @@ unexpectedOperand
 duplicateOperand
 missingPhiOperand
 instructionWithoutSuccessor
+unnecessaryPhiInstruction
 operandAcrossFunctions
--- a/cpp/ql/test/library-tests/ir/ir/IRSanity.expected
+++ b/cpp/ql/test/library-tests/ir/ir/IRSanity.expected
@@ -1,6 +1,7 @@
 missingOperand
 unexpectedOperand
 duplicateOperand
-missingPhiOperands
+missingPhiOperand
 instructionWithoutSuccessor
+unnecessaryPhiInstruction
 operandAcrossFunctions
--- a/cpp/ql/test/library-tests/ir/ir/SSAIRSanity.expected
+++ b/cpp/ql/test/library-tests/ir/ir/SSAIRSanity.expected
@@ -1,6 +1,7 @@
 missingOperand
 unexpectedOperand
 duplicateOperand
-missingPhiOperands
+missingPhiOperand
 instructionWithoutSuccessor
+unnecessaryPhiInstruction
 operandAcrossFunctions