[all-commits] [llvm/llvm-project] 2fe758: [clang][analyzer] Improve the modeling of insert i...

[flovent via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2fe75856865e20633da33f6b526e47367a035152
      https://github.com/llvm/llvm-project/commit/2fe75856865e20633da33f6b526e47367a035152
  Author: flovent <144676429+flovent at users.noreply.github.com>
  Date:   2025-03-23 (Sun, 23 Mar 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/MismatchedIteratorChecker.cpp
    M clang/test/Analysis/Inputs/system-header-simulator-cxx.h
    M clang/test/Analysis/mismatched-iterator.cpp

  Log Message:
  -----------
  [clang][analyzer] Improve the modeling of insert in MismatchedIteratorChecker (#132596)

Fixes #132010

Associative containers in STL has an unique `insert` overload member
function comparing to un-associative
containers(https://en.cppreference.com/w/cpp/container/unordered_set/insert):
```
template< class InputIt >
void insert( InputIt first, InputIt last );
```

Add support for this `insert` overload in `MismatchedIteratorChecker`,
verify if `first` and `last` belongs to the same container in this case.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications