Branch: * main
commit 88860e1e029d3b9b310b178d8356bc5822475272
Author: Stefan J. Wernli <swernli@microsoft.com>
Date: Mon Jul 13 13:53:33 2026 -0700
Fix unexpected loop variables in partial eval by falling back to static values (#3456)
This fixes an issue with certain patterns in Adaptive QIR generation
where partial evaluation would fail because it got back a variable when
it expected a known static value. This fixes the issue by updating how
we treat the results of evaluating a dynamic expression: if the RCA data
structures indicate that the expression should be a dynamic constant, we
check the static value map and use that value rather that the computed
variable identifier. This allows known constants to propagate further
during partial evaluation, this avoiding emitting branches (and loops)
that are known to be unnecessary. Fixes #3441
The fuzz-testing workflow has detected a bug.
Auto-Minimized Fuzzing Input That Triggers the Bug: Click this line.
Note: If the input is multi-line then the end-of-line characters ' ' (0x0A) and ' ' (0x0D) may affect the reproducibility of the bug. If you fail to repro the bug with the input shown below then you may want to go to the workflow that reported this GitHub bug, download the artifact, and extract the file with the exact minimized input.The branch/commit the bug has been found in: Click.
If the developers fail to repro the bug in the latestmainthen the branch/commit info below can help them to make sure that they are using the correct way to repro. If the bug is reproducible in the branch/commit below, but not in latestmain, then the bug is likely fixed already or is not in themainbranch.Other Info
ubuntu-latest: Linux runnervm5mmn9 6.17.0-1018-azure #18~24.04.1-Ubuntu SMP Thu May 28 16:39:11 UTC 2026 x86_64 x86_64 x86_64 GNU/Linux.