[PATCH] D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware added a comment.

Since modifications of the infrastructure are always error-prone I tried to generate tests to have full coverage for smaller numbers. However for full coverage I need type `signed char` and `unsigned char`, but these tests failed because of this bug: Bug 39138 <https://bugs.llvm.org/show_bug.cgi?id=39138>. If that bug is fixed we can have full coverage for both `signed` and `unsigned char` types which is more than enough. Of course the generated test should not be part of the standard test suite because of its execution time.


https://reviews.llvm.org/D49074