Received-SPF: pass (google.com: domain of linux-kernel+bounces-214395-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) client-ip=147.75.199.223;
Date: Fri, 14 Jun 2024 09:29:33 +0300
From: Alexey Dobriyan <adobriyan@gmail.com>
To: Steven Rostedt <rostedt@goodmis.org>
Cc: Andrew Morton <akpm@linux-foundation.org>, linux-kernel@vger.kernel.org,
	linux-mm@kvack.org, linux-security-module@vger.kernel.org,
	linux-trace-kernel@vger.kernel.org
Subject: Re: [PATCH] linux++: delete some forward declarations
Message-ID: <3efb99f7-ddef-4958-9c83-4e1009b1a914@p183>
References: <5ad5556c-7c32-45b7-89cf-f723c9d7332b@p183>
 <20240613153402.3b067d4b@rorschach.local.home>
 <20240613130420.a62ed8965a73b0f8d35890d4@linux-foundation.org>
 <20240613161012.1dd2ff60@rorschach.local.home>
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20240613161012.1dd2ff60@rorschach.local.home>

On Thu, Jun 13, 2024 at 04:10:12PM -0400, Steven Rostedt wrote:
> On Thu, 13 Jun 2024 13:04:20 -0700
> Andrew Morton <akpm@linux-foundation.org> wrote:
> 
> > On Thu, 13 Jun 2024 15:34:02 -0400 Steven Rostedt <rostedt@goodmis.org> wrote:
> > 
> > > On Thu, 13 Jun 2024 22:22:18 +0300
> > > Alexey Dobriyan <adobriyan@gmail.com> wrote:
> > >   
> > > > g++ doesn't like forward enum declarations:
> > > > 
> > > > 	error: use of enum ‘E’ without previous declaration
> > > > 	   64 | enum E;  
> > > 
> > > But we don't care about g++. Do we?  
> > 
> > It appears that g++ is a useful enum declaration detector.
> > 
> > I'm curious to know how even the above warning was generated.  Does g++
> > work at all on Linux?

With out-of-tree patch, yes.

What happens is that "enum E;" works in C but doesn't work in C++.
The fix (in C++) is to either delete, or change to "enum E:int;".

The same applies to

	const struct S s;
	const struct S s = {};

First declaration is compile error in C++, sometimes it can be deleted.

This patch is some "unused" parts merged together because it doesn't
make sense to split this much -- every chunk is independent of each
other.

> > > I would make that a separate patch.  
> > 
> > What are you referring to here?
> 
> The enum change should be separate from the struct changes.
> 
> > 
> > > > 
> > > > Delete those which aren't used.
> > > > 
> > > > Delete some unused/unnecessary forward struct declarations for a change.  
> > > 
> > > This is a clean up, but should have a better change log. Just something
> > > simple like:
> > > 
> > >   Delete unnecessary forward struct declarations.  
> > 
> > Alexey specializes in cute changelogs.
> 
> eh

Steven is right. That's what my literature teacher said in high school.

> > I do have a concern about the patch: has it been tested with all
> > possible Kconfigs?  No.  There may be some configs in which the forward
> > declaration is required.
> > 
> > And...  I'm a bit surprised that forward declarations are allowed in C.
> > A billion years ago I used a C compiler which would use 16 bits for
> > an enum if the enumted values would fit in 16 bits.  And it would use 32
> > bits otherwise.  So the enumerated values were *required* for the
> > compiler to be able to figure out the sizeof.  But it was a billion
> > years ago.
> 
> Well, I only looked at the one change in ftrace.h which has a
> "struct seq_file;" that is not used anywhere else in the file, so that
> one definitely can go.

It was tested on arm64 allmodconfig too.

OK if this is concern, I could dust off my compile test farm.