diff --git a/build-aux/check-mescc.sh b/build-aux/check-mescc.sh index 6221afa3..499d3230 100755 --- a/build-aux/check-mescc.sh +++ b/build-aux/check-mescc.sh @@ -189,6 +189,7 @@ lib/tests/scaffold/70-array-in-struct-init.c lib/tests/scaffold/70-struct-short-enum-init.c lib/tests/scaffold/70-struct-post.c lib/tests/scaffold/70-extern.c +lib/tests/scaffold/70-ternary-arithmetic-argument.c lib/tests/setjmp/80-setjmp.c lib/tests/stdio/80-sscanf.c lib/tests/stdlib/80-qsort.c @@ -238,6 +239,7 @@ lib/tests/scaffold/17-compare-unsigned-char-le.c lib/tests/scaffold/17-compare-unsigned-short-le.c lib/tests/scaffold/66-local-char-array.c lib/tests/scaffold/72-typedef-struct-def-local.c +lib/tests/scaffold/70-ternary-arithmetic-argument.c lib/tests/mes/90-abtod.c lib/tests/mes/90-dtoab.c lib/tests/scaffold/90-goto-var.c diff --git a/lib/tests/scaffold/70-ternary-arithmetic-argument.c b/lib/tests/scaffold/70-ternary-arithmetic-argument.c new file mode 100644 index 00000000..3321621e --- /dev/null +++ b/lib/tests/scaffold/70-ternary-arithmetic-argument.c @@ -0,0 +1,36 @@ +/* -*-comment-start: "//";comment-end:""-*- + * GNU Mes --- Maxwell Equations of Software + * Copyright © 2020 Jan (janneke) Nieuwenhuizen + * + * This file is part of GNU Mes. + * + * GNU Mes is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License as published by + * the Free Software Foundation; either version 3 of the License, or (at + * your option) any later version. + * + * GNU Mes is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with GNU Mes. If not, see . + */ + +int +func (unsigned i) +{ + if (i != 3959422974) + return 1; + return 0; +} + +int +main () +{ + unsigned x = 184549374; // 0aff fffe + int flag = 0; + int r = func (x|(flag?0xe0000000:0xe1000000)); + return r; +}