cproc

Unnamed repository; edit this file 'description' to name the repository.
git clone git://git.nihaljere.xyz/cproc
Log | Files | Refs | Submodules | README | LICENSE

commit 28f37f3a2278aba1652638c7642377ad442e54d7
parent 00d412a140c0d9d5bd08d61032a9f15385eceac7
Author: Michael Forney <mforney@mforney.org>
Date:   Sat, 20 Apr 2019 11:18:46 -0700

expr: Add some type checking for unary operators

Diffstat:
Mexpr.c | 6++++++
1 file changed, 6 insertions(+), 0 deletions(-)

diff --git a/expr.c b/expr.c @@ -674,17 +674,23 @@ unaryexpr(struct scope *s) case TADD: next(); e = castexpr(s); + if (!(e->type->prop & PROPARITH)) + error(&tok.loc, "operand of unary '+' operator must have arithmetic type"); e = exprconvert(e, typeintpromote(e->type)); break; case TSUB: next(); e = castexpr(s); + if (!(e->type->prop & PROPARITH)) + error(&tok.loc, "operand of unary '-' operator must have arithmetic type"); e = exprconvert(e, typeintpromote(e->type)); e = mkbinaryexpr(&tok.loc, TSUB, mkconstexpr(&typeint, 0), e); break; case TBNOT: next(); e = castexpr(s); + if (!(e->type->prop & PROPINT)) + error(&tok.loc, "operand of '~' operator must have integer type"); e = exprconvert(e, typeintpromote(e->type)); e = mkbinaryexpr(&tok.loc, TXOR, e, mkconstexpr(e->type, -1)); break;