FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
cppcheck/lib/findtoken.cpp at main · cppcheck-opensource/cppcheck · GitHub
Uh oh!
There was an error while loading.
Please reload this page
.
cppcheck-opensource
/
cppcheck
Public
Notifications
You must be signed in to change notification settings
Fork
1.6k
Star
6.7k
Code
Pull requests
201
Actions
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Security and quality
Insights
Expand file tree
Breadcrumbs
cppcheck
/
lib
/
findtoken.cpp
Copy path
More file actions
More file actions
Latest commit
History
History
History
145 lines (138 loc) · 6.26 KB
Breadcrumbs
cppcheck
/
lib
/
findtoken.cpp
Copy path
File metadata and controls
145 lines (138 loc) · 6.26 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
/*
* Cppcheck - A tool for static C/C++ code analysis
* Copyright (C) 2007-2025 Cppcheck team.
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
#
include
"
findtoken.h
"
#
include
"
astutils.h
"
#
include
"
token.h
"
class
Library
;
template
<
class
T
,
REQUIRES
(
"
T must be a Token class
"
, std::is_convertible<T*,
const
Token*> )>
static
bool
findTokensSkipDeadCodeImpl
(
const
Library& library,
T* start,
const
Token* end,
const
std::function<
bool
(
const
Token*)>& pred,
const
std::function<bool(T*)>& found,
const
std::function<std::vector<MathLib::bigint>(
const
Token*)>& evaluate,
bool skipUnevaluated)
{
for
(T* tok = start;
precedes
(tok, end); tok = tok->
next
()) {
if
(
pred
(tok)) {
if
(
found
(tok))
return
true
;
}
if
(
Token::Match
(tok,
"
if|for|while (
"
) &&
Token::simpleMatch
(tok->
linkAt
(
1
),
"
) {
"
)) {
const
Token* condTok =
getCondTok
(tok);
if
(!condTok)
continue
;
auto
result =
evaluate
(condTok);
if
(result.
empty
())
continue
;
if
(
internal::findTokensSkipDeadCodeImpl
(library, tok->
next
(), tok->
linkAt
(
1
), pred, found, evaluate, skipUnevaluated))
return
true
;
T* thenStart = tok->
linkAt
(
1
)->
next
();
T* elseStart =
nullptr
;
if
(
Token::simpleMatch
(thenStart->
link
(),
"
} else {
"
))
elseStart = thenStart->
link
()->
tokAt
(
2
);
auto
r = result.
front
();
if
(r ==
0
) {
if
(elseStart) {
if
(
internal::findTokensSkipDeadCodeImpl
(library, elseStart, elseStart->
link
(), pred, found, evaluate, skipUnevaluated))
return
true
;
if
(
isReturnScope
(elseStart->
link
(), library))
return
true
;
tok = elseStart->
link
();
}
else
{
tok = thenStart->
link
();
}
}
else
{
if
(
internal::findTokensSkipDeadCodeImpl
(library, thenStart, thenStart->
link
(), pred, found, evaluate, skipUnevaluated))
return
true
;
if
(
isReturnScope
(thenStart->
link
(), library))
return
true
;
tok = thenStart->
link
();
}
}
else
if
(
Token::Match
(tok->
astParent
(),
"
&&|?|%oror%
"
) &&
astIsLHS
(tok)) {
auto
result =
evaluate
(tok);
if
(result.
empty
())
continue
;
const
bool
cond = result.
front
() !=
0
;
T* next =
nullptr
;
if
((cond &&
Token::simpleMatch
(tok->
astParent
(),
"
||
"
)) ||
(!cond &&
Token::simpleMatch
(tok->
astParent
(),
"
&&
"
))) {
next =
nextAfterAstRightmostLeaf
(tok->
astParent
());
}
else
if
(
Token::simpleMatch
(tok->
astParent
(),
"
?
"
)) {
T* colon = tok->
astParent
()->
astOperand2
();
if
(!cond) {
next = colon;
}
else
{
if
(
internal::findTokensSkipDeadCodeImpl
(library, tok->
astParent
()->
next
(), colon, pred, found, evaluate, skipUnevaluated))
return
true
;
next =
nextAfterAstRightmostLeaf
(colon);
}
}
if
(next)
tok = next;
}
else
if
(
Token::simpleMatch
(tok,
"
} else {
"
)) {
const
Token* condTok =
getCondTokFromEnd
(tok);
if
(!condTok)
continue
;
auto
result =
evaluate
(condTok);
if
(result.
empty
())
continue
;
if
(
isReturnScope
(tok->
link
(), library))
return
true
;
auto
r = result.
front
();
if
(r !=
0
) {
tok = tok->
linkAt
(
2
);
}
}
else
if
(
Token::simpleMatch
(tok,
"
[
"
) &&
Token::Match
(tok->
link
(),
"
] (|{
"
)) {
T* afterCapture = tok->
link
()->
next
();
if
(
Token::simpleMatch
(afterCapture,
"
(
"
) && afterCapture->
link
())
tok = afterCapture->
link
()->
next
();
else
tok = afterCapture;
}
if
(skipUnevaluated &&
isUnevaluated
(tok)) {
T *next = tok->
linkAt
(
1
);
if
(!next)
continue
;
tok = next;
}
}
return
false
;
}
namespace
internal
{
bool
findTokensSkipDeadCodeImpl
(
const
Library& library,
Token* start,
const
Token* end,
const
std::function<
bool
(
const
Token*)>& pred,
const
std::function<bool(Token*)>& found,
const
std::function<std::vector<MathLib::bigint>(
const
Token*)>& evaluate,
bool skipUnevaluated)
{
return
::
findTokensSkipDeadCodeImpl
(library, start, end, pred, found, evaluate, skipUnevaluated);
}
bool
findTokensSkipDeadCodeImpl
(
const
Library& library,
const
Token* start,
const
Token* end,
const
std::function<
bool
(
const
Token*)>& pred,
const
std::function<bool(
const
Token*)>& found,
const
std::function<std::vector<MathLib::bigint>(
const
Token*)>& evaluate,
bool skipUnevaluated)
{
return
::
findTokensSkipDeadCodeImpl
(library, start, end, pred, found, evaluate, skipUnevaluated);
}
}
Back
|
FazBrowse Home
|
New Git URL