[llvm-bugs] [Bug 48430] New: CallAndMessageChecker would infinite loop

[via llvm-bugs]

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

            Bug ID: 48430
           Summary: CallAndMessageChecker would infinite loop
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: danny_shanyu at outlook.com
                CC: dcoughlin at apple.com, llvm-bugs at lists.llvm.org

Created attachment 24245
  --> https://bugs.llvm.org/attachment.cgi?id=24245&action=edit
Preprocessed source file to reproduce the error.

The CallAndMessageChecker might get into infinite loop at
'generateVisitorsDiagnostics' function in 'BugReporter.cpp' due to a loop in
the errorNode graph.

I have attached a demo code that could reproduce this error. You could
reproduce the error by running clang static analyzer on the code with
'core.CallAndMessage' checker. I am unsure what causes errorNode graph to
contain a loop. Might be the function that passes right-value reference?

-- 
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/20201207/3f6e2cdc/attachment-0001.html>