[polly] r271128 - Determination of statements that contain matrix multiplication

Michael Kruse via llvm-commits llvm-commits at lists.llvm.org
Thu Jun 2 10:06:00 PDT 2016


2016-06-02 17:20 GMT+02:00 Mehdi Amini <mehdi.amini at apple.com>:
>> I find a different possible underflow with the expression "DimNum -
>> 1", as DimNum is unsigned. Might happen if the map has 0 range
>> dimensions which probably never happens.
>
> Yes it seems that it is what Coverity is reporting, feel free to ignore if you think it's fine.

An assert() or "if (DimNum == 0) return IslMap" could still be useful.
Because I don't know the context in which the function is used, I
leave it to Roman if he wants to change it.

Michael


More information about the llvm-commits mailing list