Hey Kevin,
This is a duplicate of this report: S5411 FP after doing a null check. I answered it there.
Cheers, Marco