From patchwork Fri Oct 20 06:50:34 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Florian Weimer X-Patchwork-Id: 155847 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:612c:2010:b0:403:3b70:6f57 with SMTP id fe16csp869064vqb; Thu, 19 Oct 2023 23:51:23 -0700 (PDT) X-Google-Smtp-Source: AGHT+IGb2MarIySe2ctVfcY4fHAQMpvMOR38uGIdLk3qvN0bC190HPbr7U8gkqaPOVGZNQgCucyt X-Received: by 2002:a05:6214:29ef:b0:66d:373f:32d4 with SMTP id jv15-20020a05621429ef00b0066d373f32d4mr886840qvb.16.1697784682776; Thu, 19 Oct 2023 23:51:22 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1697784682; cv=pass; d=google.com; s=arc-20160816; b=p1cZnWoivDDPcmd5DBBDo0UqXLr/s+FTkZCtu3hGy/8z8v8KbwORtKbY1uhzbFrAyQ kjgnPIiwphowA3j7t7BVryKlp/6ReERaonpY8qt6KDAu+P22MVA0QiViZ+txj8lS0a2z BfkkBqF/yE1DEZgLEHSzUHTqZt/zWIMOwLZ9Nqv9ma3eW95Z17KYK+KDHyRghvTSsWTm RX/SuwJa6PvjYuUOVBxiXJOE02WZ4r34XsWZXXqux6fhkXkxdlOUsSo4Tt4WaOUbmtp9 y7MUFRlgtdTMIj0UUNZNyti7qBnCJ34Pqhx+DIWA2qgmsrUtYM3LNdvGEn8YGRrCliMm BWKQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:mime-version:user-agent :message-id:date:subject:to:from:dkim-signature:arc-filter :dmarc-filter:delivered-to; bh=w9zNqbTyKXp1j4VFT7FCpNW+hoHxIikxWsNL75dwcYc=; fh=hPrbWPhweUx4V0GV9uXJqbyAzg2ABmTz7kczrAQqMmM=; b=TUR3/cJr9j7NHx/bHfNGpvg1KUAJ2rkGs3eEtkEgbfEw7kHOutAQwK9LRlxlnk1W8m 1gQ5dDra+IjRchF1RopZXlxqnLN5/yTYgCDhwpdbUiA/wGcc8SG3QgmCWpXj948CcrsO Pa8FDrZvZU8hqYf49Nfv9hFojn3VBWzxhEm2I86GManc/Fe/QuSE7e/1pcTX768C9Ht0 013U7Wge30OgogZUecgzgefc4V7cGvYb1u+oLC17w/b7Af8Di8O+ipYDiBnhHeWdpdLn P/Nnea/dk4ZNw+UYhLtgaaWc1ksaLLGf/9pLoFCuRotjnog7lnniuyjVgsW/RRhoe+4F L1BA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=ZOEq7sVI; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=redhat.com Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id v2-20020a0ccd82000000b006563f18c948si916237qvm.367.2023.10.19.23.51.22 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 19 Oct 2023 23:51:22 -0700 (PDT) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=ZOEq7sVI; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=redhat.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 1B77F385771B for ; Fri, 20 Oct 2023 06:51:22 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by sourceware.org (Postfix) with ESMTPS id F25CD3858D33 for ; Fri, 20 Oct 2023 06:50:53 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org F25CD3858D33 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org F25CD3858D33 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=170.10.129.124 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1697784656; cv=none; b=wzSxl+jQMg83t99KYNRwmq+hz4kJUY5lYRjeWgc2QouzWDr8TTlSjHQPG3PQqD9fAi29K04ZIh6CCbxyxzfSvNTEsdiWtTngeUuPFjEQC8V3qmYVWKhC+yje+7jUmLvj6V/HyW6x6s7lhOjjk0sUSEhEIC1lv9VJ/RNwcLl4KLQ= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1697784656; c=relaxed/simple; bh=ScH2bt/DK7jDws2cx+x/E2LO9TfW8YlEOr6ZWSVrOtY=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=gzppmYUmgJve7FYuxmda4tQqDGeCkimkyQZrFtZJKtxAV7od0fTtfG8QYdm5kOw6bZRM4mf3Yh+7SZPzu0KQqG0c6ZJLzAjdJFXIZtr8AwbZvuwspppln9T+AAObA4450SeGR7I5GiQpv7dL1ImRRbLqQa0o0JA6xxXLnslGpxY= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1697784653; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=w9zNqbTyKXp1j4VFT7FCpNW+hoHxIikxWsNL75dwcYc=; b=ZOEq7sVIYlwzv8T2usP/W9odcaaea1s23ZnamLOHNJV3NFBjUo1yHs7Fzegu/Sh7r04lqt 3I9CLZFmf9n0bUEQFUpoZ8uXTFkURdsdF11DZGcDc4Idq/0AgmeFgSJwhna0T1D/ZzSrxA WzF6ebkE92zo3PYUf4azPtaPgnqsIhw= Received: from mimecast-mx02.redhat.com (mx-ext.redhat.com [66.187.233.73]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-399-Wli9-rTINYqLi7wqIMLwGw-1; Fri, 20 Oct 2023 02:50:36 -0400 X-MC-Unique: Wli9-rTINYqLi7wqIMLwGw-1 Received: from smtp.corp.redhat.com (int-mx08.intmail.prod.int.rdu2.redhat.com [10.11.54.8]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 46C9A2810D62 for ; Fri, 20 Oct 2023 06:50:36 +0000 (UTC) Received: from oldenburg.str.redhat.com (unknown [10.2.16.23]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 949ACC15BB8 for ; Fri, 20 Oct 2023 06:50:35 +0000 (UTC) From: Florian Weimer To: gcc-patches@gcc.gnu.org Subject: [PATCH v2] c: Add -Wreturn-mismatch warning, split from -Wreturn-type Date: Fri, 20 Oct 2023 08:50:34 +0200 Message-ID: <8734y523et.fsf@oldenburg.str.redhat.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.3 (gnu/linux) MIME-Version: 1.0 X-Scanned-By: MIMEDefang 3.4.1 on 10.11.54.8 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com X-Spam-Status: No, score=-10.8 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H4, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1780256271583296860 X-GMAIL-MSGID: 1780256271583296860 The existing -Wreturn-type option covers both constraint violations (which are mandatory to diagnose) and warnings that have known false positives. The new -Wreturn-mismatch warning is only about the constraint violations (missing or extra return expressions), and should eventually be turned into a permerror. The -std=gnu89 test cases show that by default, we do not warn for return; in a function not returning void. This matches previous practice for -Wreturn-type. gcc/c-family/ * c.opt (Wreturn-mismatch): New. gcc/c/ * c-typeck.cc (c_finish_return): Use pedwarn with OPT_Wreturn_mismatch for missing/extra return expressions. gcc/ * doc/invoke.texi (Warning Options): Document -Wreturn-mismatch. Update -Wreturn-type documentation. gcc/testsuite/ * gcc.dg/Wreturn-mismatch-1.c: New. * gcc.dg/Wreturn-mismatch-2.c: New. * gcc.dg/Wreturn-mismatch-3.c: New. * gcc.dg/Wreturn-mismatch-4.c: New. * gcc.dg/Wreturn-mismatch-5.c: New. * gcc.dg/Wreturn-mismatch-6.c: New. * gcc.dg/noncompile/pr55976-1.c: Change -Werror=return-type to -Werror=return-mismatch. * gcc.dg/noncompile/pr55976-2.c: Likewise. --- v2: Update comment in gcc.dg/noncompile/pr55976-2.c. Do not produce an error in C90 pedantic-error mode for return; in a function returning non-void. Add gcc.dg/Wreturn-mismatch-6.c to demonstrate this behavior. gcc/c-family/c.opt | 4 +++ gcc/c/c-typeck.cc | 16 ++++------- gcc/doc/invoke.texi | 35 +++++++++++++++--------- gcc/testsuite/gcc.dg/Wreturn-mismatch-1.c | 40 ++++++++++++++++++++++++++++ gcc/testsuite/gcc.dg/Wreturn-mismatch-2.c | 41 +++++++++++++++++++++++++++++ gcc/testsuite/gcc.dg/Wreturn-mismatch-3.c | 40 ++++++++++++++++++++++++++++ gcc/testsuite/gcc.dg/Wreturn-mismatch-4.c | 40 ++++++++++++++++++++++++++++ gcc/testsuite/gcc.dg/Wreturn-mismatch-5.c | 40 ++++++++++++++++++++++++++++ gcc/testsuite/gcc.dg/Wreturn-mismatch-6.c | 40 ++++++++++++++++++++++++++++ gcc/testsuite/gcc.dg/noncompile/pr55976-1.c | 2 +- gcc/testsuite/gcc.dg/noncompile/pr55976-2.c | 4 +-- 11 files changed, 276 insertions(+), 26 deletions(-) base-commit: 8f4bbdc28df6e87a7ad5ec5ca191a7a836a4f016 diff --git a/gcc/c-family/c.opt b/gcc/c-family/c.opt index 44b9c862c14..4c2ebd08af5 100644 --- a/gcc/c-family/c.opt +++ b/gcc/c-family/c.opt @@ -1263,6 +1263,10 @@ Wreorder C++ ObjC++ Var(warn_reorder) Warning LangEnabledBy(C++ ObjC++,Wall) Warn when the compiler reorders code. +Wreturn-mismatch +C ObjC Var(warn_return_mismatch) Warning Init(1) +Warn whenever void-returning functions return a non-void expressions, or a return expression is missing in a function not returning void. + Wreturn-type C ObjC C++ ObjC++ Var(warn_return_type) Warning LangEnabledBy(C ObjC C++ ObjC++,Wall) Init(-1) Warn whenever a function's return type defaults to \"int\" (C), or about inconsistent return types (C++). diff --git a/gcc/c/c-typeck.cc b/gcc/c/c-typeck.cc index 6e044b4afbc..25ef44cbd3b 100644 --- a/gcc/c/c-typeck.cc +++ b/gcc/c/c-typeck.cc @@ -11281,17 +11281,11 @@ c_finish_return (location_t loc, tree retval, tree origtype) if ((warn_return_type >= 0 || flag_isoc99) && valtype != NULL_TREE && TREE_CODE (valtype) != VOID_TYPE) { - bool warned_here; - if (flag_isoc99) - warned_here = pedwarn - (loc, warn_return_type >= 0 ? OPT_Wreturn_type : 0, - "% with no value, in function returning non-void"); - else - warned_here = warning_at - (loc, OPT_Wreturn_type, - "% with no value, in function returning non-void"); no_warning = true; - if (warned_here) + if (emit_diagnostic (flag_isoc99 ? DK_PEDWARN : DK_WARNING, + loc, OPT_Wreturn_mismatch, + "% with no value," + " in function returning non-void")) inform (DECL_SOURCE_LOCATION (current_function_decl), "declared here"); } @@ -11302,7 +11296,7 @@ c_finish_return (location_t loc, tree retval, tree origtype) bool warned_here; if (TREE_CODE (TREE_TYPE (retval)) != VOID_TYPE) warned_here = pedwarn - (xloc, warn_return_type >= 0 ? OPT_Wreturn_type : 0, + (xloc, OPT_Wreturn_mismatch, "% with a value, in function returning void"); else warned_here = pedwarn diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 9b5ff457027..c0c155af7cd 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -7338,22 +7338,33 @@ This warning is enabled by @option{-Wall} for C and C++. Do not warn about returning a pointer (or in C++, a reference) to a variable that goes out of scope after the function returns. +@opindex Wreturn-mismatch +@opindex Wno-return-mismatch +@item -Wreturn-mismatch +Warn about return statements without an expressions in functions which +do not return @code{void}. Also warn about a @code{return} statement +with an expression in a function whose return type is @code{void}, +unless the expression type is also @code{void}. As a GNU extension, the +latter case is accepted without a warning unless @option{-Wpedantic} is +used. + +Attempting to use the return value of a non-@code{void} function other +than @code{main} that flows off the end by reaching the closing curly +brace that terminates the function is undefined. + +This warning is specific to C and enabled by default. + @opindex Wreturn-type @opindex Wno-return-type @item -Wreturn-type -Warn whenever a function is defined with a return type that defaults -to @code{int}. Also warn about any @code{return} statement with no -return value in a function whose return type is not @code{void} -(falling off the end of the function body is considered returning -without a value). +Warn whenever a function is defined with a return type that defaults to +@code{int} (unless @option{-Wimplicit-int} is active, which takes +precedence). Also warn if execution may reach the end of the function +body, or if the function does not contain any return statement at all. -For C only, warn about a @code{return} statement with an expression in a -function whose return type is @code{void}, unless the expression type is -also @code{void}. As a GNU extension, the latter case is accepted -without a warning unless @option{-Wpedantic} is used. Attempting -to use the return value of a non-@code{void} function other than @code{main} -that flows off the end by reaching the closing curly brace that terminates -the function is undefined. +Attempting to use the return value of a non-@code{void} function other +than @code{main} that flows off the end by reaching the closing curly +brace that terminates the function is undefined. Unlike in C, in C++, flowing off the end of a non-@code{void} function other than @code{main} results in undefined behavior even when the value of diff --git a/gcc/testsuite/gcc.dg/Wreturn-mismatch-1.c b/gcc/testsuite/gcc.dg/Wreturn-mismatch-1.c new file mode 100644 index 00000000000..3bad847ecf7 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wreturn-mismatch-1.c @@ -0,0 +1,40 @@ +/* { dg-do compile } */ +/* { dg-options "" } */ + +void f1 (void); + +int +f2 (void) +{ + f1 (); +} + +static inline int +f3 (void) +{ + f1 (); +} + +void +f4 (void) +{ + return 1; /* { dg-warning "'return' with a value\[^\n\r\]*-Wreturn-mismatch" } */ +} + +void +f5 (void) +{ + return f1 (); /* { dg-bogus "ISO C" } */ +} + +int +f6 (void) +{ + return; /* { dg-warning "'return' with no value\[^\n\r\]*-Wreturn-mismatch" } */ +} + +int +f7 (void) +{ + return f1 (); /* { dg-error "void value not ignored as it ought to be" } */ +} diff --git a/gcc/testsuite/gcc.dg/Wreturn-mismatch-2.c b/gcc/testsuite/gcc.dg/Wreturn-mismatch-2.c new file mode 100644 index 00000000000..49eb5a5a95c --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wreturn-mismatch-2.c @@ -0,0 +1,41 @@ +/* { dg-do compile } */ +/* { dg-options "-Wall" } */ + +void f1 (void); + +int +f2 (void) +{ + f1 (); +} /* { dg-warning "control reaches end of non-void\[^\n\r\]*-Wreturn-type" } */ + +static inline int +f3 (void) +{ + f1 (); +} /* { dg-warning "no return statement in function\[^\n\r\]*-Wreturn-type" } */ + +void +f4 (void) +{ + return 1; /* { dg-warning "with a value,\[^\n\r\]*-Wreturn-mismatch" } */ +} + +void +f5 (void) +{ + return f1 (); +} + +int +f6 (void) +{ + return; /* { dg-warning "with no value,\[^\n\r\]*Wreturn-mismatch" } */ +} + +int +f7 (void) +{ + return f1 (); /* { dg-error "void value not ignored as it ought to be" } */ +} /* { dg-warning "control reaches end of non-void\[^\n\r\]*-Wreturn-type" } */ + diff --git a/gcc/testsuite/gcc.dg/Wreturn-mismatch-3.c b/gcc/testsuite/gcc.dg/Wreturn-mismatch-3.c new file mode 100644 index 00000000000..ee77ec6a769 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wreturn-mismatch-3.c @@ -0,0 +1,40 @@ +/* { dg-do compile } */ +/* { dg-options "-pedantic-errors" } */ + +void f1 (void); + +int +f2 (void) +{ + f1 (); +} + +static inline int +f3 (void) +{ + f1 (); +} + +void +f4 (void) +{ + return 1; /* { dg-error "with a value,\[^\n\r\]*-Wreturn-mismatch" } */ +} + +void +f5 (void) +{ + return f1 (); /* { dg-error "with expression, in function\[^\n\r\]*-Wpedantic" } */ +} + +int +f6 (void) +{ + return; /* { dg-error "with no value,\[^\n\r\]*Wreturn-mismatch" } */ +} + +int +f7 (void) +{ + return f1 (); /* { dg-error "void value not ignored as it ought to be" } */ +} diff --git a/gcc/testsuite/gcc.dg/Wreturn-mismatch-4.c b/gcc/testsuite/gcc.dg/Wreturn-mismatch-4.c new file mode 100644 index 00000000000..f73e8a05dc6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wreturn-mismatch-4.c @@ -0,0 +1,40 @@ +/* { dg-do compile } */ +/* { dg-options "-std=gnu89" } */ + +void f1 (void); + +int +f2 (void) +{ + f1 (); +} + +static inline int +f3 (void) +{ + f1 (); +} + +void +f4 (void) +{ + return 1; /* { dg-warning "with a value,\[^\n\r\]*-Wreturn-mismatch" } */ +} + +void +f5 (void) +{ + return f1 (); +} + +int +f6 (void) +{ + return; /* { dg-bogus "with no value" } */ +} + +int +f7 (void) +{ + return f1 (); /* { dg-error "void value not ignored as it ought to be" } */ +} diff --git a/gcc/testsuite/gcc.dg/Wreturn-mismatch-5.c b/gcc/testsuite/gcc.dg/Wreturn-mismatch-5.c new file mode 100644 index 00000000000..f2fd3294b7b --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wreturn-mismatch-5.c @@ -0,0 +1,40 @@ +/* { dg-do compile } */ +/* { dg-options "-std=gnu89 -pedantic-errors" } */ + +void f1 (void); + +int +f2 (void) +{ + f1 (); +} + +static inline int +f3 (void) +{ + f1 (); +} + +void +f4 (void) +{ + return 1; /* { dg-error "with a value,\[^\n\r\]*-Wreturn-mismatch" } */ +} + +void +f5 (void) +{ + return f1 (); /* { dg-error "with expression\[^\n\r\]*-Wpedantic" } */ +} + +int +f6 (void) +{ + return; +} + +int +f7 (void) +{ + return f1 (); /* { dg-error "void value not ignored as it ought to be" } */ +} diff --git a/gcc/testsuite/gcc.dg/Wreturn-mismatch-6.c b/gcc/testsuite/gcc.dg/Wreturn-mismatch-6.c new file mode 100644 index 00000000000..51543fb7141 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wreturn-mismatch-6.c @@ -0,0 +1,40 @@ +/* { dg-do compile } */ +/* { dg-options "-std=c90 -pedantic-errors -Wreturn-type" } */ + +void f1 (void); + +int +f2 (void) +{ + f1 (); +} /* { dg-warning "control reaches end of non-void\[^\n\r\]*-Wreturn-type" } */ + +static __inline__ int +f3 (void) +{ + f1 (); +} /* { dg-warning "no return statement in function\[^\n\r\]*-Wreturn-type" } */ + +void +f4 (void) +{ + return 1; /* { dg-error "with a value,\[^\n\r\]*-Wreturn-mismatch" } */ +} + +void +f5 (void) +{ + return f1 (); /* { dg-error "with expression\[^\n\r\]*-Wpedantic" } */ +} + +int +f6 (void) +{ + return; /* { dg-warning "'return' with no value\[^\n\r\]*-Wreturn-mismatch" } */ +} + +int +f7 (void) +{ + return f1 (); /* { dg-error "void value not ignored as it ought to be" } */ +} /* { dg-warning "control reaches end of non-void\[^\n\r\]*-Wreturn-type" } */ diff --git a/gcc/testsuite/gcc.dg/noncompile/pr55976-1.c b/gcc/testsuite/gcc.dg/noncompile/pr55976-1.c index d078990bd88..d348b03ad94 100644 --- a/gcc/testsuite/gcc.dg/noncompile/pr55976-1.c +++ b/gcc/testsuite/gcc.dg/noncompile/pr55976-1.c @@ -1,6 +1,6 @@ /* PR c/55976 */ /* { dg-do compile } */ -/* { dg-options "-Werror=return-type" } */ +/* { dg-options "-Werror=return-mismatch" } */ /* { dg-prune-output "some warnings being treated as errors" } */ /* Verify warnings for return type become errors. */ diff --git a/gcc/testsuite/gcc.dg/noncompile/pr55976-2.c b/gcc/testsuite/gcc.dg/noncompile/pr55976-2.c index 0e493d0e8af..d6f07a9572c 100644 --- a/gcc/testsuite/gcc.dg/noncompile/pr55976-2.c +++ b/gcc/testsuite/gcc.dg/noncompile/pr55976-2.c @@ -1,8 +1,8 @@ /* PR c/55976 */ /* { dg-do compile } */ -/* { dg-options "-Wno-return-type" } */ +/* { dg-options "-Wno-return-mismatch" } */ -/* Verify that -Wno-return-type turns off warnings about function return +/* Verify that -Wno-return-mismatch turns off warnings about function return type. */ void t () { return 1; } /* normally generates function returning void */