1 /* bug1399290.c
2  */
3 #include <testfwk.h>
4 
5 unsigned long Left = 0x12345678;
6 
7 void
testLongPlus(void)8 testLongPlus(void)
9 {
10 	static unsigned long Result;
11 	static unsigned long Rhs = 0x87654321;
12 	static unsigned long *Lhs = &Left;
13 
14 	Result = *Lhs + Rhs;
15 	ASSERT (Result == 0x99999999);
16 }
17