Skip to content

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

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

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

Triggered via pull request May 13, 2026 12:15
Status Success
Total duration 2m 33s
Artifacts 4
Generate framework coverage artifacts
2m 29s
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:8debda801955d1a6abfef87fbc9d9eb7c01d87914823ab67b3873eaedc04a1ef
csv-framework-coverage-base
13.8 KB
sha256:b04bff38479ded71ae96a770e6d83da1d7389125c2668d28a122aefee345c2bc
csv-framework-coverage-merge
13.8 KB
sha256:007d5291f49d0f4f95903c8618b629da34eb6d9de9240c7625cae5b227197633
pr
126 Bytes
sha256:245ca66c12c65e228e95aa634b581ba18408b45237ef741712dd0f2fb2ac8697