[analyzer] Why this null pointer dereference error doesn't report


The code sample as below:


We have a heuristic that is used to suppress common false positives. Specifically, the function may never return ‘0’ when called from the given call site. It is not the case here, but the heuristic is coarse grained and would benefit from tuning… See -suppress-null-return-paths.