[clang] [clang][analyzer] Add support for C++23 container methods releated to iterator in ContainerModeling (PR #129719)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Mon Mar 17 09:03:13 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
----------------
steakhal wrote:
+1
https://github.com/llvm/llvm-project/pull/129719
More information about the cfe-commits
mailing list