Defines a prototype checker in the Clang Static Analyzer for proper definition/use of time.h related functionality. The intention for this work is to audit user code for identifying potential issues in the light of the "Year 2038" (aka: "Y2K38") problem.
0. Warn if the time_t type is not defined to be a signed integer type, at-least 64-bits in size, having file scope. When the size of the time_t type is less than 64-bits, report the actual size in the warning.
- Warn when a time_t value is cast to: a. A non-integer type. b. An integer type of lesser width. c. An unsigned integer type.