Title
`simd::unchecked_load` misses difference type casting
Status
new
Section
[simd.loadstore]
Submitter
Hewill Kang

Created on 2025-09-29.00:00:00 last changed 1 week ago

Messages

Date: 2025-10-03.14:57:23

Proposed resolution:

This wording is relative to N5014.

  1. In subclause [simd.loadstore] replace all occurrences of

    R(first, n)
    

    by

    R(first, static_cast<size_t>(n))
    
Date: 2025-09-29.00:00:00

Currently, `simd::unchecked_load`/`partial_load`/`unchecked_store`/`partial_store` construct a `span` via `span(first, n)` when taking an iterator `first` and its difference type `n`.

However, the construction is ill-formed when the difference type is an integer-class type; we should perform an explicit casting here.

History
Date User Action Args
2025-10-03 14:57:23adminsetmessages: + msg15102
2025-09-29 00:00:00admincreate