[llvm-bugs] [Bug 24876] New: ternary operator breaks assumption with nonnull attribute

[via llvm-bugs]

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

            Bug ID: 24876
           Summary: ternary operator breaks assumption with nonnull
                    attribute
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: eric.huhtala at gmail.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 14903
  --> https://llvm.org/bugs/attachment.cgi?id=14903&action=edit
simple test case

See attachment.

v is attributed to be nonnull, but words (which is assigned to v) is assumed to
be nullptr by clang's analyzer.

-- 
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/20150918/1af93810/attachment.html>