Author: Denys Petrov Date: 2021-06-24T12:24:26+03:00 New Revision: e76c008c906af3dc093dd5c3ceaea577359b5432
URL: https://github.com/llvm/llvm-project/commit/e76c008c906af3dc093dd5c3ceaea577359b5432 DIFF: https://github.com/llvm/llvm-project/commit/e76c008c906af3dc093dd5c3ceaea577359b5432.diff LOG: [analyzer] Added a test case for PR46264 Summary: It's not able to reproduce the issue (https://bugs.llvm.org/show_bug.cgi?id=46264) for the latest sources. Add a reported test case to try to catch the problem if occur es. Differential Revision: https://reviews.llvm.org/D104381 Prevent: https://bugs.llvm.org/show_bug.cgi?id=46264 Added: clang/test/Analysis/diagnostics/PR46264.cpp Modified: Removed: ################################################################################ diff --git a/clang/test/Analysis/diagnostics/PR46264.cpp b/clang/test/Analysis/diagnostics/PR46264.cpp new file mode 100644 index 0000000000000..466dada694be9 --- /dev/null +++ b/clang/test/Analysis/diagnostics/PR46264.cpp @@ -0,0 +1,36 @@ +// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -verify %s + +// PR46264 +// This case shall not crash with an assertion failure about void* dereferening. +// The crash has been last seen on commit +// `3ed8ebc2f6b8172bed48cc5986d3b7af4cfca1bc` from 24.05.2020. +namespace ns1 { +namespace a { +class b { +public: + typedef int b::*c; + operator c() { return d ? &b::d : 0; } + // expected-note@-1{{'?' condition is true}} + // expected-note@-2{{Assuming field 'd' is not equal to 0}} + // expected-note@-3{{Returning value, which participates in a condition later}} + int d; +}; +} // namespace a +using a::b; +class e { + void f(); + void g(); + b h; +}; +void e::f() { + e *i; + // expected-note@-1{{'i' declared without an initial value}} + if (h) + // expected-note@-1{{Taking true branch}} + // expected-note@-2{{'b::operator int ns1::a::b::*'}} + // expected-note@-3{{Returning from 'b::operator int ns1::a::b::*'}} + i->g(); + // expected-note@-1{{Called C++ object pointer is uninitialized}} + // expected-warning@-2{{Called C++ object pointer is uninitialized}} +} +} // namespace ns1 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
