https://bugs.llvm.org/show_bug.cgi?id=48474
Bug ID: 48474
Summary: clangsa makes contradictory assumptions about variable
Product: clang
Version: 11.0
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Static Analyzer
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected]
Created attachment 24264
--> https://bugs.llvm.org/attachment.cgi?id=24264&action=edit
screenshot from CodeChecker
I attach a screenshot from CodeChecker. You can also find the static HTML
report at:
https://testresults.qt.io/codechecker/daily_analyses/qtbase/dev/qtbase-dev-20201210-238f466d49/qdatetime.cpp_clangsa_fbaaa3c8986c74ae8f6ae431391de560.plist.html#reportHash=62a0d374a5d8f3a09605154ad72cab0d
In this report we see the following assumptions the analyzer makes:
6. Assuming 'spec' is not equal to TimeZone
[...]
9. Assuming 'spec' is equal to Timezone (since it follows that branch of the
switch statement)
This issue stands out the most, because of the closeness of the contradictory
assumptions.
But this report is invalid for other reasons too, for example clangsa fails to
track into the Data constructor in line 3048, which would make it evident it
can't happen.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
