RFR: 8299213: Bad cast in GrowableArrayWithAllocator<>::grow
Kim Barrett
kbarrett at openjdk.org
Mon Jan 16 18:00:14 UTC 2023
On Mon, 16 Jan 2023 09:51:01 GMT, Johan Sjölen <jsjolen at openjdk.org> wrote:
> ```
> // precondition: if signed, value >= 0.
> // precondition: value < maximum power of two representable by T.
> template <typename T, ENABLE_IF(std::is_integral<T>::value)>
> inline T next_power_of_2(T value) {
> ```
>
> So this should require an assert that `j >= 0`.
`next_power_of_2` already has that as a precondition that the argument is >= 0 if signed. And it's (indirectly) asserted.
-------------
PR: https://git.openjdk.org/jdk/pull/12007
More information about the hotspot-dev
mailing list