C++: Fix fan-out.

This commit is contained in:
Mathias Vorreiter Pedersen
2025-09-25 12:33:44 +01:00
parent b169ccf29a
commit 5b5c1de05b
2 changed files with 1 additions and 3 deletions

View File

@@ -188,7 +188,7 @@ module GuardsInput implements SharedGuards::InputSig<Cpp::Location, Instruction,
// Note: This only has a value if there is a unique value for the case.
// So the will not be a result when using the GCC case range extension.
// Instead, we model these using the `LogicInput_v1::rangeGuard` predicate.
result.asIntegerValue() = this.getEdge().getValue().toInt()
result = this and exists(this.getEdge().getValue())
}
}