...
Correcting this example depends on the intent of the programmer. For instance, if dereferencing p was done on accidenta mistake, then p should not be dereferenced.
...
The Coverity Prevent NO_EFFECT checker finds statements or expressions that do not accomplish anything, or statements that perform an unintended action. Coverity Prevent cannot discover all violations of this rule so further verification is necessary.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...