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
Differential D127649
[analyzer][NFC][test] Add new RUN line with support-symbolic-integer-casts=true to expr-inspection.cpp martong on Jun 13 2022, 8:20 AM. Authored by
Details Added a new run line to bolster gradual transition of handling cast operations,
Diff Detail
|