Skip to content

C++: Support reasoning about whether a phi node overwrites the entire buffer #31713

C++: Support reasoning about whether a phi node overwrites the entire buffer

C++: Support reasoning about whether a phi node overwrites the entire buffer #31713

Triggered via pull request May 19, 2026 14:41
Status Success
Total duration 2m 34s
Artifacts 4
Generate framework coverage artifacts
2m 28s
Generate framework coverage artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Generate framework coverage artifacts
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/setup-python@v4, actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
comparison
142 Bytes
sha256:3682ca12cdff9ceb3f1b2146218f58ee026c040834429f4114540c0b3e560e1d
csv-framework-coverage-base
13.8 KB
sha256:cad12e1a3873b828a3061be95c64fce9ff18bcace8fc037d19001fbd85cca56e
csv-framework-coverage-merge
13.8 KB
sha256:6e179e77857930a624a6eab0f6eb140515395bddfe300c88e10511969bd565ca
pr
126 Bytes
sha256:5bcd349dd6a10f60e4c201d5a739e472e6b328d1dac4c3b49bbce26728538a4e