sanaanajjar231288 added a comment.
In D62688#1549574 <https://reviews.llvm.org/D62688#1549574>, @Szelethus wrote:
> Hmm, an idea just popped into my head. I'm not sure whether we have a single
> checker that does so much complicated (and totally awesome) modeling as
> `IteratorChecker`. What do you think about a debug checker similar to
> `debug.ExprInspection`, like `debug.IteratorInspection`?
>
> // RUN: %clang_analyzer_cc1 -analyzer-checker=core,debug.IteratorInspection
>
> template <class Cont>
> void clang_analyzer_container_size(const Cont &);
>
> template <class It, class Cont>
> void clang_analyzer_is_attached_to_container(const It &, const Cont &);
>
> void non_empty1(const std::vector<int> &V) {
> assert(!V.empty());
> for (auto n: V) {}
> clang_analyzer_container_size(V); // expected-warning{{[1, intmax]}}
> }
>
> void non_empty2(const std::vector<int> &V) {
> for (auto n: V) {}
> assert(V.empty());
> clang_analyzer_container_size(V); // expected-warning{{[0, 0]}}
> }
>
> void foo(std::vector<int> v1, std::vector<int> v2) {
> clang_analyzer_is_attached_to_container(v1.begin(), v2); //
> expected-warning{{FALSE}}
> }
>
>
> etc etc.
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D62688/new/
https://reviews.llvm.org/D62688
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
