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

Balogh, Ádám via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sun Sep 30 23:50:37 PDT 2018


baloghadamsoftware added a comment.

This also solves the  examples in the comment of bug 32911 <https://bugs.llvm.org/show_bug.cgi?id=32911>.


https://reviews.llvm.org/D49074





More information about the cfe-commits mailing list