[clang] [analyzer] Model concrete floating-point values (PR #214098)

[Balázs Benics via cfe-commits]

https://github.com/steakhal commented:

I circled back. Looked at the tests and I think this is great. Really impressive.

I thought it would take a lot more work to bring floating point support - even at this limited level - to the engine.

Thank you for working on this.

After looking through the tests I think I can see that there are multiple fp semantics but then the question is if we could bring the sval explainer to support all of these?

https://github.com/llvm/llvm-project/pull/214098