Thank you for the report @honghua!
This indeed is False Positive and I have incorported in the following ticket., that was previously discussing access to fields of the returned object, but as you have indicated, the issue is happening earlier. We do not have a specific plan to work on this ticket soon. However, we are working on an improvement for bug detection engine, and it may be addressed by other changes.