We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b7eb40d commit 6421727Copy full SHA for 6421727
clang/test/Analysis/taint-generic.cpp
@@ -158,7 +158,11 @@ void top() {
158
clang_analyzer_isTainted(E); // expected-warning {{NO}}
159
160
Aggr A = mySource1<Aggr>();
161
- clang_analyzer_isTainted(A); // expected-warning {{YES}}
+ // FIXME Ideally, both A and A.data should be tainted. However, the
162
+ // implementation used by e5ac9145ba29 ([analyzer][taint] Recognize
163
+ // tainted LazyCompoundVals (4/4) (#115919), 2024-11-15) led to FPs and
164
+ // FNs in various scenarios and had to be reverted to fix #153782.
165
+ clang_analyzer_isTainted(A); // expected-warning {{NO}}
166
clang_analyzer_isTainted(A.data); // expected-warning {{YES}}
167
}
168
} // namespace gh114270
0 commit comments