diff options
| author | LemonBoy <LemonBoy@users.noreply.github.com> | 2018-06-27 21:41:40 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-06-27 21:41:40 +0200 |
| commit | 7f148838a461397f75853945e33eef29583dcc57 (patch) | |
| tree | 72f5e3858c8a7f407f885456bb2f8a915b5a0a9c | |
| parent | 5ac74da926c6d37c92f819d6b5d2e29f472a3fbb (diff) | |
| download | Nim-7f148838a461397f75853945e33eef29583dcc57.tar.gz | |
Reject ptr/ref void types (#8127)
Do this during the semantic pass to avoid tripping the following passes. Fixes #6454
| -rw-r--r-- | compiler/semtypes.nim | 3 | ||||
| -rw-r--r-- | tests/types/t6456.nim | 7 |
2 files changed, 10 insertions, 0 deletions
diff --git a/compiler/semtypes.nim b/compiler/semtypes.nim index d1ebb950c..dfd424705 100644 --- a/compiler/semtypes.nim +++ b/compiler/semtypes.nim @@ -177,6 +177,9 @@ proc semAnyRef(c: PContext; n: PNode; kind: TTypeKind; prev: PType): PType = var t = semTypeNode(c, n.lastSon, nil) if t.kind == tyTypeDesc and tfUnresolved notin t.flags: t = t.base + if t.kind == tyVoid: + const kindToStr: array[tyPtr..tyRef, string] = ["ptr", "ref"] + localError(c.config, n.info, "type '$1 void' is not allowed" % kindToStr[kind]) result = newOrPrevType(kind, prev, c) var isNilable = false # check every except the last is an object: diff --git a/tests/types/t6456.nim b/tests/types/t6456.nim new file mode 100644 index 000000000..2d2aad370 --- /dev/null +++ b/tests/types/t6456.nim @@ -0,0 +1,7 @@ +discard """ + line: 6 + errormsg: "type \'ptr void\' is not allowed" +""" + +proc foo(x: ptr void) = + discard |