tree f880bf4daa1bafb84eb97f52d43760931d7c01f9
parent bd8cb9b59b661d4a1e407403a5dbb5d98227876d
author Petr Hosek <phosek@google.com> 1617040195 -0700
committer Copybara-Service <copybara-worker@google.com> 1618252009 -0700

[libcxx] Use integer division

In Python 3, math.floor returns int when both arguments are ints.
In Python 2, math.floor returns float. This leads to a failure
because the result of math.floor is used as an array index. While
Python 2 is on its way out, it's still used in some places so use
an integer division instead.

Differential Revision: https://reviews.llvm.org/D99520

GitOrigin-RevId: bc4d3ca7bd4401daafc22747ed952208cf18cba9