<div dir="ltr">[ptr.align] specifies that `std::assume_aligned` throws *nothing*, so why isn&#39;t it already marked as `noexcept`?<div>Current signature:</div><div>`template<span class="gmail-">
[[nodiscard]] constexpr T* assume_aligned(T* ptr);`</span></div><div><span class="gmail-">Proposed signature:</span></div><div><span class="gmail-">`template<span class="gmail-">
[[nodiscard]] constexpr T* assume_aligned(T* ptr) noexcept;`</span></span></div><div><span class="gmail-"><br></span></div><div><span class="gmail-">Impact on the standard: none</span></div><div><span class="gmail-">Implementation: add noexcept specifier   </span></div><div><span class="gmail-"><br></span></div><div><span class="gmail-">Reason: Better codegen on some compilers with exceptions (because of noexcept), after all this function is meant to be an optimisation point. Another smaller reason to use this function is noexcept functions, because some static analysers are not happy with using not noexcept functions in noexcept context...</span></div><div><span class="gmail-"><br></span></div><div><span class="gmail-">Tymi.</span></div></div>

