It seems that if bit 48 or above is set then there's a problem with printf
producing binary, shown by the short program below. If bit 56 or above is set
then the problem is more severe. Any chance of a fix? :)
Carl.
#include <stdio.h>
int main(int argc, char* argv[]){
int i;
unsigned long long b;
for( i=48; i<56; ++i) {
b= 1ULL << i;
printf("%064llb\n%llu\n", b, b);
}
return 0;
}

It seems that if bit 48 or above is set then there's a problem with printf
producing binary, shown by the short program below. If bit 56 or above is
set
then the problem is more severe. Any chance of a fix? :)
Carl.
#include <stdio.h>
int main(int argc, char* argv[]){
int i;
unsigned long long b;
for( i=48; i<56; ++i) {
b= 1ULL << i;
printf("%064llb\n%llu\n", b, b);
}
return 0;
}