I've found a problem and I think it might be an eclipse bug. Please see my attachment.
I am on redhat 5 x64 running juno. The following code prints out checkpoint2. However, eclipse grayed out checkpoint1 and checkpoint2 . Appraently, eclipse uses a different ULONG_MAX value as from the gcc compiler. Is this a bug from eclipse?
#include <stdio.h>
#include <limits.h>
int main()
{
printf("%llu\n", (unsigned long long) ULONG_MAX);
/* prints 18446744073709551615 and checkpoint2 */
/* but hover mouse over, the ULONG_MAX shows (9223372036854775807L * 2UL + 1UL) */