Fixed #4389 (False positive: Possible null pointer dereference if the default parameter value is used)