clang-tools
20.0.0git
Toggle main menu visibility
Main Page
Related Pages
Namespaces
Namespace List
Namespace Members
All
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
Functions
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
Variables
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z
Typedefs
a
b
c
d
f
g
h
i
n
o
p
q
r
s
t
u
Enumerations
b
c
d
e
f
h
i
j
l
m
n
o
p
q
r
s
t
u
v
w
Enumerator
a
b
c
d
e
f
h
l
m
n
o
p
q
r
s
t
u
v
Classes
Class List
Class Index
Class Hierarchy
Class Members
All
:
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
z
~
Functions
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
z
~
Variables
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
Typedefs
a
c
d
e
f
h
i
j
k
l
m
n
o
p
r
s
t
v
w
Enumerations
a
b
c
d
e
f
h
i
k
l
m
n
p
q
r
s
u
Enumerator
a
b
c
d
e
f
g
h
i
k
m
n
o
p
q
r
s
t
u
v
Related Functions
:
c
d
h
i
l
o
p
r
Files
File List
File Members
All
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
Functions
a
b
c
d
e
f
g
h
i
l
m
n
o
p
q
r
s
t
u
v
w
x
Variables
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
x
z
Typedefs
Enumerations
Enumerator
Macros
a
c
d
e
f
h
m
n
o
p
r
s
t
llvm-project
clang-tools-extra
clang-tidy
bugprone
AssertSideEffectCheck.h
Go to the documentation of this file.
1
//===--- AssertSideEffectCheck.h - clang-tidy -------------------*- C++ -*-===//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
9
#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_ASSERTSIDEEFFECTCHECK_H
10
#define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_ASSERTSIDEEFFECTCHECK_H
11
12
#include "../ClangTidyCheck.h"
13
#include "llvm/ADT/SmallVector.h"
14
#include "llvm/ADT/StringRef.h"
15
#include <string>
16
17
namespace
clang::tidy::bugprone
{
18
19
/// Finds `assert()` with side effect.
20
///
21
/// The condition of `assert()` is evaluated only in debug builds so a
22
/// condition with side effect can cause different behavior in debug / release
23
/// builds.
24
///
25
/// There are two options:
26
///
27
/// - `AssertMacros`: A comma-separated list of the names of assert macros to
28
/// be checked.
29
/// - `CheckFunctionCalls`: Whether to treat non-const member and non-member
30
/// functions as they produce side effects. Disabled by default because it
31
/// can increase the number of false positive warnings.
32
class
AssertSideEffectCheck
:
public
ClangTidyCheck
{
33
public
:
34
AssertSideEffectCheck
(StringRef
Name
,
ClangTidyContext
*Context);
35
void
storeOptions
(
ClangTidyOptions::OptionMap
&Opts)
override
;
36
void
registerMatchers
(ast_matchers::MatchFinder *Finder)
override
;
37
void
check
(
const
ast_matchers::MatchFinder::MatchResult &Result)
override
;
38
39
private
:
40
const
bool
CheckFunctionCalls;
41
const
StringRef RawAssertList;
42
SmallVector<StringRef, 5> AssertMacros;
43
const
std::vector<StringRef> IgnoredFunctions;
44
};
45
46
}
// namespace clang::tidy::bugprone
47
48
#endif
// LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_ASSERTSIDEEFFECTCHECK_H
Name
llvm::SmallString< 256U > Name
Definition:
ChainedComparisonCheck.cpp:42
clang::tidy::ClangTidyCheck
Base class for all clang-tidy checks.
Definition:
ClangTidyCheck.h:53
clang::tidy::ClangTidyContext
Every ClangTidyCheck reports errors through a DiagnosticsEngine provided by this context.
Definition:
ClangTidyDiagnosticConsumer.h:69
clang::tidy::bugprone::AssertSideEffectCheck
Finds assert() with side effect.
Definition:
AssertSideEffectCheck.h:32
clang::tidy::bugprone::AssertSideEffectCheck::check
void check(const ast_matchers::MatchFinder::MatchResult &Result) override
ClangTidyChecks that register ASTMatchers should do the actual work in here.
Definition:
AssertSideEffectCheck.cpp:128
clang::tidy::bugprone::AssertSideEffectCheck::storeOptions
void storeOptions(ClangTidyOptions::OptionMap &Opts) override
Should store all options supported by this check with their current values or default values for opti...
Definition:
AssertSideEffectCheck.cpp:101
clang::tidy::bugprone::AssertSideEffectCheck::registerMatchers
void registerMatchers(ast_matchers::MatchFinder *Finder) override
Override this to register AST matchers with Finder.
Definition:
AssertSideEffectCheck.cpp:108
clang::tidy::bugprone
Definition:
ArgumentCommentCheck.cpp:19
clang::tidy::ClangTidyOptions::OptionMap
llvm::StringMap< ClangTidyValue > OptionMap
Definition:
ClangTidyOptions.h:126
Generated on Thu Jan 9 2025 10:23:09 for clang-tools by
1.9.6