[llvm-bugs] [Bug 40913] New: False positive about Use of memory after it is freed for OpenJDK

[via llvm-bugs]

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

            Bug ID: 40913
           Summary: False positive about Use of memory after it is freed
                    for OpenJDK
           Product: clang
           Version: trunk
          Hardware: Other
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: zhaixiang at loongson.cn
                CC: dcoughlin at apple.com, llvm-bugs at lists.llvm.org

Hi,

Bug reported by the clang static analyzer.

Description: Use of memory after it is freed
File: 
/home/loongson/zhaixiang/jdk12-mips-llvm/src/java.base/share/native/libverify/check_code.c[1]
Line: 1328

Preprocessed file[2] is available.

I argue that Use of memory after it is freed is *False Positive*

----- 8< -------- 8< -------- 8< -------- 8< -------- 8< -------- 8< ---
src/java.base/share/native/libverify/check_code.c:1328:22: warning: Use 
of memory after it is freed
         clazz_info = cp_index_to_class_fullinfo(context, key,
                      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

----- 8< -------- 8< -------- 8< -------- 8< -------- 8< -------- 8< ---

Full analyzer log and invocation[3] is available too.  Please change 
include file path, for example, 
/home/loongson/zhaixiang/jdk12-mips-llvm/src/java.base/share/native/libjava 
change to YOUR_OPENJDK_SRC_DIR/src/java.base/share/native/libjava

Perhaps it doesn't need to include the *build* directories, otherwise it 
is difficult to reproduce the issue :)

Cheers,

Leslie Zhai

[1]
http://hg.openjdk.java.net/jdk/jdk12/file/0276cba45aac/src/java.base/share/native/libverify/check_code.c#l1328

[2] https://raw.githubusercontent.com/xiangzhai/jdk-dev/master/check_code.c

[3]
https://raw.githubusercontent.com/xiangzhai/jdk-dev/master/check_code_analyzer.log

-- 
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/20190301/21eb946e/attachment.html>