Message 163303 - Python tracker

Message163303

Author	regehr
Recipients	cvrebert, eric.smith, jcea, mark.dickinson, python-dev, regehr, skrah
Date	2012-06-21.04:07:50
SpamBayes Score	-1.0
Marked as misclassified	Yes
Message-id	<1340251672.73.0.669036298693.issue9530@psf.upfronthosting.co.za>
In-reply-to

Content
I the tests for today's cpython using IOC and got only the issues below. The on-purpose divide by zero should be OK but the shift by -2 probably wants to be fixed. ARITHMETIC UNDEFINED at </home/regehr/tmp/cpython/Modules/_ctypes/cfield.c, (589:5)> : Op: <<=, Reason : Signed Left Shift: Right operand is negative or is greater than or equal to the width of the promoted left operand, BINARY OPERATION: left (int32): 0 right (int32): -2 ARITHMETIC UNDEFINED at <./Modules/faulthandler.c, (844:11)> : Op: /, Reason : Signed Division: Divisor is 0 \|\| divident is INT_MIN, divisor is -1, BINARY OPERATION: left (int32): 1 right (int32): 0 version info: regehr@home:~/tmp/cpython$ ./python Python 3.3.0a4+ (default:24369f6c4a22+, Jun 20 2012, 16:41:04) [GCC 4.2.1 Compatible Clang 3.1 ((branches/release_31))] on linux Type "help", "copyright", "credits" or "license" for more information.

Content

I the tests for today's cpython using IOC and got only the issues below.

The on-purpose divide by zero should be OK but the shift by -2 probably wants to be fixed.

ARITHMETIC UNDEFINED at </home/regehr/tmp/cpython/Modules/_ctypes/cfield.c, (589:5)> : Op: <<=, Reason : Signed Left Shift: Right operand is negative or is greater than or equal to the width of the promoted left operand, BINARY OPERATION: left (int32): 0 right (int32): -2 

ARITHMETIC UNDEFINED at <./Modules/faulthandler.c, (844:11)> : Op: /, Reason : Signed Division: Divisor is 0 || divident is INT_MIN, divisor is -1, BINARY OPERATION: left (int32): 1 right (int32): 0 


version info:

regehr@home:~/tmp/cpython$ ./python 
Python 3.3.0a4+ (default:24369f6c4a22+, Jun 20 2012, 16:41:04) 
[GCC 4.2.1 Compatible Clang 3.1 ((branches/release_31))] on linux
Type "help", "copyright", "credits" or "license" for more information.

History
Date	User	Action	Args
2012-06-21 04:07:53	regehr	set	recipients: + regehr, jcea, mark.dickinson, eric.smith, cvrebert, skrah, python-dev
2012-06-21 04:07:52	regehr	set	messageid: <1340251672.73.0.669036298693.issue9530@psf.upfronthosting.co.za>
2012-06-21 04:07:52	regehr	link	issue9530 messages
2012-06-21 04:07:50	regehr	create