If you run the following code, you will find that Forte 6 Update 2 (patched) thinks that the maximum value of a 64 bit integer is zero. The same results with long long or unsigned long long.
#include <limits>
#include <iostream>
#include <inttypes.h>
using namespace std;
int main(int argc, char * argv[])
{
std::cout << "int32_t: " << numeric_limits<int32_t>::max() << std::endl;
std::cout << "uint32_t: " << numeric_limits<uint32_t>::max() << std::endl;
std::cout << "int64_t: " <<numeric_limits<int64_t>::max() << std::endl;
std::cout << "uint64_t: " <<numeric_limits<uint64_t>::max() << std::endl;
std::cout << "long long: " <<numeric_limits<long long>::max() << std::endl;
std::cout << "unsigned long long: " <<numeric_limits<unsigned long long>::max() << std::endl;
return 0;
}
Results:
int32_t: 2147483647
uint32_t: 4294967295
int64_t: 0
uint64_t: 0
long long: 0
unsigned long long: 0