Charusso added a comment. In https://reviews.llvm.org/D53076#1276270, @george.karpenkov wrote:
> @NoQ has a good point: we need to preserve the distinction between the things > analyzer "assumes" and the things analyzer "knows". Yes, but I think it should be a new patch because I would like to add a value-dump method on integers/booleans and stuff I already mentioned in the beginning. https://reviews.llvm.org/D53076 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
