2023-04-27 03:03:54

by Brandon Ross Pollack

[permalink] [raw]
Subject: [PATCH] .gitignore: ignore smatch generated files

ignore smatch generated files.

Signed-off-by: Brandon Pollack <[email protected]>

---

New to development and looking for tasks to work on to get familiar with
code, I noticed smatch generates some files at the root. Since this
tool seems frequent for newbies like myself I thought it would be worth
getting rid of the chance of accidentally committing these files.
---
.gitignore | 8 ++++++++
1 file changed, 8 insertions(+)

diff --git a/.gitignore b/.gitignore
index 70ec6037fa7a..04472c37b6df 100644
--- a/.gitignore
+++ b/.gitignore
@@ -173,3 +173,11 @@ sphinx_*/

# Rust analyzer configuration
/rust-project.json
+
+# Smatch tree outputs
+smatch_compile.warns
+smatch_db.sqlite
+smatch_warns.txt
+smatch_warns.txt.caller_info
+smatch_warns.txt.sql
+trinity_smatch.[ch]
--
2.40.1.495.gc816e09b53d-goog


2023-04-27 08:06:18

by Miguel Ojeda

[permalink] [raw]
Subject: Re: [PATCH] .gitignore: ignore smatch generated files

Hi Brandon,

On Thu, Apr 27, 2023 at 4:33 AM Brandon Pollack <[email protected]> wrote:
>
> ignore smatch generated files.

Cc'ing Dan who is the `smatch` author.

Also, when sending a v2 of a series, please mark it as such --
`git-format-patch` can do it for you with e.g. `-v2`.

Cheers,
Miguel

2023-04-27 11:24:30

by Dan Carpenter

[permalink] [raw]
Subject: Re: [PATCH] .gitignore: ignore smatch generated files

Thanks for this. To be honest, I hadn't remembered that Smatch
still generates trinity_smatch.[ch]. I would prefer to just delete that
stuff. Another idea is maybe Smatch could put everything in a
smatch/ directory? That feels like maybe it would be nicer?

regards,
dan carpenter

2023-04-28 03:08:20

by Brandon Ross Pollack

[permalink] [raw]
Subject: Re: [PATCH] .gitignore: ignore smatch generated files

On Thu, Apr 27, 2023 at 8:20 PM Dan Carpenter <[email protected]> wrote:
>
> Thanks for this. To be honest, I hadn't remembered that Smatch
> still generates trinity_smatch.[ch]. I would prefer to just delete that
> stuff. Another idea is maybe Smatch could put everything in a
> smatch/ directory? That feels like maybe it would be nicer?

Sure, that'd be great as well. I'm pretty sure that smatch outputs
these files from whatever directory you run from, that's why I did the
overall pattern rather than a path pattern.

Should we just patch smatch to not output trinity* files and output to
a directory and change this patch to mask out the directory?

>
> regards,
> dan carpenter

2023-05-02 15:29:42

by Dan Carpenter

[permalink] [raw]
Subject: Re: [PATCH] .gitignore: ignore smatch generated files

On Fri, Apr 28, 2023 at 11:55:17AM +0900, Brandon Ross Pollack wrote:
> On Thu, Apr 27, 2023 at 8:20 PM Dan Carpenter <[email protected]> wrote:
> >
> > Thanks for this. To be honest, I hadn't remembered that Smatch
> > still generates trinity_smatch.[ch]. I would prefer to just delete that
> > stuff. Another idea is maybe Smatch could put everything in a
> > smatch/ directory? That feels like maybe it would be nicer?
>
> Sure, that'd be great as well. I'm pretty sure that smatch outputs
> these files from whatever directory you run from, that's why I did the
> overall pattern rather than a path pattern.
>
> Should we just patch smatch to not output trinity* files and output to
> a directory and change this patch to mask out the directory?

I've deleted the trinity stuff. Let's just apply the rest as-is.

regards,
dan carpenter

2023-05-08 05:34:11

by Dan Carpenter

[permalink] [raw]
Subject: Re: [PATCH] .gitignore: ignore smatch generated files

On Mon, May 08, 2023 at 10:20:48AM +0900, Brandon Ross Pollack wrote:
> This is actually my first patch, is there anything else I need to do to
> apply it or should I let the maintainers handle it from here?
>

You need to send a v2 patch without the trinity stuff. (I removed it
from Smatch already).

https://staticthinking.wordpress.com/2022/07/27/how-to-send-a-v2-patch/

regards,
dan carpenter