http://llvm.org/bugs/show_bug.cgi?id=15373
Bug ID: 15373
Summary: Non-deterministic bug warning report with
alpha.unix.Stream checker.
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Created attachment 10094
--> http://llvm.org/bugs/attachment.cgi?id=10094&action=edit
Test case and plist output
The repeated execution of the following analysis on the attached test case:
clang++ --analyze -Xclang -analyzer-checker=alpha.unix.Stream
test__alpha_unix_Stream.cc
shows two different results: none or one bug warning report; look at the two
attached ".plist" file.
Trunk revision: 176090.
Build version: Debug+Asserts.
E.g. repeating 1000 times the analysis, on one test node I get 62% warning
output(Arch Linux, not virtualized, llvm/clang builded with: clang 3.2), on an
other 24% (Ubuntu 10.04, virtual machine, gcc 4.4.3).
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
