Data Flow Analysis Incorrectly Associating Value with Register

[JoshSanch]

FYI @stravant

Found this while working on Battle for Bikini Bottom decomp (PPC architecture).

I found this instance where the Data Flow Analysis incorrectly analyzed that register f0 would always contain value 0.0f. Left photo is original assembly with DFA on, right photo is DFA off.

Not sure if it is specifically related to analysis of ternary constructs. Relevant C decompilation output (decomp.me scratch here for full func):

...
cur_fx->irate = cur_fx->rate > 0.0f ? 1.0f / cur_fx->rate : 0.0f;
...

[JoshSanch]

Just reproduced with a different function in BfBB KickBlooshBlob__9NPCHazardFPC5xVec3