Author: dergachev Date: Thu Jan 10 15:44:44 2019 New Revision: 350907 URL: http://llvm.org/viewvc/llvm-project?rev=350907&view=rev Log: [analyzer] pr38838, pr39976: Fix crash on diagnosing before implicit destructor.
We need to be able to emit the diagnostic at PreImplicitCall, and the patch implements this functionality. However, for now the need for emitting such diagnostics is not all that great: it is only necessary to not crash when emitting a false positive due to an unrelated issue of having dead symbol collection not working properly. Coming up with a non-false-positive test seems impossible with the current set of checkers, though it is likely to be needed for good things as well in the future. Differential Revision: https://reviews.llvm.org/D56042 rdar://problem/46911462 Added: cfe/trunk/test/Analysis/diagnostics/dtors.cpp Modified: cfe/trunk/lib/StaticAnalyzer/Core/PathDiagnostic.cpp Modified: cfe/trunk/lib/StaticAnalyzer/Core/PathDiagnostic.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/PathDiagnostic.cpp?rev=350907&r1=350906&r2=350907&view=diff ============================================================================== --- cfe/trunk/lib/StaticAnalyzer/Core/PathDiagnostic.cpp (original) +++ cfe/trunk/lib/StaticAnalyzer/Core/PathDiagnostic.cpp Thu Jan 10 15:44:44 2019 @@ -723,6 +723,8 @@ PathDiagnosticLocation::create(const Pro } else if (Optional<PostInitializer> PIP = P.getAs<PostInitializer>()) { return PathDiagnosticLocation(PIP->getInitializer()->getSourceLocation(), SMng); + } else if (Optional<PreImplicitCall> PIC = P.getAs<PreImplicitCall>()) { + return PathDiagnosticLocation(PIC->getLocation(), SMng); } else if (Optional<PostImplicitCall> PIE = P.getAs<PostImplicitCall>()) { return PathDiagnosticLocation(PIE->getLocation(), SMng); } else if (Optional<CallEnter> CE = P.getAs<CallEnter>()) { Added: cfe/trunk/test/Analysis/diagnostics/dtors.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/diagnostics/dtors.cpp?rev=350907&view=auto ============================================================================== --- cfe/trunk/test/Analysis/diagnostics/dtors.cpp (added) +++ cfe/trunk/test/Analysis/diagnostics/dtors.cpp Thu Jan 10 15:44:44 2019 @@ -0,0 +1,25 @@ +// RUN: %clang_analyze_cc1 -w -analyzer-checker=core,cplusplus -verify %s + +// expected-no-diagnostics + +namespace no_crash_on_delete_dtor { +// We were crashing when producing diagnostics for this code. +struct S { + void foo(); + ~S(); +}; + +struct smart_ptr { + int x; + S *s; + smart_ptr(S *); + S *get() { + return (x || 0) ? nullptr : s; + } +}; + +void bar(smart_ptr p) { + delete p.get(); + p.get()->foo(); +} +} // namespace no_crash_on_delete_dtor _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
