https://bugs.llvm.org/show_bug.cgi?id=38209
Bug ID: 38209
Summary: Scan-build contradicting assumption
Product: tools
Version: 6.0
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: P
Component: analyze
Assignee: unassignedb...@nondot.org
Reporter: koen.po...@vandewiele.com
CC: llvm-bugs@lists.llvm.org
Created attachment 20567
--> https://bugs.llvm.org/attachment.cgi?id=20567&action=edit
Minimal example illustrating contradicting assumptions
Running scan-build-6.0 on the attached code results in contradicting
assumptions:
Step 2) Assuming 'empty()' is false
Step 5) Assuming 'empty()' is true
Workaround (enable the WORKAROUND define) allows scan-build to reason about
memberPlus100 locally thus avoiding this false positive.
Should scan-build be able to reason about this, knowing that both 'empty()'
calls should result in the same outcome?
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
