[llvm-bugs] [Bug 41729] New: alpha.unix.cstring.OutOfBounds : Incorrect destination buffer size calculation for strlcat

[via llvm-bugs]

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: dcoughlin at apple.com
          Reporter: nerv at dawncrow.de
                CC: dcoughlin at apple.com, llvm-bugs at lists.llvm.org,
                    noqnoqneo at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20190503/a86d5a48/attachment-0001.html>