[PATCH] D28955: [analyzer] Enable support for symbolic extension/truncation

[Ryan Govostes via Phabricator via cfe-commits]

rgov added a comment.

Are all the changes here related to the extension/truncation support, for instance the changes to `test/Analysis/malloc.c`? Can you move misc. cleanup changes to another review?


https://reviews.llvm.org/D28955