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

[Balázs Benics via cfe-commits]

================
@@ -0,0 +1,48 @@
+// RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux-gnu -std=c++17 \
+// RUN:   -analyzer-checker=core,debug.ExprInspection \
+// RUN:   -analyzer-config eagerly-assume=false -verify %s
----------------
steakhal wrote:

I also don't think we need `eagerly-assume=false` - the test doesn't have any branches.

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