15 lines
278 B
Nim
Executable file
15 lines
278 B
Nim
Executable file
# Tests emc's ability to detect overflows
|
|
|
|
{.push overflowChecks: on.}
|
|
|
|
var
|
|
a, b: int
|
|
a = high(int)
|
|
b = -2
|
|
try:
|
|
writeln(stdout, b - a)
|
|
except EOverflow:
|
|
writeln(stdout, "the computation overflowed")
|
|
|
|
{.pop.} # overflow check
|
|
#OUT the computation overflowed
|