Searched refs:ac_hi (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2437 ac_hi=$ac_mid; break
2441 ac_lo= ac_hi=
2464 ac_hi=-1 ac_mid=-1
2483 as_fn_arith '(' $ac_mid ')' - 1 && ac_hi=$as_val
2484 if test $ac_mid -le $ac_hi; then
2485 ac_lo= ac_hi=
2493 ac_lo= ac_hi=
2499 while test "x$ac_lo" != "x$ac_hi"; do
2500 as_fn_arith '(' $ac_hi - $ac_lo ')' / 2 + $ac_lo && ac_mid=$as_val
2516 ac_hi
[all...]

Completed in 39 milliseconds