Backend const-folding checks for div-zero