Title
Clarify rounding for arithmetic right shift
Status
drwp
Section
7.6.7 [expr.shift]
Submitter
Jan Schultke

Created on 2023-04-07.00:00:00 last changed 11 months ago

Messages

Date: 2023-05-12.20:59:33

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 down towards negative infinity.
Date: 2023-06-15.00:00:00

[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".

History
Date User Action Args
2023-12-19 10:15:28adminsetstatus: dr -> drwp
2023-07-16 13:00:43adminsetstatus: ready -> dr
2023-05-12 20:59:33adminsetstatus: open -> ready
2023-05-01 14:25:35adminsetmessages: + msg7267
2023-04-07 00:00:00admincreate