[PATCH] D127898: [clang][dataflow] Find unsafe locs after fixpoint

2022-06-21 Thread Sam Estep via Phabricator via cfe-commits
samestep updated this revision to Diff 438891. samestep added a comment. Only add the new API, don't change the check Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D127898/new/ https://reviews.llvm.org/D127898 Files: clang/docs/tools/clang-format

[PATCH] D127898: [clang][dataflow] Find unsafe locs after fixpoint

2022-06-21 Thread Sam Estep via Phabricator via cfe-commits
samestep added inline comments. Comment at: clang-tools-extra/clang-tidy/bugprone/UncheckedOptionalAccessCheck.cpp:66 + SourceLocations Locs; + for (const CFGBlock *Block : Context->getCFG()) { +// Skip blocks that were not evaluated. xazax.hun wrote: > Wh

[PATCH] D127898: [clang][dataflow] Find unsafe locs after fixpoint

2022-06-17 Thread Gábor Horváth via Phabricator via cfe-commits
xazax.hun added inline comments. Comment at: clang-tools-extra/clang-tidy/bugprone/UncheckedOptionalAccessCheck.cpp:66 + SourceLocations Locs; + for (const CFGBlock *Block : Context->getCFG()) { +// Skip blocks that were not evaluated. While doing yet anot

[PATCH] D127898: [clang][dataflow] Find unsafe locs after fixpoint

2022-06-16 Thread Thorsten via Phabricator via cfe-commits
tschuett added a comment. C++ seems to be tied to templates. I wonder if super classes resp. inheritance would make your life easier. You can explicitly define the API and documentation. You could provide default implementations. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTIO

[PATCH] D127898: [clang][dataflow] Find unsafe locs after fixpoint

2022-06-16 Thread Yitzhak Mandelbaum via Phabricator via cfe-commits
ymandel added inline comments. Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h:35 +using NoopDiags = std::tuple<>; + I'm not sure that this is valid style. It's essentially a unit type, which I quite like, but I've never seen this don

[PATCH] D127898: [clang][dataflow] Find unsafe locs after fixpoint

2022-06-15 Thread Sam Estep via Phabricator via cfe-commits
samestep created this revision. Herald added subscribers: martong, tschuett, carlosgalvezp, xazax.hun, mgorny. Herald added a project: All. samestep requested review of this revision. Herald added projects: clang, LLVM, clang-tools-extra. Herald added subscribers: cfe-commits, llvm-commits. Reposi