Move the noreturn pragma to sysFatal

Now you can choose to implement sysFatal with --os:standalone so that it
returns.
This commit is contained in:
def 2015-05-05 20:24:54 +02:00
commit c5db4fc3a2
4 changed files with 20 additions and 19 deletions

View file

@ -1110,7 +1110,7 @@ var programResult* {.exportc: "nim_program_result".}: int
## prematurely using ``quit``, this value is ignored. ## prematurely using ``quit``, this value is ignored.
proc quit*(errorcode: int = QuitSuccess) {. proc quit*(errorcode: int = QuitSuccess) {.
magic: "Exit", importc: "exit", header: "<stdlib.h>", noReturn.} magic: "Exit", importc: "exit", header: "<stdlib.h>", noreturn.}
## Stops the program immediately with an exit code. ## Stops the program immediately with an exit code.
## ##
## Before stopping the program the "quit procedures" are called in the ## Before stopping the program the "quit procedures" are called in the
@ -2270,20 +2270,21 @@ when hostOS == "standalone":
include panicoverride include panicoverride
when not declared(sysFatal): when not declared(sysFatal):
template sysFatal(exceptn: typedesc, message: string) = when hostOS == "standalone":
when hostOS == "standalone": proc sysFatal(exceptn: typedesc, message: string) {.inline.} =
panic(message) panic(message)
else:
proc sysFatal(exceptn: typedesc, message, arg: string) {.inline.} =
rawoutput(message)
panic(arg)
else:
proc sysFatal(exceptn: typedesc, message: string) {.inline, noReturn.} =
var e: ref exceptn var e: ref exceptn
new(e) new(e)
e.msg = message e.msg = message
raise e raise e
template sysFatal(exceptn: typedesc, message, arg: string) = proc sysFatal(exceptn: typedesc, message, arg: string) {.inline, noReturn.} =
when hostOS == "standalone":
rawoutput(message)
panic(arg)
else:
var e: ref exceptn var e: ref exceptn
new(e) new(e)
e.msg = message & arg e.msg = message & arg

View file

@ -10,11 +10,11 @@
# simple integer arithmetic with overflow checking # simple integer arithmetic with overflow checking
proc raiseOverflow {.compilerproc, noinline, noreturn.} = proc raiseOverflow {.compilerproc, noinline.} =
# a single proc to reduce code size to a minimum # a single proc to reduce code size to a minimum
sysFatal(OverflowError, "over- or underflow") sysFatal(OverflowError, "over- or underflow")
proc raiseDivByZero {.compilerproc, noinline, noreturn.} = proc raiseDivByZero {.compilerproc, noinline.} =
sysFatal(DivByZeroError, "division by zero") sysFatal(DivByZeroError, "division by zero")
proc addInt64(a, b: int64): int64 {.compilerProc, inline.} = proc addInt64(a, b: int64): int64 {.compilerProc, inline.} =
@ -327,13 +327,13 @@ when not declared(mulInt):
# We avoid setting the FPU control word here for compatibility with libraries # We avoid setting the FPU control word here for compatibility with libraries
# written in other languages. # written in other languages.
proc raiseFloatInvalidOp {.noinline, noreturn.} = proc raiseFloatInvalidOp {.noinline.} =
sysFatal(FloatInvalidOpError, "FPU operation caused a NaN result") sysFatal(FloatInvalidOpError, "FPU operation caused a NaN result")
proc nanCheck(x: float64) {.compilerProc, inline.} = proc nanCheck(x: float64) {.compilerProc, inline.} =
if x != x: raiseFloatInvalidOp() if x != x: raiseFloatInvalidOp()
proc raiseFloatOverflow(x: float64) {.noinline, noreturn.} = proc raiseFloatOverflow(x: float64) {.noinline.} =
if x > 0.0: if x > 0.0:
sysFatal(FloatOverflowError, "FPU operation caused an overflow") sysFatal(FloatOverflowError, "FPU operation caused an overflow")
else: else:

View file

@ -9,16 +9,16 @@
# Implementation of some runtime checks. # Implementation of some runtime checks.
proc raiseRangeError(val: BiggestInt) {.compilerproc, noreturn, noinline.} = proc raiseRangeError(val: BiggestInt) {.compilerproc, noinline.} =
when hostOS == "standalone": when hostOS == "standalone":
sysFatal(RangeError, "value out of range") sysFatal(RangeError, "value out of range")
else: else:
sysFatal(RangeError, "value out of range: ", $val) sysFatal(RangeError, "value out of range: ", $val)
proc raiseIndexError() {.compilerproc, noreturn, noinline.} = proc raiseIndexError() {.compilerproc, noinline.} =
sysFatal(IndexError, "index out of bounds") sysFatal(IndexError, "index out of bounds")
proc raiseFieldError(f: string) {.compilerproc, noreturn, noinline.} = proc raiseFieldError(f: string) {.compilerproc, noinline.} =
sysFatal(FieldError, f, " is not accessible") sysFatal(FieldError, f, " is not accessible")
proc chckIndx(i, a, b: int): int = proc chckIndx(i, a, b: int): int =

View file

@ -7,13 +7,13 @@ proc exit(code: int) {.importc, header: "<stdlib.h>", cdecl.}
proc rawoutput(s: string) = proc rawoutput(s: string) =
printf("%s\n", s) printf("%s\n", s)
proc panic(s: string) = proc panic(s: string) {.noreturn.} =
rawoutput(s) rawoutput(s)
exit(1) exit(1)
# Alternatively we also could implement these 2 here: # Alternatively we also could implement these 2 here:
# #
# template sysFatal(exceptn: typeDesc, message: string) # proc sysFatal(exceptn: typeDesc, message: string) {.noReturn.}
# template sysFatal(exceptn: typeDesc, message, arg: string) # proc sysFatal(exceptn: typeDesc, message, arg: string) {.noReturn.}
{.pop.} {.pop.}