https://bugs.llvm.org/show_bug.cgi?id=41729

            Bug ID: 41729
           Summary: alpha.unix.cstring.OutOfBounds : Incorrect destination
                    buffer size calculation for strlcat
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: dcough...@apple.com
          Reporter: n...@dawncrow.de
                CC: dcough...@apple.com, llvm-bugs@lists.llvm.org,
                    noqnoq...@gmail.com

continuation of bug 37687
This bug is only about the alpha checker, which hasn't received a fix yet, but
FIXMEs were added in r359237

For details see https://bugs.llvm.org/show_bug.cgi?id=37687#c8

With the test code attached there one can see the problem with:

clang -cc1 -analyze -internal-isystem /usr/lib/llvm-9/lib/clang/9.0.0/include
-internal-externc-isystem /usr/include -analyzer-checker
alpha.unix.cstring.OutOfBounds strlcattest.c

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to