[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