From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pf1-x42f.google.com (mail-pf1-x42f.google.com [IPv6:2607:f8b0:4864:20::42f]) by sourceware.org (Postfix) with ESMTPS id 21BD13858035 for ; Wed, 27 Sep 2023 08:53:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 21BD13858035 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-pf1-x42f.google.com with SMTP id d2e1a72fcca58-692eed30152so4567722b3a.1 for ; Wed, 27 Sep 2023 01:53:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1695804789; x=1696409589; darn=gcc.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=Knx8wpBJIlW5arfV8S6aLOsudWC02Zx767ateBVbdmQ=; b=TUzcSFO/auiWeSuk6oO+w8xmGOnpWyGRt0dEAgHO8AxB08Q4HPHtA2UnUeTI7ko9oR Qo7fJiuJOOpCE22azB8tsZrOJl+vY0mBIWukchJjk15Kl8EegHfObxxbkFZf1rAqh0Ap TzkDX7h8NfFrNcWkudTo7QmKRaeWUVYQgjH6q94UapNAPkXW9e/VvGxNMEZ7kAdkdAeb LvsHI4Wj5ZUtj3ES3gLJz4N5XnWbM+mR3GHu+kmSZBFTrds3RVD8zJArpyn088iqf3NP t6kqk2fdQXOzeceaB1K+Cf1vsppf6w/9e8nyFsZjRBGoBwrhCxgpLTeX4Y1zwVS6AcNJ 4pVQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695804789; x=1696409589; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=Knx8wpBJIlW5arfV8S6aLOsudWC02Zx767ateBVbdmQ=; b=bj0DRALWWcZ6g9HsT2QxKkUJIFTVPSPvG0//70aezTIXWHhRpSrPbYu6nvRSM2VLrh KEpT1zr8iEfK6RpQun+ScK/1ERHzi0MX5yr1Bj4LYkE4ANs0jBIUysvvrEgrXqWR3Yci qrjMt5wWr1m1o278Cn9YtHlrV2EWOcHf8I0u262PWUZ2T0BuNSqC7DvE923hoxJMTNqP nJoFAiMIZOeARc4kG+TKyEZAAjQXm+0cxohGo3ieQyjKuYixvolgKJg5kBYpkzxhpCwY TOE8qZy/j+rwpytoAtnU1HABIXyzs6f0T32eURxa/0ecyKuJWv0RPs5VXHhFyruE3JIF GrGA== X-Gm-Message-State: AOJu0YxgVfFLvV4MxP+c2FNW4Sy/s3gw43zHuwlHuo7SyacZGfiWbFAt cybMYP6ox2zHfwxOTN3gFtK8Qh5qWchfCSnIi/6wME19BpU= X-Google-Smtp-Source: AGHT+IFK3nI4otycqaEbhLayQrpKFdRxHw0a+/nKNKQcCi3BTH07aCvZuSekh5MTGohhs+ZUEkEN7hHa5KkEOMuggJE= X-Received: by 2002:a05:6a21:7906:b0:161:8c5:37f with SMTP id bg6-20020a056a21790600b0016108c5037fmr1095530pzc.61.1695804788667; Wed, 27 Sep 2023 01:53:08 -0700 (PDT) MIME-Version: 1.0 References: <87edilpcct.fsf@oldenburg.str.redhat.com> <87il7wkc0x.fsf@gentoo.org> <86wmwcoabj.fsf@aarsen.me> <87a5t8p6m7.fsf@oldenburg.str.redhat.com> In-Reply-To: <87a5t8p6m7.fsf@oldenburg.str.redhat.com> From: Anaya Shah Date: Wed, 27 Sep 2023 14:22:57 +0530 Message-ID: Subject: Re: Report from the additional type errors for GCC 14 BoF at Cauldron To: Florian Weimer Cc: =?UTF-8?Q?Arsen_Arsenovi=C4=87_via_Gcc?= Content-Type: multipart/alternative; boundary="000000000000097e3f0606535288" X-Spam-Status: No, score=0.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,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 List-Id: --000000000000097e3f0606535288 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hello, I apologise for this problem, but I've been recieving emails regarding the project you are working on. However, I'm unable to understand the context of this project. But it looks exciting! I would be thankful if you can help me through the project framework, and share the exact details, so that I can understand it and start working today itself. I would also highly appreciate if you could guide me thorugh the steps and instruct me on what I'm expected to do. I'm currently a 3rd year B.Tech-Computer Science student. Good day! Thank-you, Anaya Shah On Wed, 27 Sept, 2023, 10:16 Florian Weimer via Gcc, wrote: > * Arsen Arsenovi=C4=87 via Gcc: > > > Sam James via Gcc writes: > > > >> Florian Weimer via Gcc writes: > >> > >>> My understanding of the consensus goes as follows: > >>> > >>> * We want to make some changes in this area for GCC 14. > >>> * We should do the same thing that Clang does: default to the relevant > >>> -Werror=3D options. > >>> * Unlike regular warnings, these warnings-as-errors should also apply > >>> to system headers. > >>> * At least implict-int and implicit-function-declaration should be > >>> upgraded to errors in this way. > >>> * It's too early to make the () changes and bool-as-keyword from C2X > >>> for GCC 14. > >>> * We should fix the missing scope of the int-conversion warnings > >>> (PR109827). Likweise for incompatible-pointer-types (PR109826). > >>> > >>> Is this summary accurate? > >>> > >> > >> I wasn't there, but this reflects my understanding & what I would've > >> said if I could've attended. > >> > >>> I think the open issues are: > >>> > >>> * Do we want to implement something else beside implicit-int and > >>> implicit-function-declaration? (Candidates are int-conversion and > >>> incompatible-pointer-types, and the void vs non-void part of > >>> return-type, maybe others as previously discussed on the list.) > >> > >> Ideally, I'd like both int-conversion + incompatible-pointer-types in > >> this cycle, but if we have to defer one, I'd say to keep int-conversio= n. > > > > +1, this seems reasonable. I'm not sure I can imagine any even > > half-legitimate use for falling off the end of functions and similar, so > > perhaps we should also take return-type? Is that part of C23? > > Falling of the end of the function is legitimate if a no-return function > is called and not annotated as such, among other things. I don't think > we should warn or error for that by default. > > The issue I'm concerned about is about =E2=80=9Creturn;=E2=80=9D in a fun= ction not > returning void, or =E2=80=9Creturn expr;=E2=80=9D in a function returning= void. This > looks like related to implict int return types for functions. It's not > part of C99. There is no separate -W switch to control this warning. > It is on by default (as required by C99), unlike other aspects of > -Wreturn-type. > > Thanks, > Florian > > --000000000000097e3f0606535288--