Nicolas Cellier uploaded a new version of KernelTests to project The Trunk:
http://source.squeak.org/trunk/KernelTests-nice.231.mcz

==================== Summary ====================

Name: KernelTests-nice.231
Author: nice
Time: 31 August 2012, 11:01:26.531 pm
UUID: fb87513c-6c77-42a4-bd01-2d2b12acf8b8
Ancestors: KernelTests-cmm.230

Add a test for (1<<63) negated arithmetic bugs

=============== Diff against KernelTests-cmm.230 ===============

Item was added:
+ ----- Method: LargeNegativeIntegerTest>>testMinimumNegativeIntegerArithmetic (in category 'tests') -----
+ testMinimumNegativeIntegerArithmetic
+ 	"We are speaking of minimum integer in underlying hardware here.
+ 	In 2-complement, abs(INT_MIN) = (INT-MAX+1) and thus overflows hardware register.
+ 	Since some old VM forgot this edge case they may fail and it's better to be aware of it.
+ 	http://code.google.com/p/cog/issues/detail?id=92
+ 	http://bugs.squeak.org/view.php?id=7705
+ 	We only test the cases of 32 and 64 bit signed integers."
+ 
+ 	#(32 64) do: [:nBits |
+ 		| largePositiveInt largeNegativeInt |
+ 		largePositiveInt := (1 << (nBits - 1)).
+ 		largeNegativeInt := largePositiveInt negated.
+ 		self assert: (largeNegativeInt >> 3) equals: (largeNegativeInt bitInvert >> 3) bitInvert.
+ 		self assert: (largeNegativeInt + 1) equals: (largePositiveInt - 1) negated.
+ 		self assert: (largeNegativeInt - -1) equals: (largePositiveInt - 1) negated.
+ 		self assert: (largeNegativeInt // -1) equals: largePositiveInt.
+ 		self assert: (largeNegativeInt \\ -1) equals: 0.
+ 		self assert: (largeNegativeInt rem: -1) equals: 0.
+ 		self assert: (largeNegativeInt quo: -1) equals: largePositiveInt.
+ 		self assert: (largeNegativeInt * -1) equals: largePositiveInt.
+ 		self assert: (largeNegativeInt / -1) equals: largePositiveInt]!