dist/tools: add a leading whitespace check for #pragma once
in the headerguards
static test
#21430
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.
Contribution description
When adding the #pragma once after a comment block, many editors will remain at the previous indentation level, adding a leading whitespace to the #pragma once. This is invalid, but causes the headerguards check to fail. Since it is a common issue, it warrants a separate check with a proposed solution, just like for other headerguard issues that are checked.
This came up in #21429 (here: #21429 (comment) ) and previous Pull Requests while working on #21335.
Testing procedure
Add a leading whitespace to the
#pragma once
of a header file of your liking (in this case I chosecore/include/msg.h
) and run the static test.Current
master
(not very helpful):With this PR (prints a suggestion to fix the issue):
Issues/PRs references
Useful for #21335.