[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements

.clang-format

@@ -71,7 +71,7 @@ SpacesInCStyleCastParentheses: 'false'
 SpacesInContainerLiterals: 'false'
 SpacesInParentheses: 'false'
 SpacesInSquareBrackets: 'false'
-Standard: c++17
+Standard: c++20
 TabWidth: '2'
 UseTab: Never
 ---

.clang-format-ignore

@@ -2,3 +2,4 @@ jbmc/src/miniz/miniz.cpp
 jbmc/src/miniz/miniz.h
 src/cprover/wcwidth.c
 unit/catch/catch.hpp
+.kiro

.kiro/reductions/da1_and_helper_23line.cpp

@@ -0,0 +1,23 @@
+extern "C" void __CPROVER_assert(bool, const char *);
+template <bool> using __enable_if_t = int;
+template <int __v> struct integral_constant {
+  static const int value = __v;
+};
+template <class...> using __expand_to_true = integral_constant<true>;
+template <class... _Pred>
+__expand_to_true<__enable_if_t<_Pred::value>...> __and_helper(int);
+template <class> integral_constant<false> __and_helper(...);
+template <class... _Pred> using _And = decltype(__and_helper<_Pred...>(0));
+template <class, class = void>
+struct _HasToAddress : integral_constant<false> {};
+template <class _Pointer>
+struct _HasToAddress<_Pointer, decltype(to_address(_Pointer()))>;
+template <class> struct _IsFancyPointer {
+  static const bool value = _HasToAddress<int>::value;
+};
+template <class _Pointer> void __to_address(_Pointer);
+template <class _Pointer>
+auto to_address(_Pointer __p) -> decltype(__to_address(__p));
+int main() {
+  __CPROVER_assert(_And<_IsFancyPointer<int>>::value, "conjunction holds");
+}

.kiro/reductions/fh1_layer5_108lines.cpp

@@ -0,0 +1,108 @@
+template <int __v> struct integral_constant {
+  static const int value = __v;
+};
+struct __apply_cv_impl {
+  template <class _Up> using __apply = _Up;
+};
+template <class, class _Up> using __apply_cv_t = __apply_cv_impl::__apply<_Up>;
+template <class _Fp, class...> decltype(_Fp()()) __invoke(_Fp, ...);
+template <unsigned long...> struct __tuple_indices {};
+template <class _IdxType, _IdxType... _Values> struct __integer_sequence {
+  template <long> using __to_tuple_indices = __tuple_indices<_Values...>;
+};
+template <long _Ep, long _Sp>
+using __make_indices_imp =
+    __make_integer_seq<__integer_sequence, long,
+                       _Ep - _Sp>::template __to_tuple_indices<_Sp>;
+template <class _Tp, _Tp...> struct integer_sequence;
+template <long... _Ip>
+using index_sequence = integer_sequence<unsigned long, _Ip...>;
+template <class _Tp, _Tp _Ep>
+using __make_integer_sequence = __make_integer_seq<integer_sequence, _Tp, _Ep>;
+template <class _Tp, _Tp _Np>
+using make_integer_sequence = __make_integer_sequence<_Tp, _Np>;
+template <long _Np>
+using make_index_sequence = make_integer_sequence<unsigned long, _Np>;
+template <class... _Tp>
+using index_sequence_for = make_index_sequence<sizeof...(_Tp)>;
+template <class...> class tuple;
+template <int _Ep, long _Sp = 0> struct __make_tuple_indices {
+  typedef __make_indices_imp<_Ep, _Sp> type;
+};
+template <class...> struct __tuple_types {};
+template <class> struct tuple_size;
+template <class... _Tp>
+struct tuple_size<tuple<_Tp...>> : integral_constant<sizeof...(_Tp)> {};
+template <class, class> struct __make_tuple_types_flat;
+template <template <class...> class _Tuple, class... _Types, long... _Idx>
+struct __make_tuple_types_flat<_Tuple<_Types...>, __tuple_indices<_Idx...>> {
+  template <class _Tp>
+  using __apply_quals =
+      __tuple_types<__apply_cv_t<_Tp, __type_pack_element<_Idx, _Types...>>...>;
+};
+template <class _Tp, long _Ep = tuple_size<_Tp>::value, long _Sp = 0>
+struct __make_tuple_types {
+  using type =
+      __make_tuple_types_flat<_Tp, typename __make_tuple_indices<_Ep, _Sp>::
+                                       type>::template __apply_quals<_Tp>;
+};
+template <class _Hp> struct __tuple_leaf {
+  _Hp __value_;
+};
+template <class...> struct __tuple_impl;
+template <long... _Indx, class... _Tp>
+struct __tuple_impl<__tuple_indices<_Indx...>, _Tp...> : __tuple_leaf<_Tp>... {
+  template <unsigned long... _Uf, class... _Tf, class... _Up>
+  __tuple_impl(__tuple_indices<_Uf...>, __tuple_types<_Tf...>,
+               __tuple_indices<>, __tuple_types<>, _Up... __u)
+      : __tuple_leaf<_Tf>(__u)... {}
+};
+template <class... _Tp> struct tuple {
+  __tuple_impl<typename __make_tuple_indices<sizeof...(_Tp)>::type, _Tp...>
+      __base_;
+  template <class... _Up>
+  tuple(_Up... __u)
+      : __base_(typename __make_tuple_indices<sizeof...(_Up)>::type(),
+                typename __make_tuple_types<tuple>::type(),
+                typename __make_tuple_indices<sizeof...(_Tp),
+                                              sizeof...(_Up)>::type(),
+                typename __make_tuple_types<tuple, sizeof...(_Tp),
+                                            sizeof...(_Up)>::type(),
+                __u...) {}
+};
+template <class _Tp> constexpr long tuple_size_v = tuple_size<_Tp>::value;
+template <class...> struct __perfect_forward_impl;
+template <class _Op, long... _Idx, class... _BoundArgs>
+struct __perfect_forward_impl<_Op, index_sequence<_Idx...>, _BoundArgs...> {
+  tuple<_BoundArgs...> __bound_args_;
+  template <class... _Args>
+  __perfect_forward_impl(_Args... __bound_args)
+      : __bound_args_(__bound_args...) {}
+  template <class...> auto operator()() -> decltype(_Op());
+};
+template <class _Op, class... _Args>
+using __perfect_forward =
+    __perfect_forward_impl<_Op, index_sequence_for<>, _Args...>;
+template <long _NBound, class = make_index_sequence<_NBound>>
+struct __bind_back_op;
+template <long _NBound, long... _Ip>
+struct __bind_back_op<_NBound, index_sequence<_Ip...>> {};
+template <class _Fn, class _BoundArgs>
+struct __bind_back_t
+    : __perfect_forward<__bind_back_op<tuple_size_v<_BoundArgs>>, _Fn,
+                        _BoundArgs> {
+  using __perfect_forward<__bind_back_op<tuple_size_v<_BoundArgs>>, _Fn,
+                          _BoundArgs>::__perfect_forward;
+};
+template <class _Fn, class... _Args> auto __bind_back(_Fn __f, _Args...) {
+  return __bind_back_t<_Fn, tuple<_Args...>>(__f, 0);
+}
+struct {
+  auto operator()(int __n) { return __bind_back(this, __n); }
+} take;
+int main_arr;
+int main() {
+  auto c = take(3);
+  auto r = __invoke(c, main_arr);
+  (void)r;
+}

.kiro/reductions/fk1_layer8_113lines.cpp

@@ -0,0 +1,113 @@
+template <int __v> struct integral_constant {
+  static const int value = __v;
+};
+struct __apply_cv_impl {
+  template <class _Up> using __apply = _Up;
+};
+template <class, class _Up> using __apply_cv_t = __apply_cv_impl::__apply<_Up>;
+template <class _Fp> decltype(_Fp()()) __invoke(_Fp);
+template <class> using invoke_result_t = int;
+invoke_result_t<void> invoke(void());
+template <unsigned long...> struct __tuple_indices {};
+template <class _IdxType, _IdxType... _Values> struct __integer_sequence {
+  template <long> using __to_tuple_indices = __tuple_indices<_Values...>;
+};
+template <long _Ep, long _Sp>
+using __make_indices_imp =
+    __make_integer_seq<__integer_sequence, long,
+                       _Ep - _Sp>::template __to_tuple_indices<_Sp>;
+template <class _Tp, _Tp...> struct integer_sequence;
+template <long... _Ip>
+using index_sequence = integer_sequence<unsigned long, _Ip...>;
+template <class _Tp, _Tp _Ep>
+using __make_integer_sequence = __make_integer_seq<integer_sequence, _Tp, _Ep>;
+template <class _Tp, _Tp _Np>
+using make_integer_sequence = __make_integer_sequence<_Tp, _Np>;
+template <long _Np>
+using make_index_sequence = make_integer_sequence<unsigned long, _Np>;
+template <class... _Tp>
+using index_sequence_for = make_index_sequence<sizeof...(_Tp)>;
+template <class...> class tuple;
+template <int _Ep, long _Sp = 0> struct __make_tuple_indices {
+  typedef __make_indices_imp<_Ep, _Sp> type;
+};
+template <class...> struct __tuple_types {};
+template <class> struct tuple_size;
+template <class... _Tp>
+struct tuple_size<tuple<_Tp...>> : integral_constant<sizeof...(_Tp)> {};
+template <class, class> struct __make_tuple_types_flat;
+template <template <class...> class _Tuple, class... _Types, long... _Idx>
+struct __make_tuple_types_flat<_Tuple<_Types...>, __tuple_indices<_Idx...>> {
+  template <class _Tp>
+  using __apply_quals =
+      __tuple_types<__apply_cv_t<_Tp, __type_pack_element<_Idx, _Types...>>...>;
+};
+template <class _Tp, long _Ep = tuple_size<_Tp>::value, long _Sp = 0>
+struct __make_tuple_types {
+  using type =
+      __make_tuple_types_flat<_Tp, typename __make_tuple_indices<_Ep, _Sp>::
+                                       type>::template __apply_quals<_Tp>;
+};
+template <class _Hp> struct __tuple_leaf {
+  _Hp __value_;
+};
+template <class...> struct __tuple_impl;
+template <long... _Indx, class... _Tp>
+struct __tuple_impl<__tuple_indices<_Indx...>, _Tp...> : __tuple_leaf<_Tp>... {
+  template <unsigned long... _Uf, class... _Tf, class... _Up>
+  __tuple_impl(__tuple_indices<_Uf...>, __tuple_types<_Tf...>,
+               __tuple_indices<>, __tuple_types<>, _Up... __u)
+      : __tuple_leaf<_Tf>(__u)... {}
+};
+template <class... _Tp> struct tuple {
+  __tuple_impl<typename __make_tuple_indices<sizeof...(_Tp)>::type, _Tp...>
+      __base_;
+  template <class... _Up>
+  tuple(_Up... __u)
+      : __base_(typename __make_tuple_indices<sizeof...(_Up)>::type(),
+                typename __make_tuple_types<tuple>::type(),
+                typename __make_tuple_indices<sizeof...(_Tp),
+                                              sizeof...(_Up)>::type(),
+                typename __make_tuple_types<tuple, sizeof...(_Tp),
+                                            sizeof...(_Up)>::type(),
+                __u...) {}
+};
+template <int> void get();
+template <class _Tp> constexpr long tuple_size_v = tuple_size<_Tp>::value;
+template <class...> struct __perfect_forward_impl;
+template <class _Op, long... _Idx, class... _BoundArgs>
+struct __perfect_forward_impl<_Op, index_sequence<_Idx...>, _BoundArgs...> {
+  tuple<_BoundArgs...> __bound_args_;
+  template <class... _Args>
+  __perfect_forward_impl(_Args... __bound_args)
+      : __bound_args_(__bound_args...) {}
+  template <class...> auto operator()() -> decltype(_Op()(get<_Idx>...));
+};
+template <class _Op, class... _Args>
+using __perfect_forward =
+    __perfect_forward_impl<_Op, index_sequence_for<_Args...>, _Args...>;
+template <long _NBound, class = make_index_sequence<_NBound>>
+struct __bind_back_op;
+template <long _NBound, long... _Ip>
+struct __bind_back_op<_NBound, index_sequence<_Ip...>> {
+  template <class _Fn, class _BoundArgs>
+  auto operator()(_Fn __f, _BoundArgs) -> decltype(invoke(__f));
+};
+template <class _Fn, class _BoundArgs>
+struct __bind_back_t
+    : __perfect_forward<__bind_back_op<tuple_size_v<_BoundArgs>>, _Fn,
+                        _BoundArgs> {
+  using __perfect_forward<__bind_back_op<tuple_size_v<_BoundArgs>>, _Fn,
+                          _BoundArgs>::__perfect_forward;
+};
+template <class _Fn, class... _Args> auto __bind_back(_Fn __f, _Args...) {
+  return __bind_back_t<_Fn, tuple<_Args...>>(__f, 0);
+}
+struct {
+  auto operator()(int __n) { return __bind_back(this, __n); }
+} take;
+int main() {
+  auto c = take(3);
+  auto r = __invoke(c);
+  (void)r;
+}

.kiro/reductions/lambda_decltype_cvs1_531b.cpp

@@ -0,0 +1,14 @@
+template <int __v> struct integral_constant {
+  static const int value = __v;
+};
+template <bool, class> using __enable_if_t = int;
+using ::wprintf __attribute__((__using_if_exists__));
+template <class> struct basic_string {
+  int __r_;
+  basic_string(basic_string &&)
+      : __r_([](basic_string __s) -> decltype(__s) {}) {}
+  template <__enable_if_t<integral_constant<false>::value, int> = 0>
+  basic_string(char *);
+};
+basic_string Trans_NS_literals___throw_invalid_type_format_error___trans_tmp_2 =
+    basic_string<char>("");

.kiro/reductions/ranges_pipe_itc_cvr1_1382b.cpp

@@ -0,0 +1,33 @@
+template <int __v> struct integral_constant {
+  static const int value = __v;
+};
+namespace std {
+template <class _Tp, _Tp...> struct integer_sequence;
+template <long... _Ip> using index_sequence = integer_sequence<long, _Ip...>;
+template <class _Tp, _Tp _Ep>
+using __make_integer_sequence = __make_integer_seq<integer_sequence, _Tp, _Ep>;
+template <class _Tp, _Tp _Np>
+using make_integer_sequence = __make_integer_sequence<_Tp, _Np>;
+template <long _Np>
+using make_index_sequence = make_integer_sequence<long, _Np>;
+template <class...> struct tuple {};
+template <class> struct tuple_size;
+template <class... _Tp>
+struct tuple_size<tuple<_Tp...>> : integral_constant<sizeof...(_Tp)> {};
+template <class _Tp> long tuple_size_v = tuple_size<_Tp>::value;
+template <class> struct __perfect_forward_impl;
+template <class... _Args>
+using __perfect_forward = __perfect_forward_impl<_Args...>;
+template <long _NBound, class = make_index_sequence<_NBound>>
+struct __bind_back_op;
+template <long _NBound, long... _Ip>
+struct __bind_back_op<_NBound, index_sequence<_Ip...>>;
+template <class, class _BoundArgs>
+struct __bind_back_t
+    : __perfect_forward<__bind_back_op<tuple_size_v<_BoundArgs>>> {};
+template <class _Fn> void __bind_back(_Fn, int) { __bind_back_t<_Fn, tuple<>>; }
+int operator0___n;
+struct {
+  auto operator0() { __bind_back(this, operator0___n); }
+} take;
+} // namespace std