[v1.12] cocci: backport fix about incorrect warnings and resolve warning related to a const qualifier #28287
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[ upstream commit 89dd226 ] Trying to create a new coccinelle check, we realised that some patterns that we expected to match in the bpf/ were in fact never caught. Here is a minimal reproducer. foo.cocci: @@ @@ ( - foo = bar; + foo = baz; ) foo.c (not working): int main (void) { int foo, bar, baz = 0, coccibreaker __maybe_unused; foo = bar; return foo; } Invocation: $ docker run --rm --user 1000 \ --workdir /workspace -v `pwd`:/workspace -it docker.io/cilium/coccicheck:2.4@sha256:24abe3fbb8e829fa41a68a3b76cb4df84fd5a87a7d1d6254c1c1fe5effb5bd1b \ spatch --include-headers --very-quiet --in-place \ --sp-file contrib/coccinelle/foo.cocci bpf/foo.c This does not catch the "foo = bar;" statement in the C file. However, the pattern is caught in the following file instead: foo.c (working): int main (void) { int foo, bar, baz = 0; int coccifine __maybe_unused; foo = bar; return foo; } The __maybe_unused attribute seems to prevent spatch to parse correctly the function. This happens independently of whether __maybe_unused is defined in the C code. The behaviour remains the same if we replace __maybe_unused with some other random word (although replacing it with "__attribute__((unused))" works as expected). Running from coccinelle's "master" branch works fine, and when running spatch locally (no Docker image) we can also observe the following warnings: warning: Can't find macro file: /usr/local/bin/lib/coccinelle/standard.h warning: Can't find default iso file: /usr/local/bin/lib/coccinelle/standard.iso This error was fixed with commit coccinelle/coccinelle@540888ff426e ("Fix 263: wrong default path for COCCINELLE_HOME") [0], which is not part of a release yet. Until it is, we still want to have our code covered by coccinelle. As a workaround to the issue, we could pass manually the paths to the files containing the definitions for the isomorphisms and built-in macros for coccinelle, with spatch options "--macro-file-builtin" and "--iso-file". Even simpler, we can set $(COCCINELLE_HOME) to the correct path so that both files are found. No camels were harmed during this investigation. [0] https://gitlab.inria.fr/coccinelle/coccinelle/-/commit/540888ff426e Signed-off-by: Quentin Monnet <quentin@isovalent.com> Signed-off-by: Marco Iorio <marco.iorio@isovalent.com>
make -C bpf coccicheck is currently reporting the following warning:
EXN: Failure("./lib/proxy.h: 155: try to delete an expanded token: struct") in ./lib/proxy.h
Let's fix it adding the const qualifier to CT_TUPLE_TYPE.
Related: 72fece4 ("bpf: Add some missing const qualifiers")
Signed-off-by: Marco Iorio <marco.iorio@isovalent.com>
maintainer-s-little-helper
bot
added
backport/1.12
|
/test-backport-1.12 |
giorio94
changed the title
qmonnet
approved these changes
Sep 26, 2023
aanm
approved these changes
Sep 26, 2023
tklauser
approved these changes
Sep 27, 2023
lmb
approved these changes
Sep 27, 2023
maintainer-s-little-helper
bot
added
the
ready-to-merge
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR manually backports a coccicheck fix which can cause the emission of incorrect warning reports, and fixes a const qualifier issue that led to a failure in one of the checks.