[PATCH] D120489: [analyzer] Done some changes to detect Uninitialized read by the char array manipulation functions
Shivam Rajput via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Mar 2 08:28:41 PST 2022
phyBrackets added inline comments.
================
Comment at: clang/test/Analysis/bstring_UninitRead.c:67-85
+//===----------------------------------------------------------------------===
+// mempcpy()
+//===----------------------------------------------------------------------===
+
+#ifdef VARIANT
+
+#define __mempcpy_chk BUILTIN(__mempcpy_chk)
----------------
steakhal wrote:
> I don't think you should copy these as well.
> The matching logic is already tested in `bstring.c`.
>
> That being said, a single `RUN` line should be enough in this file.
I'm not able to run test successfully with single RUN ,
```
// RUN: -analyzer-checker=alpha.unix.cstring.UninitializedRead
```
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D120489/new/
https://reviews.llvm.org/D120489
More information about the cfe-commits
mailing list