value flow: Fixed FP in ?: