Repository navigation

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

Draft

tautschnig wants to merge 3217 commits into

diffblue:developfrom

tautschnig:cpp11-parser-rework-squashed

Draft

[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements#8878
tautschnig wants to merge 3217 commits into
diffblue:developfrom
tautschnig:cpp11-parser-rework-squashed

This pull request is big! We're only showing the most recent 250 commits

Commits on Oct 14, 2026
- C++: allow two nested constructor-template conversions in a constraint
  
  tautschnig
  and
  kiro-agent
  committed
  3c68184
- C++ parser: an operator-function-id does not begin a declaration
  
  tautschnig
  and
  kiro-agent
  committed
  ff598f4
- C++: model __uninitialized_copy_a with array_replace only for pointers
  
  tautschnig
  and
  kiro-agent
  committed
  df4b00b
- C++: a parenthesized mem-initializer's braced argument stays one argument
  
  tautschnig
  and
  kiro-agent
  committed
  6b9c927
- C++: deduce through a function type's pointer and reference parameters
  
  tautschnig
  and
  kiro-agent
  committed
  2d644d9
- C++: allow four nested constructor-template conversions in a constraint
  
  tautschnig
  and
  kiro-agent
  committed
  37142ff
- C++: argument-dependent lookup does not find class members
  
  tautschnig
  and
  kiro-agent
  committed
  b8a109d
- C++: `(obj)(arg)' with a class-type argument is a call, not a cast
  
  tautschnig
  and
  kiro-agent
  committed
  9b55d68
- C++: unary + accepts a pointer operand
  
  tautschnig
  and
  kiro-agent
  committed
  16ffe70
- C++: `T x({})' passes the empty braced-init-list as an argument
  
  tautschnig
  and
  kiro-agent
  committed
  cb80909
- C++: a block-scope object suppresses argument-dependent lookup
  
  tautschnig
  and
  kiro-agent
  committed
  a785115
- C++: a qualified member call in a lambda uses the captured this
  
  tautschnig
  and
  kiro-agent
  committed
  74d53f4
- Notes: round 185 dog-food driven fixes
  
  tautschnig
  and
  kiro-agent
  committed
  0edc2f3
Commits on Oct 15, 2026
- C++: [over.best.ics]/4.5 for a single nested braced-init-list
  
  tautschnig
  and
  kiro-agent
  committed
  f54b0be
- Notes: round 185 sweep status and the last fix
  
  tautschnig
  and
  kiro-agent
  committed
  ab85c71
- C++: a void template argument before an empty pack is kept
  
  tautschnig
  and
  kiro-agent
  committed
  aed5f1f
- C++: `struct S' and `S' in a function template redeclaration are the same
  
  tautschnig
  and
  kiro-agent
  committed
  edc0450
- C++: a friend declaration introducing a function template befriends it
  
  tautschnig
  and
  kiro-agent
  committed
  3a4fde5
- KNOWNBUG: libstdc++ char specializations defined only in libstdc++.so
  
  tautschnig
  and
  kiro-agent
  committed
  01f385a
- Test: ranges views iota, transform, filter, drop (both libraries)
  
  tautschnig
  and
  kiro-agent
  committed
  e8f0ea6
- KNOWNBUG: friend of D accesses a private-base member through a class derived from D
  
  tautschnig
  and
  kiro-agent
  committed
  e97a33b
- KNOWNBUG: coroutine semantics (co_yield generator)
  
  tautschnig
  and
  kiro-agent
  committed
  1ed6d6b
- KNOWNBUG: [[no_unique_address]] does not affect the layout
  
  tautschnig
  and
  kiro-agent
  committed
  c901e27
- C++: parenthesized aggregate initialization skips layout padding
  
  tautschnig
  and
  kiro-agent
  committed
  8a0177f
- KNOWNBUG: class template argument deduction for alias templates
  
  tautschnig
  and
  kiro-agent
  committed
  53ed44a
- KNOWNBUG: covariant return type override gets its own vtable entry
  
  tautschnig
  and
  kiro-agent
  committed
  6b38320
- C++: evaluate the condition of explicit(constant-expression)
  
  tautschnig
  and
  kiro-agent
  committed
  f57ba47
- C++: index the class templates with out-of-class member definitions
  
  tautschnig
  and
  kiro-agent
  committed
  0e38e8f
- C++: index namespace scopes by base name for the resolver's fallback
  
  tautschnig
  and
  kiro-agent
  committed
  3208450
- C++: cache the template owning a template parameter
  
  tautschnig
  and
  kiro-agent
  committed
  e5df41b
- C++: a derived-to-base class parameter conversion has Conversion rank
  
  tautschnig
  and
  kiro-agent
  committed
  27fdb57
- C++: the target type selects a function from an overload set
  
  tautschnig
  and
  kiro-agent
  committed
  4fb9736
- KNOWNBUG: protected member named in a braced functional cast
  
  tautschnig
  and
  kiro-agent
  committed
  4d19861
- Notes: round 186
  
  tautschnig
  and
  kiro-agent
  committed
  a5d74b4
- Test: static_assert over a constexpr function forwarding its parameter
  
  tautschnig
  and
  kiro-agent
  committed
  47a0318
- KNOWNBUG: class declared by an elaborated-type-specifier in an alias template
  
  tautschnig
  and
  kiro-agent
  committed
  5e1051c
- Merge remote-tracking branch 'origin/develop' into cpp11-parser-rework-squashed
  tautschnig
  committed
  cca717a
- Format: clang-format the lines changed since develop
  
  tautschnig
  and
  kiro-agent
  committed
  093bb31
- Doxygen: fix the warnings in comments changed by this branch
  
  tautschnig
  and
  kiro-agent
  committed
  a7911ae
- Remove the includes include-what-you-use reports as unnecessary
  
  tautschnig
  and
  kiro-agent
  committed
  a162658
- remove_complex: lower the parameter and return types of code types
  
  tautschnig
  and
  kiro-agent
  committed
  1f75836
- Test: std::format verification is THOROUGH, its conversion stays CORE
  
  tautschnig
  and
  kiro-agent
  committed
  dd552a8
- Tests: exclude two regression/cbmc tests from the profiles they cannot pass
  
  tautschnig
  and
  kiro-agent
  committed
  d74b5d6
- validate-trace-xml-schema: exclude tests that print SMT2 or the program
  
  tautschnig
  and
  kiro-agent
  committed
  ca87c9e
- cbmc-cpp: tag <format> tests libstdcxx13, libc++ tests libcxx
  
  tautschnig
  and
  kiro-agent
  committed
  99443b5
- C++: libstdc++ 11's has_facet and use_facet model num_put
  
  tautschnig
  and
  kiro-agent
  committed
  db34f38
- C++: the implicit copy assignment operator can be deleted
  
  tautschnig
  and
  kiro-agent
  committed
  b8efacd
- narrow_or_throw_out_of_range: detect a sign change between same-width types
  
  tautschnig
  and
  kiro-agent
  committed
  433c32a
- Struct_Padding10-12: vacuous unless pointers are 8 bytes
  
  tautschnig
  and
  kiro-agent
  committed
  312cfad
- clzg tests: use unsigned long long for the 64-bit operand
  
  tautschnig
  and
  kiro-agent
  committed
  0d29679
- Tag tests of GCC builtins and _Atomic(T) gcc-only
  
  tautschnig
  and
  kiro-agent
  committed
  17b7064
- cbmc-cpp: make six tests independent of the width of long
  
  tautschnig
  and
  kiro-agent
  committed
  7daf454
- C/C++: long and long long rank above int and long of the same width
  
  tautschnig
  and
  kiro-agent
  committed
  1ee0b5c
- C++: a promotion to int is not a promotion to a long of the same width
  
  tautschnig
  and
  kiro-agent
  committed
  b15fc08
- C++: __reference_binds_to_temporary of a same-width integer conversion
  
  tautschnig
  and
  kiro-agent
  committed
  2c43cf3
- C++: template candidate distances are 64 bits on 32-bit hosts too
  
  tautschnig
  and
  kiro-agent
  committed
  2d49c9c
- cpp11_builtin_popcountg: use long long for the 64-bit case
  
  tautschnig
  and
  kiro-agent
  committed
  5d441b2
- smt2_cvc5_as_const_value: accept a 32-bit array index
  
  tautschnig
  and
  kiro-agent
  committed
  ffef1ea
- unit-proofs: string2optional needs the GCC 13 headers
  
  tautschnig
  and
  kiro-agent
  committed
  2832996
- CPROVER library: do not reuse a va_list model for __builtin_X
  
  tautschnig
  and
  kiro-agent
  committed
  93b11fc
- C++: a qualification conversion needs the same pointee type
  
  tautschnig
  and
  kiro-agent
  committed
  d6c99e5
- cpp20_builtin_unary_type_traits_vs_clang: char may be unsigned
  
  tautschnig
  and
  kiro-agent
  committed
  395475a
- cpp/constexpr_skip_stmt: compile as C++11
  
  tautschnig
  and
  kiro-agent
  committed
  dda18ca
- goto-cc-cbmc: the two libstdc++ tests are gcc-only
  
  tautschnig
  and
  kiro-agent
  committed
  73b2965
- cbmc-cpp: three libstdc++ tests need the GCC 13 headers
  
  tautschnig
  and
  kiro-agent
  committed
  18c08ad
- goto_check_c: null pointers in a subtraction or relation, C++ only
  
  tautschnig
  and
  kiro-agent
  committed
  4de92f8
- unit-proofs: proofs over the standard library are gcc-only
  
  tautschnig
  and
  kiro-agent
  committed
  a3866a2
- Notes: round 186 CI fixes after merging develop
  
  tautschnig
  and
  kiro-agent
  committed
  38a55f0
- C++: deductions of int and a same-width long conflict
  
  tautschnig
  and
  kiro-agent
  committed
  102fbd3
Commits on Oct 16, 2026
- cbmc-cpp: a per-test timeout in the CMake profiles
  
  tautschnig
  and
  kiro-agent
  committed
  155db40
- from_integer: a floating-point constant keeps the requested type
  
  tautschnig
  and
  kiro-agent
  committed
  4ee2c33
- C++: a functional cast of a type pack element in a fold expression
  
  tautschnig
  and
  kiro-agent
  committed
  899bbf9
- C++ parser: a type name opens the parameters of a function declarator
  
  tautschnig
  and
  kiro-agent
  committed
  4d2e470
- C++: #c_type below the top level in standard conversions
  
  tautschnig
  and
  kiro-agent
  committed
  3f69214
- scripts/platform_check.sh: cbmc-cpp with GCC 11 headers, 32-bit, arm64
  
  tautschnig
  and
  kiro-agent
  committed
  3db023a
- simplify: drop a sizeof(char) factor of one, keeping its annotation
  
  tautschnig
  and
  kiro-agent
  committed
  00d2161
- C++: template substitution skips into an array constant as an expression
  
  tautschnig
  and
  kiro-agent
  committed
  570da8f
- C++: constant evaluation of class prvalues, and of case labels
  
  tautschnig
  and
  kiro-agent
  committed
  4152677
- C++ constant evaluation: pointer variables into string literals
  
  tautschnig
  and
  kiro-agent
  committed
  eede475
- KNOWNBUG: a lambda call in a constant expression
  
  tautschnig
  and
  kiro-agent
  committed
  da9be63
- cbmc-cpp: four tests broken with the libstdc++ 16 headers
  
  tautschnig
  and
  kiro-agent
  committed
  bee60e7
- unit-proofs: a per-test timeout
  
  tautschnig
  and
  kiro-agent
  committed
  04b5bfe
- cbmc-cpp: four failing THOROUGH tests become KNOWNBUG
  
  tautschnig
  and
  kiro-agent
  committed
  4e26b78
- complex2: thorough with z3 under the CI memory limit
  
  tautschnig
  and
  kiro-agent
  committed
  5ff89bd
- Tests: complex_function_parameter_validate gcc-only, interval_template object bits
  
  tautschnig
  and
  kiro-agent
  committed
  3f49c46
- C++ CTAD: a defaulted template parameter need not be deduced
  
  tautschnig
  and
  kiro-agent
  committed
  a2a6ff4
- C++: a deduced template template argument keeps its namespace
  
  tautschnig
  and
  kiro-agent
  committed
  e8bff35
- Notes: round 186 CI follow-up
  
  tautschnig
  and
  kiro-agent
  committed
  a1a1c3b
- C++: a function template's defaulted non-type argument is a constant
  
  tautschnig
  and
  kiro-agent
  committed
  a31dce9
- C++ constant evaluation: reference-returning calls, is_constant_evaluated()
  
  tautschnig
  and
  kiro-agent
  committed
  c1584b2
- C++: a lambda's function call operator is constexpr
  
  tautschnig
  and
  kiro-agent
  committed
  58f8b77
- C++ library model: the classic ctype<char> facet's vtable and case mappings
  
  tautschnig
  and
  kiro-agent
  committed
  a3704d6
- unit-proofs/strip_string: KNOWNBUG under the CI memory limit
  
  tautschnig
  and
  kiro-agent
  committed
  896cba3
- test.pl: drop the Windows timeout wrapper
  
  tautschnig
  and
  kiro-agent
  committed
  e4d7006
- KNOWNBUG notes: abstract_environment_tu and regex, located further
  
  tautschnig
  and
  kiro-agent
  committed
  29832fe
- to_integer: an enumeration constant with a bool underlying type
  
  tautschnig
  and
  kiro-agent
  committed
  b6197b0
- C++ partial ordering: a pack-only parameter list is the least specialized
  
  tautschnig
  and
  kiro-agent
  committed
  bd5bdb6
- cbmc-cpp: CORE in four parallel shards; two libstdc++ tests gcc-only
  
  tautschnig
  and
  kiro-agent
  committed
  daacb15
- C++: an explicit-object member template is viable for a const object
  
  tautschnig
  and
  kiro-agent
  committed
  5c30dc9
- C++: the more constrained of two equally specialized templates wins
  
  tautschnig
  and
  kiro-agent
  committed
  d3f8f3f
- C++: abbreviated function templates as class members
  
  tautschnig
  and
  kiro-agent
  committed
  5417270
- Notes: round 186 CI follow-up 2
  
  tautschnig
  and
  kiro-agent
  committed
  ddb17b6
Commits on Oct 17, 2026
- cbmc-cpp: clang-format cpp20_partial_ordering_more_constrained_tie
  
  tautschnig
  and
  kiro-agent
  committed
  1e8299f
- Elide C++ returned temporaries: retype references to a lowered function
  
  tautschnig
  and
  kiro-agent
  committed
  161fcd3
- C++: dynamic initialization of a block-scope static on first pass
  
  tautschnig
  and
  kiro-agent
  committed
  d7c99f3
- CI: the gcc-16 job excludes the broken-libstdcxx16 tests
  
  tautschnig
  and
  kiro-agent
  committed
  bfdd942
- C++: a static member's deduced return type under its class's template map
  
  tautschnig
  and
  kiro-agent
  committed
  a4c538e
- KNOWNBUG: a deduced return type in a static data member's initializer
  
  tautschnig
  and
  kiro-agent
  committed
  fef69f2
- C++: explicitly specialize a member of an inline namespace
  
  tautschnig
  and
  kiro-agent
  committed
  c8de5f6
- C++ parser: accept = default and = delete before C++11
  
  tautschnig
  and
  kiro-agent
  committed
  26914cf
- Do not initialize C++ virtual tables that no reachable code uses
  
  tautschnig
  and
  kiro-agent
  committed
  e9811ec
- cbmc-cpp: a libstdcxx tag, excluded where cbmc does not use GNU gcc
  
  tautschnig
  and
  kiro-agent
  committed
  d594a42
- cbmc-cpp: optional tests accept libc++'s std::__1 names
  
  tautschnig
  and
  kiro-agent
  committed
  7aaa814
- KNOWNBUG: a partial specialization's member defined outside, empty pack
  
  tautschnig
  and
  kiro-agent
  committed
  fe13518
- cbmc-cpp: stream and std::function tests that hang elsewhere are libstdcxx
  
  tautschnig
  and
  kiro-agent
  committed
  881d475
- test.pl: enforce -t with native Windows perl
  
  tautschnig
  and
  kiro-agent
  committed
  17fabd9
- Notes: round 187
  
  tautschnig
  and
  kiro-agent
  committed
  60215d1
- C++: an initializer_list that stores an end pointer
  
  tautschnig
  and
  kiro-agent
  committed
  ac83141
- CI: preprocessed cbmc-cpp tests from all macOS and Windows jobs
  
  tautschnig
  and
  kiro-agent
  committed
  192781b
- Visual Studio mode: __builtin_bit_cast
  
  tautschnig
  and
  kiro-agent
  committed
  71f07a4
- C++: reinterpret_cast to a same-width type keeps the named type
  
  tautschnig
  and
  kiro-agent
  committed
  e55d191
- C++: value-initialize an array-of-arrays member element-wise
  
  tautschnig
  and
  kiro-agent
  committed
  db61acf
- C++: out-of-class members of a partial specialization with a parameter pack
  
  tautschnig
  and
  kiro-agent
  committed
  ec7fd43
- Notes: round 188
  
  tautschnig
  and
  kiro-agent
  committed
  50ea70b
- C++: conditional operator on pointers that differ in pointee qualification
  
  tautschnig
  and
  kiro-agent
  committed
  4822008
- C++: variable-template partial specializations tell reference kinds apart
  
  tautschnig
  and
  kiro-agent
  committed
  1f000d4
- cbmc-cpp: a gnu-extensions tag, excluded with MSVC
  
  tautschnig
  and
  kiro-agent
  committed
  77e7588
- Notes: round 188, CI run 6
  
  tautschnig
  and
  kiro-agent
  committed
  035eb0a
- C++ typeid: the name member of libc++'s type_info
  
  tautschnig
  and
  kiro-agent
  committed
  c520e86
- C++ typeid with the MSVC runtime
  
  tautschnig
  and
  kiro-agent
  committed
  7745c42
- Simplifier: a struct member read through byte operations of other bytes
  
  tautschnig
  and
  kiro-agent
  committed
  758b464
- C++: a requires-expression parameter pack expanded in a new-initializer
  
  tautschnig
  and
  kiro-agent
  committed
  8217785
- C++: a redefined partial specialization uses its own template scope
  
  tautschnig
  and
  kiro-agent
  committed
  597cb05
- C++: the injected-class-name does not find the constructors
  
  tautschnig
  and
  kiro-agent
  committed
  ff7f8ae
- Visual Studio mode: __builtin_offsetof
  
  tautschnig
  and
  kiro-agent
  committed
  d7cced2
- cbmc-cpp: more gnu-extensions tests, and an itanium-abi tag
  
  tautschnig
  and
  kiro-agent
  committed
  ae1603b
- cbmc-cpp: count only the failed properties in five tests
  
  tautschnig
  and
  kiro-agent
  committed
  1f0cb4c
- C++: a variable-template partial specialization ending in a pack
  
  tautschnig
  and
  kiro-agent
  committed
  b93a803
- C++: reinterpret_cast from an enumeration to a pointer
  
  tautschnig
  and
  kiro-agent
  committed
  37400e3
- C++: keep a mem-initializer argument with a nested empty pack expansion
  
  tautschnig
  and
  kiro-agent
  committed
  b35303b
Commits on Oct 18, 2026
- Notes: round 189
  
  tautschnig
  and
  kiro-agent
  committed
  9223514
- C++: expand a compound-type pack pattern in a substituted template argument
  
  tautschnig
  and
  kiro-agent
  committed
  50a8363
- C++ library models: libc++'s std::to_string for integers
  
  tautschnig
  and
  kiro-agent
  committed
  7823e94
- C++ constexpr: a const integral variable is usable in constant expressions
  
  tautschnig
  and
  kiro-agent
  committed
  a093daf
- C++: initializing an empty base subobject stores nothing
  
  tautschnig
  and
  kiro-agent
  committed
  6a61290
- cbmc-cpp: cpp11_std_bind_invocable_traits_first needs libstdc++
  
  tautschnig
  and
  kiro-agent
  committed
  21447a1
- C++ parser: a non-type template parameter pack of pointer or reference type
  
  tautschnig
  and
  kiro-agent
  committed
  f11a79d
- C++: a class with a constructor template is not an aggregate
  
  tautschnig
  and
  kiro-agent
  committed
  98d917a
- C++: [over.best.ics]/4.5 for return {{...}}
  
  tautschnig
  and
  kiro-agent
  committed
  8083a4a
- C++ library models: libc++'s std::stoi to std::stoull
  
  tautschnig
  and
  kiro-agent
  committed
  4a3a43d
- cbmc-cpp: tag ten more tests gnu-extensions
  
  tautschnig
  and
  kiro-agent
  committed
  b877b2b
- cbmc-cpp: run cpp98_dynamic_cast_reference_throws_bad_cast as C++11
  
  tautschnig
  and
  kiro-agent
  committed
  03d208a
- C++ parser: a type-constraint qualified from the global namespace
  
  tautschnig
  and
  kiro-agent
  committed
  caf1aba
- C++: match a member template's out-of-line definition by signature first
  
  tautschnig
  and
  kiro-agent
  committed
  2e1b84b
- Notes: round 190
  
  tautschnig
  and
  kiro-agent
  committed
  c14906c
- C++: name the parameters of a this-adjusting virtual thunk
  
  tautschnig
  and
  kiro-agent
  committed
  9c61193
- C++: the injected-class-name in an out-of-class member definition
  
  tautschnig
  and
  kiro-agent
  committed
  7c0d2b5
- C++: a member template's definition is not a same-arity member's
  
  tautschnig
  and
  kiro-agent
  committed
  4c72776
- C++: assignment operator templates of a POD class
  
  tautschnig
  and
  kiro-agent
  committed
  83db5f1
- C++: a trailing non-type pack not otherwise deduced is empty
  
  tautschnig
  and
  kiro-agent
  committed
  dffee27
- C++: a redeclared deduced return type under a reference declarator
  
  tautschnig
  and
  kiro-agent
  committed
  ea2b446
Commits on Oct 19, 2026
- C++: no built-in comparison of class-type operands
  
  tautschnig
  and
  kiro-agent
  committed
  047b68e
- Notes: round 191
  
  tautschnig
  and
  kiro-agent
  committed
  28733b0
- C++: a hidden friend template is found only by argument-dependent lookup
  
  tautschnig
  and
  kiro-agent
  committed
  b931999
- C++: prefer a member template definition only among its own class's
  
  tautschnig
  and
  kiro-agent
  committed
  74b629a
- Value sets: find a field-sensitive member read through a member expression
  
  tautschnig
  and
  kiro-agent
  committed
  da6effb
- cbmc-cpp: KNOWNBUG for a template lambda with a reference parameter
  
  tautschnig
  and
  kiro-agent
  committed
  cc2ddd8
- Notes: round 192
  
  tautschnig
  and
  kiro-agent
  committed
  a636368
- cbmc-cpp: spell the size type portably in two tests
  
  tautschnig
  and
  kiro-agent
  committed
  2811331
- Visual Studio layout: align a base subobject, not its members
  
  tautschnig
  and
  kiro-agent
  committed
  cf3aa04
- cbmc-cpp: do not assume a 4-byte wchar_t
  
  tautschnig
  and
  kiro-agent
  committed
  05d033c
- cbmc-cpp: do not assume a 32-bit wchar_t in a concepts test
  
  tautschnig
  and
  kiro-agent
  committed
  b115fd9
- C++: list-initialization of an enumeration with a fixed underlying type
  
  tautschnig
  and
  kiro-agent
  committed
  0fc2069
- C++: explicit specializations of array variable templates
  
  tautschnig
  and
  kiro-agent
  committed
  fc1a500
- C++: an explicit specialization of a variable template is not a partial one's instance
  
  tautschnig
  and
  kiro-agent
  committed
  65f260b
- C++ overload resolution: compare reference bindings before preferring a non-template
  
  tautschnig
  and
  kiro-agent
  committed
  ada851c
- C++: a hidden friend template's parameter types may name the enclosing parameters
  
  tautschnig
  and
  kiro-agent
  committed
  fa29123
- C++ deduction: a compound pack pattern deduces the pack's elements from it
  
  tautschnig
  and
  kiro-agent
  committed
  ee0f7f4
- C++ deduction: expand the enclosing class's packs in a member template's parameters
  
  tautschnig
  and
  kiro-agent
  committed
  460ec4f
- C++ deduction: a function template's own packs hide same-named context packs
  
  tautschnig
  and
  kiro-agent
  committed
  e000849
- C++: expand call-argument packs in a decltype nested-name-specifier
  
  tautschnig
  and
  kiro-agent
  committed
  5282c9f
- C++: complete a class template's static member array bound from its initializer
  
  tautschnig
  and
  kiro-agent
  committed
  d6df6ad
- C++: no scalar binding for a multi-element pack of a partial specialization
  
  tautschnig
  and
  kiro-agent
  committed
  a75dc85
- C++ ADL: the base classes of an argument's class are associated
  
  tautschnig
  and
  kiro-agent
  committed
  4bc05d9
- Notes for round 193
  
  tautschnig
  and
  kiro-agent
  committed
  aedc644
- C++: sizeof of a subscript of a class object
  
  tautschnig
  and
  kiro-agent
  committed
  2ba48e3
- C++: dereference a cast to a reference to a pointer
  
  tautschnig
  and
  kiro-agent
  committed
  459d8a3
- cbmc-cpp: KNOWNBUG for a discarded return in placeholder deduction; broken-msvc-stl
  
  tautschnig
  and
  kiro-agent
  committed
  74be550
- C++: a constexpr static data member of class type is const
  
  tautschnig
  and
  kiro-agent
  committed
  55fbabe
- cbmc-cpp: run the std::span tests with the MSVC STL
  
  tautschnig
  and
  kiro-agent
  committed
  02c55df
Commits on Oct 20, 2026
- C++: fold reads of constexpr objects in a requires-clause
  
  tautschnig
  and
  kiro-agent
  committed
  5d19d14
- C++ deduction: an explicit template template argument in P
  
  tautschnig
  and
  kiro-agent
  committed
  089366e
- C++: check a member template's trailing requires-clause with its own parameters
  
  tautschnig
  and
  kiro-agent
  committed
  4a0d1bd
- C++ parser: requires-expression parameters are parameter declarations
  
  tautschnig
  and
  kiro-agent
  committed
  f0a9885
- C++: keep the cv-qualifiers of a named parameter pack's pattern
  
  tautschnig
  and
  kiro-agent
  committed
  c432113
- C++: type-constraints of a conversion function template's parameters
  
  tautschnig
  and
  kiro-agent
  committed
  e1dea72
- C++: an explicit conversion function template is not used in copy-initialization
  
  tautschnig
  and
  kiro-agent
  committed
  7c498e6
- C++: a parenthesized aggregate initialization copy-initializes its elements
  
  tautschnig
  and
  kiro-agent
  committed
  abe37e3
- C++: a function template's empty pack binding ends with its declaration
  
  tautschnig
  and
  kiro-agent
  committed
  d7796bc
- C++: a trailing requires-clause reuses the parameters already in scope
  
  tautschnig
  and
  kiro-agent
  committed
  f180875
- cbmc-cpp: run cpp20_ranges_basic with the MSVC STL; drop broken-msvc-stl
  
  tautschnig
  and
  kiro-agent
  committed
  c79d65d
- C++ deduction: the parameters of a pointer to member function type
  
  tautschnig
  and
  kiro-agent
  committed
  342b85a
- Visual Studio preprocessing: use the MSVC STL's non-vectorized algorithms
  
  tautschnig
  and
  kiro-agent
  committed
  83f1a30
- C++ parser: a non-type parameter pack of a qualified type
  
  tautschnig
  and
  kiro-agent
  committed
  82deac5
- C++ parser: declare a non-type parameter of a qualified type to the scope
  
  tautschnig
  and
  kiro-agent
  committed
  a5d72c4
- C++: static_cast to a class may use an explicit constructor
  
  tautschnig
  and
  kiro-agent
  committed
  b2e641d
- C++ Visual Studio mode: declare the MSVC STL's character intrinsics
  
  tautschnig
  and
  kiro-agent
  committed
  46437ea
- C++ deduction: a template template parameter deduces the template
  
  tautschnig
  and
  kiro-agent
  committed
  d999e3b
- C++: a call with dependent qualified arguments as a template argument
  
  tautschnig
  and
  kiro-agent
  committed
  6608d9e
- C++: __is_assignable of a class checks the operator= call
  
  tautschnig
  and
  kiro-agent
  committed
  b9adeff
- Visual Studio mode: __is_assignable_no_precondition_check
  
  tautschnig
  and
  kiro-agent
  committed
  08d9daa
- Notes for round 194
  
  tautschnig
  and
  kiro-agent
  committed
  e3930d6
- C++ deduction: factor out matching a template template parameter
  
  tautschnig
  and
  kiro-agent
  committed
  b9ea7b8
- cbmc-cpp: std::format test is CORE again
  
  tautschnig
  and
  kiro-agent
  committed
  4f74be9
- C++: cite [temp.arg.general]/3 for the type-id/expression ambiguity
  
  tautschnig
  and
  kiro-agent
  committed
  46e5781
- C++ partial ordering: a non-dependent part of P must equal A
  
  tautschnig
  and
  kiro-agent
  committed
  2b0ffc2
- C++: a stale parameter symbol does not hide a function parameter pack
  
  tautschnig
  and
  kiro-agent
  committed
  a8f3559
- C++: an rvalue reference binds to a temporary of a braced scalar prvalue
  
  tautschnig
  and
  kiro-agent
  committed
  679e97a
- C++: a top-level const parameter does not change a function template's signature
  
  tautschnig
  and
  kiro-agent
  committed
  63b0fe4
- C++: pointer arithmetic instantiates the pointee class template
  
  tautschnig
  and
  kiro-agent
  committed
  fae90dc
- C++20: a lambda's template-parameter-list is its operator()'s
  
  tautschnig
  and
  kiro-agent
  committed
  5b92cde
- C++: a lambda's lowered call operator is evaluated in constant expressions
  
  tautschnig
  and
  kiro-agent
  committed
  10b94cc
- C++20: select the destructor among constrained prospective destructors
  
  tautschnig
  and
  kiro-agent
  committed
  959a02a
- C++17: class template argument deduction for `C{}' without arguments
  
  tautschnig
  and
  kiro-agent
  committed
  e9a67f2
- C++: find the closure type of a lambda in a template specialization
  
  tautschnig
  and
  kiro-agent
  committed
  bbff2ef
- C++: a member's trailing return type names its parameters
  
  tautschnig
  and
  kiro-agent
  committed
  5975c23
- C++: a friend function defined outside its class is not in its scope
  
  tautschnig
  and
  kiro-agent
  committed
  8db665f
- C++: compare the referred objects of reference-typed operands
  
  tautschnig
  and
  kiro-agent
  committed
  4d482a6
- C++: KNOWNBUG for an alias template parameter shadowed by a later name
  
  tautschnig
  and
  kiro-agent
  committed
  ab648ca
Commits on Oct 21, 2026
- Notes for round 195
  
  tautschnig
  and
  kiro-agent
  committed
  671b606
- C++: a template parameter is found before the template's using scope
  
  tautschnig
  and
  kiro-agent
  committed
  e99acef
- C++: a function type's trailing return type names its parameters
  
  tautschnig
  and
  kiro-agent
  committed
  6282454
- C++: a data member of reference-to-function type
  
  tautschnig
  and
  kiro-agent
  committed
  5a6ebff
- C++: a friend declaration does not bind the function's name
  
  tautschnig
  and
  kiro-agent
  committed
  06d1848
- C++: check the access of members of classes in a namespace
  
  tautschnig
  and
  kiro-agent
  committed
  025e964
- C++ library models: the classic ctype<char> facet of libc++ and MSVC
  
  tautschnig
  and
  kiro-agent
  committed
  5f8dfcf
- Simplifier: merge all constant operands of a bitwise operator
  
  tautschnig
  and
  kiro-agent
  committed
  c6c5eba
- C++: typeid's integer name of libc++'s non-unique ARM RTTI is unique
  
  tautschnig
  and
  kiro-agent
  committed
  a99fbc2
- C++: member function templates that differ only in the return type
  
  tautschnig
  and
  kiro-agent
  committed
  5b52ac7
- cbmc-cpp: two vector tests need more than 256 objects with libc++ 17
  
  tautschnig
  and
  kiro-agent
  committed
  c311413
Commits on Oct 22, 2026
- C++17: `auto x{e}' deduces the type of e
  
  tautschnig
  and
  kiro-agent
  committed
  429a732
- Notes for round 196
  
  tautschnig
  and
  kiro-agent
  committed
  dfac5ff
- Byte-operator lowering: a negative constant offset
  
  tautschnig
  and
  kiro-agent
  committed
  96823f7
- C++ constant evaluation: assign to elements of member arrays
  
  tautschnig
  and
  kiro-agent
  committed
  0b29150
- C++ library models: the MSVC runtime's filesystem string conversions
  
  tautschnig
  and
  kiro-agent
  committed
  ae870e6
- C++: expand a deduced pack outside constant expressions
  
  tautschnig
  and
  kiro-agent
  committed
  c07ba10
- C library: link the model of _InterlockedIncrement
  
  tautschnig
  and
  kiro-agent
  committed
  eca287a
- goto conversion: deleting a null pointer calls no destructor
  
  tautschnig
  and
  kiro-agent
  committed
  4a6d2c1
- C++ library models: the MSVC runtime's global locale implementation
  
  tautschnig
  and
  kiro-agent
  committed
  3f257a6
- Notes for round 197
  
  tautschnig
  and
  kiro-agent
  committed
  25e5ae0

Commits

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026

Commits on Oct 17, 2026

Commits on Oct 18, 2026