Home My Page Projects MPC (Multiple Precision Complex)
Summary Activity Tracker Lists Tasks SCM

[#10838] integer undefined behaviors

Date:
2010-08-04 04:24
Priority:
3
State:
Closed
Submitted by:
John Regehr (regehr)
Assigned to:
Paul Zimmermann (zimmerma)
Category:
none
Group:
none
Resolution:
Fixed
Summary:
integer undefined behaviors

Detailed description
The following list contains operations undefined by the C language that are performed by MCP during a "make check". I used the SVN head from Aug 3 2010.

<acos.c, (213:10)> : Op: -=, Reason : Signed Subtraction Overflow, BINARY OPERATION: left (int32): 2 right (int32): -2147483647

<atan.c, (335:21)> : Op: -, Reason : Signed Subtraction Overflow, BINARY OPERATION: left (int32): 7 right (int32): -2147483647

<atan.c, (336:17)> : Op: -, Reason : Signed Subtraction Overflow, BINARY OPERATION: left (int32): 3 right (int32): -2147483647

<tan.c, (233:23)> : Op: *, Reason : Signed Multiplication Overflow, BINARY OPERATION: left (int32): 2 right (int32): -2147483645

<tan.c, (233:23)> : Op: -, Reason : Signed Subtraction Overflow, BINARY OPERATION: left (int32): -2147483645 right (int32): 6

<tan.c, (234:42)> : Op: +, Reason : Signed Addition Overflow, BINARY OPERATION: left (int32): 5 right (int32): 2147483646
Message  ↓
Date: 2010-08-31 13:17
Sender: Paul Zimmermann

This should be fixed with revision 817.

Date: 2010-08-30 19:10
Sender: Andreas Enge

Do you have more information on how to reproduce this problem? What is your environment? I am testing mpc on gnu/linux on a 32 bit x86 processor, and all tests pass without problems.

Field Old Value Date By
ResolutionNone2010-09-01 13:46enge
status_idOpen2010-09-01 13:46enge
assigned_tonone2010-09-01 13:46enge
close_date2010-09-01 13:462010-09-01 13:46enge