PS: Prevent join on integer.

This commit is contained in:
Mathias Vorreiter Pedersen
2025-06-19 21:42:33 +01:00
parent c50b0c6323
commit 2d045ea345

View File

@@ -59,8 +59,9 @@ module Private {
PipelineParameterImpl() {
exists(int index |
i = FunParam(index) and
any(Synthesis s).pipelineParameterHasIndex(super.getDeclaringScopeImpl(), index)
i = FunParam(pragma[only_bind_into](index)) and
any(Synthesis s)
.pipelineParameterHasIndex(super.getDeclaringScopeImpl(), pragma[only_bind_into](index))
)
}