c: Implement C2x nodiscard attribute
authorJoseph Myers <joseph@codesourcery.com>
Wed, 4 Nov 2020 06:48:46 +0000 (06:48 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Wed, 4 Nov 2020 06:48:46 +0000 (06:48 +0000)
commitc19e44ac8dbc9af07e5e671edfa03ab5b08649c5
tree042ddbf096456fbd03cf55ccbc034a061ffea5df
parent2e0aa43fc6ae689c595902310baec604e7e0d695
c: Implement C2x nodiscard attribute

C2x adds the nodiscard standard attribute, with an optional string
argument, as in C++; implement it for C.

Bootstrapped with no regressions for x86_64-pc-linux-gnu.

gcc/c/
2020-11-04  Joseph Myers  <joseph@codesourcery.com>

* c-decl.c (handle_nodiscard_attribute): New.
(std_attribute_table): Add nodiscard.
* c-parser.c (c_parser_std_attribute): Expect argument to
nodiscard attribute to be a string.  Do not special-case ignoring
nodiscard.
* c-typeck.c (maybe_warn_nodiscard): New.
(build_compound_expr, emit_side_effect_warnings): Call
maybe_warn_nodiscard.
(c_process_expr_stmt, c_finish_stmt_expr): Also call
emit_side_effect_warnings if warn_unused_result.

gcc/testsuite/
2020-11-04  Joseph Myers  <joseph@codesourcery.com>

* gcc.dg/c2x-attr-nodiscard-1.c, gcc.dg/c2x-attr-nodiscard-2.c,
gcc.dg/c2x-attr-nodiscard-3.c, gcc.dg/c2x-attr-nodiscard-4.c: New
tests.
* gcc.dg/c2x-attr-syntax-5.c: Remove nodiscard test.
gcc/c/c-decl.c
gcc/c/c-parser.c
gcc/c/c-typeck.c
gcc/testsuite/gcc.dg/c2x-attr-nodiscard-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/c2x-attr-nodiscard-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/c2x-attr-nodiscard-3.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/c2x-attr-nodiscard-4.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/c2x-attr-syntax-5.c