Casey Carter

Sporadic STL-ASan-CI x86 AVs

2

In STL-ASan-CI runs, seemingly random x86 test cases fail with exit code 3221225477 (0xC0000005) indicating an Access Violation. Let's track sporadic AVs here and see if there's a pattern. Note...

<type_traits>: aligned_storage has incorrect alignment defaults

4

[[tab:meta.trans.other]](http://eel.is/c++draft/meta.trans.other#sentence-6) specifies that default-alignment in ```c++ template struct aligned_storage; ``` "shall be the most stringent alignment requirement for any C++ object type whose size is no greater than `Len`". Since...

`<algorithm>`: unqualified calls to `_Adl_verify_range` incorrectly cause instantiation

3

Our implementation rejects this well-formed program (derived from the libc++ test that fails because of this bug): ```c++ #include #include struct incomplete; template struct wrapper { T t; }; int...

Many call operators (`operator()`) can be `static` when `defined(__cpp_static_call_operator)`

1

Clang 16 supports `static operator()` and defines `__cpp_static_call_operator` in all of our supported language modes, with a suppressible warning "before" C++23. (MSVC will eventually provide similar support in all language...

Configurable top-level namespace (for standalone)

19

As you probably already know, MSVC uses Boost Math to implement the C++17 mathematical special functions. (My gratitude and joy over this fact cannot be expressed with words - I...

`<xstring>`: `basic_string` could handle insert aliasing without allocating in some common cases

4

Notably: 1. Given a range of contiguous iterators we can directly determine if it aliases the string contents. 2. Given a sized or forward range that will fit in available...

There's a regression in the latest Intellisense compiler, we'll avoid the problem until it's fixed. Tracked as VSO-2208356. This mirrors the STL portion of MSVC-PR-571275.

https://blog.trailofbits.com/2024/09/10/sanitize-your-c-containers-asan-annotations-step-by-step/ talks about some great work the LLVM folks have been doing enabling more ASan annotations in libc++. Notably they mention using new APIs added to the ASan runtime to...

Clang 18+ `/fp:fast` emits `-Wnan-infinity-disabled` in `VSO_0000000_vector_algorithms_floats`

7

All 8 `clang-cl /fp:fast` configs have the same issue. For example: Error log for clang-cl /fp:fast /MT without /D_USE_STD_VECTOR_ALGORITHMS=0 FAIL: std :: tests/VSO_0000000_vector_algorithms_floats:16 (6 of 24) ******************** TEST 'std ::...

We've been bitten by bugs in the deceptively simple `search_n` algorithm in the past, and `ranges::search_n` makes some slightly different implementation choices from `std::search_n`. It would raise confidence in the...