[clang] [clang][analyzer] Add support for C++23 container methods releated to iterator in ContainerModeling (PR #129719)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Tue Mar 11 11:24:53 PDT 2025
================
@@ -635,6 +668,66 @@ void deque_emplace_back(std::deque<int> &D, int n) {
clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}
}
+/// append_range()
+///
+/// - Design decision: extends containers to the ->RIGHT-> (i.e. the
----------------
NagyDonat wrote:
I don't understand what does `Design decision:` mean in this context (is it some weird boilerplate from a rigid test-driven design pattern??), but it's consistently applied in all other test blocks, so it's probably better to use it here.
https://github.com/llvm/llvm-project/pull/129719
More information about the cfe-commits
mailing list