Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Incorrect long quot result involving Long/MIN_VALUE

Description

Similar issue to and CLJ-1253, with the same root cause as described for CLJ-1225. Ticket filed separately from for long division / because the desired fix may be quite different in this case.

Rich Hickey stated in a comment on that this case should throw an exception.

Question: For inc (which throws when given input Long/MAX_VALUE) there is an auto-promoting inc' and an unchecked-inc. quot now throws an exception in this case. Should there be an auto-promoting quot' and an unchecked-quot?

Environment

None

Attachments

1

Activity

Show:

Alex Miller October 5, 2014 at 4:23 AM

quot should throw an an exception on overflow
quot' (I assume not divide' ?) should be added to autopromote on overflow
unchecked-divide should be added to do what quot does now - see

Andy Fingerhut November 23, 2013 at 6:59 AM

Patch clj-1254-2.diff is identical to clj-1254-v1.txt except it applies cleanly to latest master. The only changes were in the context of the lines that were changed, due to a recent commit made.

Andy Fingerhut September 6, 2013 at 4:55 PM

Patch clj-1254-v1.txt causes (quot Long/MIN_VALUE -1) to throw an exception due to overflow of the result, if the arguments are both long.

Unlike inc, which has auto-promoting version inc' and unchecked version unchecked-inc, there is no auto-promoting quot' and unchecked unchecked-quot. This patch does not add one.

Should quot' and unchecked-quot be added? If so, this ticket or a separate one?

Details

Assignee

Reporter

Labels

Approval

Triaged

Patch

Code and Test

Priority

Affects versions

Created September 6, 2013 at 2:41 PM
Updated October 5, 2014 at 4:23 AM