================ @@ -561,13 +561,13 @@ void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B, ExplodedNode *CoreEngine::makeNode(const ProgramPoint &Loc, ---------------- NagyDonat wrote:
Sounds like a good idea, but I'm not too familiar with any of these (the `__nullable` attribute and the nullability checks in tidy and clang) so I'm probably not the best person to work on this. However if you (or anybody else) happen to explore this, I very much support it :smile:! https://github.com/llvm/llvm-project/pull/218472 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
