Added a new run line to bolster gradual transition of handling cast operations,
see https://discourse.llvm.org/t/roadmap-of-modeling-symbolic-cast-operations/63107
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Paths
| Differential D127649
[analyzer][NFC][test] Add new RUN line with support-symbolic-integer-casts=true to expr-inspection.cpp ClosedPublic Authored by martong on Jun 13 2022, 8:20 AM.
Details Summary Added a new run line to bolster gradual transition of handling cast operations,
Diff Detail
Event Timelinemartong marked an inline comment as done. Comment Actions
This revision is now accepted and ready to land.Jun 15 2022, 7:03 AM This revision was landed with ongoing or failed builds.Jun 15 2022, 7:07 AM Closed by commit rGf7a38eeccb03: [analyzer][NFC][test] Add new RUN line with support-symbolic-integer-casts=true… (authored by martong). · Explain Why This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 436402 clang/test/Analysis/expr-inspection.cpp
|