-
Nils Goroll authored
I have tried hard to make value tracking understand the code, but to no avail. It seems, for example assert(n <= 56) and later assert(n > 0) will just lead to flexelint knowning 1? but not 56 as the limit.
I have tried hard to make value tracking understand the code, but to no avail. It seems, for example assert(n <= 56) and later assert(n > 0) will just lead to flexelint knowning 1? but not 56 as the limit.