[PATCH] D35450: [analyzer] Support generating and reasoning over more symbolic constraint types

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added a comment.
Herald added subscribers: a.sidorin, zzheng, rnkovacs, szepet.
Herald added a reviewer: george.karpenkov.

@ddcc Hi, are you still interested in landing the fixes associated with this patch? I can take a look as I'm currently reviewing https://reviews.llvm.org/D45517, but it is likely that the patch would need to be changed substantially before it could land.


https://reviews.llvm.org/D35450