search for: infinitiary

...f certain arithmetic operations in two's compliment form with respect to signedness, but from a program analysis point of view it can be very important to know whether, for example, 0xFFFFFFFF means 65535 or -1 (assuming 16 bits), particularly when values are represented by conceptually infinitiary abstract domains. There seems to be some support in the head version in the DIType class (specifically DIType::isUnsignedDIType()) for extracting this information from debug metadata, though this member function is missing in 2.9. It is also sometimes possible to infer signedness from co...