Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

suppress bug in source code #85

Closed
gyorb opened this issue Sep 22, 2015 · 0 comments
Closed

suppress bug in source code #85

gyorb opened this issue Sep 22, 2015 · 0 comments
Assignees
Milestone

Comments

@gyorb
Copy link
Contributor

gyorb commented Sep 22, 2015

The following annotation format should be applied above the line where the bug was reported.
The list should contain checker names or the 'all' keyword if all bugs should be suppressed during the analysis.

// codechecker_suppress[checker_name1, checker_name2] reason for suppress
// is that checker is faulty.
int i=0;
or
// codechecker_suppress[all] reason for suppress

The "reason for suppress" field should be given by the user and it is a free text that can contain any character. Only whitespace characters are not accepted. If the "reason for suppress" field is missing, a warning message will be generated in the suppress_comment the bug database.
Reasons specified in multiple lines are accepted.

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

No branches or pull requests

3 participants