Declare LoopCounterSymbols nonnegative
This removed some checks like ctr1 <= 0
from my kernels
This removed some checks like ctr1 <= 0
from my kernels
Pipeline #18612 passed with warnings
Pipeline passed with warnings for 72e9b47b on seitz:LoopCounterSymbols-nonnegative
merged
mentioned in commit f9beddc6