[PATCH] D123037: [clang][dataflow] Support integral casts

2022-04-05 Thread Yitzhak Mandelbaum via Phabricator via cfe-commits
This revision was landed with ongoing or failed builds. This revision was automatically updated to reflect the committed changes. Closed by commit rGd002495b949c: [clang][dataflow] Support integral casts (authored by ymandel). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION htt

[PATCH] D123037: [clang][dataflow] Support integral casts

2022-04-05 Thread Yitzhak Mandelbaum via Phabricator via cfe-commits
ymandel marked an inline comment as done. ymandel added inline comments. Comment at: clang/unittests/Analysis/FlowSensitive/TransferTest.cpp:1904 -const auto *FooVal = -cast(Env.getValue(*FooDecl, SkipPast::None)); -const auto *

[PATCH] D123037: [clang][dataflow] Support integral casts

2022-04-05 Thread Yitzhak Mandelbaum via Phabricator via cfe-commits
ymandel updated this revision to Diff 420483. ymandel marked an inline comment as done. ymandel added a comment. address comments Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D123037/new/ https://reviews.llvm.org/D123037 Files: clang/lib/Analysi

[PATCH] D123037: [clang][dataflow] Support integral casts

2022-04-05 Thread Stanislav Gatev via Phabricator via cfe-commits
sgatev accepted this revision. sgatev added inline comments. Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:206 + // boolean. + auto &ExprLoc = Env.createStorageLocation(*S); + Env.setStorageLocation(*S, ExprLoc); Nit: Just `Loc`? I beli

[PATCH] D123037: [clang][dataflow] Support integral casts

2022-04-04 Thread Yitzhak Mandelbaum via Phabricator via cfe-commits
ymandel updated this revision to Diff 420196. ymandel added a comment. fix typo Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D123037/new/ https://reviews.llvm.org/D123037 Files: clang/lib/Analysis/FlowSensitive/Transfer.cpp clang/unittests/Ana

[PATCH] D123037: [clang][dataflow] Support integral casts

2022-04-04 Thread Yitzhak Mandelbaum via Phabricator via cfe-commits
ymandel created this revision. ymandel added reviewers: xazax.hun, sgatev. Herald added subscribers: tschuett, steakhal, rnkovacs. Herald added a project: All. ymandel requested review of this revision. Herald added a project: clang. Adds support for implicit casts `CK_IntegralCast` and `CK_Integr