Fixed #4510 (False positive: "Possible null pointer dereference if the default parameter value is used" after init)