[llvm-bugs] [Bug 38640] New: -Wthread-safety runs into an infinite loop on self-recursive data

[via llvm-bugs]

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

            Bug ID: 38640
           Summary: -Wthread-safety runs into an infinite loop on
                    self-recursive data
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: nicolasweber at gmx.de
                CC: llvm-bugs at lists.llvm.org

$ cat foo.ii
void g(int);

void f() {
  int& s = s;
  g(s);
}
$ time clang -Wthread-safety -c foo.ii  
foo.ii:4:12: warning: reference 's' is not yet bound to a value when used
within its own initialization [-Wuninitialized]
  int& s = s;
       ~   ^


^ Never terminates after this. (I only waited a few minutes, not really never.)

-- 
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/20180820/f9931085/attachment.html>