diff options
Diffstat (limited to 'tests/iii')
| -rw-r--r-- | tests/iii/memory-size-type/case.json | 4 | ||||
| -rw-r--r-- | tests/iii/memory-size-type/program.cps | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/tests/iii/memory-size-type/case.json b/tests/iii/memory-size-type/case.json index 9753757..6354ba8 100644 --- a/tests/iii/memory-size-type/case.json +++ b/tests/iii/memory-size-type/case.json @@ -3,6 +3,10 @@ { "reason": "Allocation\\ size\\ must\\ be\\ INTEGER\\ or\\ a\\ C\\ integer", "line": 1 + }, + { + "reason": "Allocation size must be INTEGER or a C integer", + "line": 4 } ] } diff --git a/tests/iii/memory-size-type/program.cps b/tests/iii/memory-size-type/program.cps index 0215fef..d76a7bf 100644 --- a/tests/iii/memory-size-type/program.cps +++ b/tests/iii/memory-size-type/program.cps @@ -1 +1,4 @@ MALLOC(1.5) +TYPE Raw = C_TYPE("void*") +DECLARE P : Raw +REALLOC(P, TRUE) |