[PATCH] D28954: [analyzer] Add support for symbolic float expressions

[Dominic Chen via Phabricator via cfe-commits]

ddcc added a comment.

- This patch introduces a virtual overloaded `llvm::APFloat getSymVal()` for returning the value of known floating-point constants. In the long term, both `getSymVal()` functions should probably be refactored to return something like a `llvm::Con
- There are also long-term issues with the flexibility of the `SymExpr` class. Currently, this patch adds two `SymFloatExpr` and `FloatSymExpr` subclasses, but this isn't expressive enough for certain types of symbolic queries. For example, the current implementation checks whether a floating-point value is `NaN` by comparing whether `V == V`, which should only be false for `NaN`. It would be better to add support for special queries for whether a value is NaN, positive infinity, negative infinity, etc.


https://reviews.llvm.org/D28954