676   auto j = std::prev(i); // expected-warning{{Iterator decremented ahead of its valid range}}  in prev_plus_1_begin()
682   auto j = std::prev(i); // no-warning  in prev_plus_1_behind_begin()
687   auto j = std::prev(i); // no-warning  in prev_plus_1_unknown()
692   auto j = std::prev(i); // no-warning  in prev_plus_1_ahead_of_end()
697   auto j = std::prev(i); // no-warning  in prev_plus_1_end()
704   auto j = std::prev(i, -1); // no-warning  in prev_minus_1_begin()
709   auto j = std::prev(i, -1); // no-warning  in prev_minus_1_behind_begin()
714   auto j = std::prev(i, -1); // no-warning  in prev_minus_1_unknown()
719   auto j = std::prev(i, -1); // no-warning  in prev_minus_1_ahead_of_end()
724 …auto j = std::prev(i, -1); // expected-warning{{Iterator incremented behind the past-the-end itera…  in prev_minus_1_end()
732   auto j = std::prev(i, 2); // expected-warning{{Iterator decremented ahead of its valid range}}  in prev_plus_2_begin()
738   auto j = std::prev(i, 2); // expected-warning{{Iterator decremented ahead of its valid range}}  in prev_plus_2_behind_begin()
744   auto j = std::prev(i, 2); // no-warning  in prev_plus_2_unknown()
749   auto j = std::prev(i, 2); // no-warning  in prev_plus_2_ahead_of_end()
754   auto j = std::prev(i, 2); // no-warning  in prev_plus_2_end()
761   auto j = std::prev(i, -2); // no-warning  in prev_minus_2_begin()
766   auto j = std::prev(i, -2); // no-warning  in prev_minus_2_behind_begin()
771   auto j = std::prev(i, -2); // no-warning  in prev_minus_2_unknown()
776 …auto j = std::prev(i, -2); // expected-warning{{Iterator incremented behind the past-the-end itera…  in prev_minus_2_ahead_of_end()
782 …auto j = std::prev(i, -2); // expected-warning{{Iterator incremented behind the past-the-end itera…  in prev_minus_2_end()
790   auto j = std::prev(i, 0); // no-warning  in prev_0_begin()
795   auto j = std::prev(i, 0); // no-warning  in prev_0_behind_begin()
800   auto j = std::prev(i, 0); // no-warning  in prev_0_unknown()
805   auto j = std::prev(i, 0); // no-warning  in prev_0_ahead_of_end()
810   auto j = std::prev(i, 0); // no-warning  in prev_0_end()
816 T prev(T, int *);
823   auto j = std::prev(i, offset); // no-warning  in prev_loc_value()