Home
last modified time | relevance | path

Searched refs:checkDivByZero (Results 1 – 14 of 14) sorted by relevance

/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/cmd/compile/internal/test/testdata/
H A Ddivbyzero_test.go8 func checkDivByZero(f func()) (divByZero bool) { func
36 if got := checkDivByZero(func() { div_b(7, 0) }); !got {
39 if got := checkDivByZero(func() { div_b(7, 7) }); got {
42 if got := checkDivByZero(func() { div_a(4, nil) }); !got {
45 if got := checkDivByZero(func() { div_c(5) }); !got {
/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/cmd/compile/internal/gc/testdata/
H A Ddivbyzero.go10 func checkDivByZero(f func()) (divByZero bool) { func
38 if got := checkDivByZero(func() { b(7, 0) }); !got {
42 if got := checkDivByZero(func() { b(7, 7) }); got {
46 if got := checkDivByZero(func() { a(4, nil) }); !got {
50 if got := checkDivByZero(func() { c(5) }); !got {
/dports/lang/solidity/solidity_0.8.11/libsolidity/formal/
H A DBMC.h145 void checkDivByZero(BMCVerificationTarget& _target);
H A DBMC.cpp728 checkDivByZero(_target); in checkVerificationTarget()
817 void BMC::checkDivByZero(BMCVerificationTarget& _target) in checkDivByZero() function in BMC
/dports/lang/gcc10/gcc-10.3.0/libphobos/src/std/
H A Dbigint.d336 y.checkDivByZero();
345 y.checkDivByZero();
521 checkDivByZero();
989 void checkDivByZero() pure const nothrow @safe in checkDivByZero() function
/dports/lang/gcc11-devel/gcc-11-20211009/libphobos/src/std/
H A Dbigint.d336 y.checkDivByZero();
345 y.checkDivByZero();
521 checkDivByZero();
989 void checkDivByZero() pure const nothrow @safe in checkDivByZero() function
/dports/devel/avr-gcc/gcc-10.2.0/libphobos/src/std/
H A Dbigint.d336 y.checkDivByZero();
345 y.checkDivByZero();
521 checkDivByZero();
989 void checkDivByZero() pure const nothrow @safe in checkDivByZero() function
/dports/lang/gcc9-devel/gcc-9-20211007/libphobos/src/std/
H A Dbigint.d336 y.checkDivByZero();
345 y.checkDivByZero();
521 checkDivByZero();
989 void checkDivByZero() pure const nothrow @safe in checkDivByZero() function
/dports/lang/gcc9-aux/gcc-9.1.0/libphobos/src/std/
H A Dbigint.d336 y.checkDivByZero();
345 y.checkDivByZero();
521 checkDivByZero();
989 void checkDivByZero() pure const nothrow @safe in checkDivByZero() function
/dports/lang/gcc11/gcc-11.2.0/libphobos/src/std/
H A Dbigint.d336 y.checkDivByZero();
345 y.checkDivByZero();
521 checkDivByZero();
989 void checkDivByZero() pure const nothrow @safe in checkDivByZero() function
/dports/misc/cxx_atomics_pic/gcc-11.2.0/libphobos/src/std/
H A Dbigint.d336 y.checkDivByZero();
345 y.checkDivByZero();
521 checkDivByZero();
989 void checkDivByZero() pure const nothrow @safe in checkDivByZero() function
/dports/lang/gcc10-devel/gcc-10-20211008/libphobos/src/std/
H A Dbigint.d336 y.checkDivByZero();
345 y.checkDivByZero();
521 checkDivByZero();
989 void checkDivByZero() pure const nothrow @safe in checkDivByZero() function
/dports/lang/gcc9/gcc-9.4.0/libphobos/src/std/
H A Dbigint.d336 y.checkDivByZero();
345 y.checkDivByZero();
521 checkDivByZero();
989 void checkDivByZero() pure const nothrow @safe in checkDivByZero() function
/dports/lang/gcc12-devel/gcc-12-20211205/libphobos/src/std/
H A Dbigint.d436 y.checkDivByZero();
445 y.checkDivByZero();
627 checkDivByZero();
1470 void checkDivByZero() pure const nothrow @safe scope in checkDivByZero() function