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

[Balázs Benics via cfe-commits]

================
@@ -0,0 +1,39 @@
+// _Float16 and __bf16 are both 16 bits wide but have different semantics, so
+// the same bit pattern denotes different values in each.
+//
+// RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux-gnu \
+// RUN:   -analyzer-checker=core,debug.ExprInspection \
+// RUN:   -analyzer-config eagerly-assume=false -verify %s
----------------
steakhal wrote:

Why is `eagerly-assume=false` if we don't have any branches in the tests?

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