Skip to content

Document CodeChecker skip limitations - #264

Open
lntutor wants to merge 1 commit into
Ericsson:mainfrom
lntutor:docs/skip-limitations
Open

Document CodeChecker skip limitations#264
lntutor wants to merge 1 commit into
Ericsson:mainfrom
lntutor:docs/skip-limitations

Conversation

@lntutor

@lntutor lntutor commented Jul 31, 2026

Copy link
Copy Markdown

Why:
The skip argument was not documented, so users could reasonably try absolute host paths that cannot match files inside Bazel's sandbox.

What:

  • document the CodeChecker skip-file syntax
  • explain why workspace-relative patterns are required
  • add an example matching the repository's skip tests
  • note that current standard and per-file analysis both support skip

Validation:

  • git diff --check
  • compared the example with test/unit/skip/BUILD
  • verified both rule implementations pass skip to CodeChecker

Addresses:
Fixes #193

🤖 Generated with AI

@furtib
furtib self-requested a review August 5, 2026 13:57
@furtib furtib added the documentation Improvements or additions to documentation label Aug 5, 2026

@furtib furtib left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This addition is factually correct; however, you mention the per-file analysis before it is introduced.

Please move the section right before the section titled Multi-platform CodeChecker analysis: codechecker_suite().

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Document skip limitations

2 participants