diff options
| author | Oscar Nihlgård <oscarnihlgard@gmail.com> | 2018-05-02 08:54:09 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-05-02 08:54:09 +0200 |
| commit | cc0ca43743f286d93c0e4b7adddecd7bb3e83e46 (patch) | |
| tree | 43a112718134b31fddab36b90c590a230349b704 /tests | |
| parent | f89218c8b0bc899e84e39a75e0db85473a529b47 (diff) | |
| download | Nim-cc0ca43743f286d93c0e4b7adddecd7bb3e83e46.tar.gz | |
Don't hide overflow/underflow/divbyzero in semfold (#7732)
* firstOrd/lastOrd bugfix * Don't hide overflow/underflow/divbyzero in semfold
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/misc/tsemfold.nim | 23 | ||||
| -rw-r--r-- | tests/typerel/ttypelessemptyset.nim | 2 |
2 files changed, 24 insertions, 1 deletions
diff --git a/tests/misc/tsemfold.nim b/tests/misc/tsemfold.nim new file mode 100644 index 000000000..18c282d9e --- /dev/null +++ b/tests/misc/tsemfold.nim @@ -0,0 +1,23 @@ +discard """ + action: run +""" + +doAssertRaises(OverflowError): discard low(int8) - 1'i8 +doAssertRaises(OverflowError): discard high(int8) + 1'i8 +doAssertRaises(OverflowError): discard abs(low(int8)) +doAssertRaises(DivByZeroError): discard 1 mod 0 +doAssertRaises(DivByZeroError): discard 1 div 0 +doAssertRaises(OverflowError): discard low(int8) div -1'i8 + +doAssertRaises(OverflowError): discard low(int64) - 1'i64 +doAssertRaises(OverflowError): discard high(int64) + 1'i64 + +type E = enum eA, eB +doAssertRaises(OverflowError): discard eA.pred +doAssertRaises(OverflowError): discard eB.succ + +doAssertRaises(OverflowError): discard low(int8) * -1 +doAssertRaises(OverflowError): discard low(int64) * -1 +doAssertRaises(OverflowError): discard high(int8) * 2 +doAssertRaises(OverflowError): discard high(int64) * 2 + diff --git a/tests/typerel/ttypelessemptyset.nim b/tests/typerel/ttypelessemptyset.nim index 3e171387b..5f49c33fd 100644 --- a/tests/typerel/ttypelessemptyset.nim +++ b/tests/typerel/ttypelessemptyset.nim @@ -1,5 +1,5 @@ discard """ - errormsg: "internal error: invalid kind for last(tyEmpty)" + errormsg: "internal error: invalid kind for lastOrd(tyEmpty)" """ var q = false discard (if q: {} else: {}) |