diff options
| author | Daniel Krupp <daniel.krupp@ericsson.com> | 2024-02-23 11:44:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-23 11:44:34 +0100 |
| commit | de04b7d44edbfe8c2357cc291f8806575e6e93f2 (patch) | |
| tree | 95c365cd2d8fac3de300f6d672f735740a309431 /llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp | |
| parent | 4419b2c27fa45a08bc3892ad0c8c5eb95d96d608 (diff) | |
| download | llvm-de04b7d44edbfe8c2357cc291f8806575e6e93f2.zip llvm-de04b7d44edbfe8c2357cc291f8806575e6e93f2.tar.gz llvm-de04b7d44edbfe8c2357cc291f8806575e6e93f2.tar.bz2 | |
[analyzer] Fix core.VLASize checker false positive taint reports (#68140)
The checker reported a false positive on this code
void testTaintedSanitizedVLASize(void) {
int x;
scanf("%d", &x);
if (x<1)
return;
int vla[x]; // no-warning
}
After the fix, the checker only emits tainted warning if the vla size is
coming from a tainted source and it cannot prove that it is positive.
Diffstat (limited to 'llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions