Skip to content

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

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

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

Triggered via pull request May 13, 2026 12:27
Status Success
Total duration 2m 32s
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:1fa2dded8f5ef6c17fe2cd69f2c629dca940f9e16666c0e532cafd8e4af94c3c
csv-framework-coverage-base
13.8 KB
sha256:3c33ca4257e5a67d8cd08bfea5a42223ee81892413a5e5a96106aad5fac555ca
csv-framework-coverage-merge
13.8 KB
sha256:d403c5401b6268d7f71a0997e0b4843fdc6cc6c05a06cfd3d936621a006a5f84
pr
126 Bytes
sha256:dd6fdca51c43a620f6dfd5080a28f672590e75accfabb4657e804968b3b6c741