[PATCH] D35450: [analyzer] Support generating and reasoning over more symbolic constraint types
Dominic Chen via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jul 17 10:01:55 PDT 2017
ddcc added a comment.
As an update, after fixing the typo and updating the tests, the assertion in `range_casts.c` is no longer triggered and everything seems fine now.
More information about the cfe-commits