Enable opt-in assumptions about the initial values of static variables
This condition doesn't seem to be detected by PC-lint Plus:
static testt *mpdef;
static testt *mpabc;
// These manipulations should trigger a warning since both pointers are not initialized.
mpdef->one = 1;
mpabc->one = 2;
AdminAlex (Admin, Gimpel Software) commented
Thank you for your feedback. This example depends on the assumption that the static variables still have their initial values at the time of some call to "test". We will consider this behavior with respect to the main function with possible extension to other functions on an opt-in basis for a future release. The ID for this potential enhancement is PCLP-3412.