Skip to content

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

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

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

Triggered via pull request May 12, 2026 12:03
Status Success
Total duration 2m 45s
Artifacts 4
Generate framework coverage artifacts
2m 40s
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:f919c80b30e1628f6392a5eb7663198ed2230efd5478c45a00261fb2bf85dfd3
csv-framework-coverage-base
13.8 KB
sha256:abb9dd2c7ab6fe8e5dd32cabe4cfae3e9c5c4f9eed16b9d976a54a8a33ba2547
csv-framework-coverage-merge
13.8 KB
sha256:8ed21d78dfe14369e0e25458377c0aacc7d52281d5ef843bffc33f35b4f701fe
pr
126 Bytes
sha256:8a1ea24a57e626de9f2ab9338fbd239300823867ea110af9d9e0e2211b193c67