This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
[Accepted as a DR at the June, 2023 meeting.]
(From editorial issue 6225.)
Subclause 7.6.7 [expr.shift] paragraph 3 specifies:
The value of E1 >> E2 is E1/2E2, rounded down.
It is unclear whether "rounded down" means "towards zero" or "towards negative infinity".
Proposed resolution (approved by CWG 2023-05-12):
Change in 7.6.7 [expr.shift] paragraph 3 as follows:
The value of E1 >> E2 is E1/2E2, rounded