1 /* bug-435214.c 2 */ 3 #include <testfwk.h> 4 divide(long a)5 unsigned long divide(long a) 6 { 7 return a/512ul; 8 } 9 10 void testDivide(void)11 testDivide(void) 12 { 13 ASSERT(divide(1300) == 2); 14 ASSERT(divide(0x12345678) == 0x91A2B); 15 } 16 17