vbvictor wrote:

I agree that modelling `assert(sp.use_count() == 1);` is not easy in 
`clang-tidy` itself. In one of my checks I needed to check that two `declStmt` 
are placed one after another in `compoundStmt` and I ended up manually 
traversing all `stmt` within `compoundStmt` - not a very pleasant solution.
`clang static analyzer` has built-in functionality for modelling `assert()` and 
other macros, but `clang-tidy` doesn't

https://github.com/llvm/llvm-project/pull/67467
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to