Bug Summary

File:home/maarten/src/libreoffice/core/include/rtl/ref.hxx
Warning:line 192, column 9
Use of memory after it is freed

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-unknown-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name fldedt.cxx -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 2 -mframe-pointer=all -fmath-errno -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -fno-split-dwarf-inlining -debugger-tuning=gdb -resource-dir /usr/lib64/clang/11.0.0 -isystem /usr/include/libxml2 -D BOOST_ERROR_CODE_HEADER_ONLY -D BOOST_SYSTEM_NO_DEPRECATED -D CPPU_ENV=gcc3 -D LINUX -D OSL_DEBUG_LEVEL=1 -D SAL_LOG_INFO -D SAL_LOG_WARN -D UNIX -D UNX -D X86_64 -D _PTHREADS -D _REENTRANT -D EXCEPTIONS_ON -D LIBO_INTERNAL_ONLY -I /home/maarten/src/libreoffice/core/workdir/UnpackedTarball/icu/source -I /home/maarten/src/libreoffice/core/workdir/UnpackedTarball/icu/source/i18n -I /home/maarten/src/libreoffice/core/workdir/UnpackedTarball/icu/source/common -I /home/maarten/src/libreoffice/core/external/boost/include -I /home/maarten/src/libreoffice/core/workdir/UnpackedTarball/boost -I /home/maarten/src/libreoffice/core/sw/inc -I /home/maarten/src/libreoffice/core/sw/source/uibase/inc -I /home/maarten/src/libreoffice/core/sw/source/ui/inc -I /home/maarten/src/libreoffice/core/workdir/SdiTarget/sw/sdi -I /home/maarten/src/libreoffice/core/include -I /usr/lib/jvm/java-11-openjdk-11.0.9.10-0.0.ea.fc33.x86_64/include -I /usr/lib/jvm/java-11-openjdk-11.0.9.10-0.0.ea.fc33.x86_64/include/linux -I /home/maarten/src/libreoffice/core/config_host -I /home/maarten/src/libreoffice/core/workdir/CustomTarget/officecfg/registry -I /home/maarten/src/libreoffice/core/workdir/UnoApiHeadersTarget/udkapi/normal -I /home/maarten/src/libreoffice/core/workdir/UnoApiHeadersTarget/offapi/normal -I /home/maarten/src/libreoffice/core/workdir/UnoApiHeadersTarget/oovbaapi/normal -internal-isystem /usr/bin/../lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10 -internal-isystem /usr/bin/../lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux -internal-isystem /usr/bin/../lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward -internal-isystem /usr/local/include -internal-isystem /usr/lib64/clang/11.0.0/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -O0 -Wno-missing-braces -std=c++17 -fdeprecated-macro -fdebug-compilation-dir /home/maarten/src/libreoffice/core -ferror-limit 19 -fvisibility hidden -fvisibility-inlines-hidden -stack-protector 2 -fgnuc-version=4.2.1 -fcxx-exceptions -fexceptions -debug-info-kind=constructor -analyzer-output=html -faddrsig -o /home/maarten/tmp/wis/scan-build-libreoffice/output/report/2020-10-07-141433-9725-1 -x c++ /home/maarten/src/libreoffice/core/sw/source/ui/fldui/fldedt.cxx

/home/maarten/src/libreoffice/core/sw/source/ui/fldui/fldedt.cxx

→
1/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
2/*
3 * This file is part of the LibreOffice project.
4 *
5 * This Source Code Form is subject to the terms of the Mozilla Public
6 * License, v. 2.0. If a copy of the MPL was not distributed with this
7 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
8 *
9 * This file incorporates work covered by the following license notice:
10 *
11 * Licensed to the Apache Software Foundation (ASF) under one or more
12 * contributor license agreements. See the NOTICE file distributed
13 * with this work for additional information regarding copyright
14 * ownership. The ASF licenses this file to you under the Apache
15 * License, Version 2.0 (the "License"); you may not use this file
16 * except in compliance with the License. You may obtain a copy of
17 * the License at http://www.apache.org/licenses/LICENSE-2.0 .
18 */
19
20#include <config_features.h>
21
22#include <sfx2/basedlgs.hxx>
23#include <sfx2/viewfrm.hxx>
24#include <svx/optgenrl.hxx>
25#include <docufld.hxx>
26#include <expfld.hxx>
27#include <view.hxx>
28#include <wrtsh.hxx>
29#include "flddb.hxx"
30#include "flddinf.hxx"
31#include "fldvar.hxx"
32#include "flddok.hxx"
33#include "fldfunc.hxx"
34#include "fldref.hxx"
35#include <fldedt.hxx>
36
37#include <cmdid.h>
38#include <swabstdlg.hxx>
39
40#include <com/sun/star/beans/XPropertySet.hpp>
41#include <com/sun/star/document/XDocumentProperties.hpp>
42#include <com/sun/star/document/XDocumentPropertiesSupplier.hpp>
43#include <com/sun/star/frame/XModel.hpp>
44#include <memory>
45#include <swuiexp.hxx>
46
47void SwFieldEditDlg::EnsureSelection(SwField *pCurField, SwFieldMgr &rMgr)
48{
49 if (pSh->CursorInsideInputField())
50 {
51 // move cursor to start of Input Field
52 SwInputField* pInputField = dynamic_cast<SwInputField*>(pCurField);
53 if (pInputField && pInputField->GetFormatField())
54 {
55 pSh->GotoField( *(pInputField->GetFormatField()) );
56 }
57 else
58 {
59 SwSetExpField *const pSetField(dynamic_cast<SwSetExpField*>(pCurField));
60 if (pSetField)
61 {
62 assert(pSetField->GetFormatField())(static_cast <bool> (pSetField->GetFormatField()) ? void
(0) : __assert_fail ("pSetField->GetFormatField()", "/home/maarten/src/libreoffice/core/sw/source/ui/fldui/fldedt.cxx"
, 62, __extension__ __PRETTY_FUNCTION__));
63 pSh->GotoField( *(pSetField->GetFormatField()) );
64 }
65 else
66 {
67 assert(!"what input field is this")(static_cast <bool> (!"what input field is this") ? void
(0) : __assert_fail ("!\"what input field is this\"", "/home/maarten/src/libreoffice/core/sw/source/ui/fldui/fldedt.cxx"
, 67, __extension__ __PRETTY_FUNCTION__));
68 }
69 }
70 }
71
72 /* Only create selection if there is none already.
73 Normalize PaM instead of swapping. */
74 if (!pSh->HasSelection())
75 {
76 SwShellCursor* pCursor = pSh->getShellCursor(true);
77 SwPosition aOrigPos(*pCursor->GetPoint());
78
79 //After this attempt it is possible that rMgr.GetCurField() != pCurField if
80 //the field was in e.g. a zero height portion and so invisible in which
81 //case it will be skipped over
82 pSh->Right(CRSR_SKIP_CHARS, true, 1, false );
83 //So (fdo#50640) if it didn't work then reposition back to the original
84 //location where the field was
85 SwField *pRealCurField = rMgr.GetCurField();
86 bool bSelectionFailed = pCurField != pRealCurField;
87 if (bSelectionFailed)
88 {
89 pCursor->DeleteMark();
90 *pCursor->GetPoint() = aOrigPos;
91 }
92 }
93
94 pSh->NormalizePam();
95
96 assert(pCurField == rMgr.GetCurField())(static_cast <bool> (pCurField == rMgr.GetCurField()) ?
void (0) : __assert_fail ("pCurField == rMgr.GetCurField()",
"/home/maarten/src/libreoffice/core/sw/source/ui/fldui/fldedt.cxx"
, 96, __extension__ __PRETTY_FUNCTION__));
97}
98
99SwFieldEditDlg::SwFieldEditDlg(SwView const & rVw)
100 : SfxSingleTabDialogController(rVw.GetViewFrame()->GetWindow().GetFrameWeld(), nullptr,
101 "modules/swriter/ui/editfielddialog.ui", "EditFieldDialog")
102 , pSh(rVw.GetWrtShellPtr())
103 , m_xPrevBT(m_xBuilder->weld_button("prev"))
104 , m_xNextBT(m_xBuilder->weld_button("next"))
105 , m_xAddressBT(m_xBuilder->weld_button("edit"))
106{
107 SwFieldMgr aMgr(pSh);
108
109 SwField *pCurField = aMgr.GetCurField();
110 if (!pCurField)
111 return;
112
113 SwViewShell::SetCareDialog(m_xDialog);
114
115 EnsureSelection(pCurField, aMgr);
116
117 sal_uInt16 nGroup = SwFieldMgr::GetGroup(pCurField->GetTypeId(), pCurField->GetSubType());
118
119 CreatePage(nGroup);
120
121 GetOKButton().connect_clicked(LINK(this, SwFieldEditDlg, OKHdl)::tools::detail::makeLink( ::tools::detail::castTo<SwFieldEditDlg
*>(this), &SwFieldEditDlg::LinkStubOKHdl));
122
123 m_xPrevBT->connect_clicked(LINK(this, SwFieldEditDlg, NextPrevHdl)::tools::detail::makeLink( ::tools::detail::castTo<SwFieldEditDlg
*>(this), &SwFieldEditDlg::LinkStubNextPrevHdl));
124 m_xNextBT->connect_clicked(LINK(this, SwFieldEditDlg, NextPrevHdl)::tools::detail::makeLink( ::tools::detail::castTo<SwFieldEditDlg
*>(this), &SwFieldEditDlg::LinkStubNextPrevHdl));
125
126 m_xAddressBT->connect_clicked(LINK(this, SwFieldEditDlg, AddressHdl)::tools::detail::makeLink( ::tools::detail::castTo<SwFieldEditDlg
*>(this), &SwFieldEditDlg::LinkStubAddressHdl));
127
128 Init();
129}
130
131// initialise controls
132void SwFieldEditDlg::Init()
133{
134 SwFieldPage* pTabPage = static_cast<SwFieldPage*>(GetTabPage());
135 if (pTabPage)
136 {
137 SwFieldMgr& rMgr = pTabPage->GetFieldMgr();
138
139 SwField *pCurField = rMgr.GetCurField();
140
141 if(!pCurField)
142 return;
143
144 // Traveling only when more than one field
145 pSh->StartAction();
146 pSh->ClearMark();
147 pSh->CreateCursor();
148
149 bool bMove = rMgr.GoNext();
150 if( bMove )
151 rMgr.GoPrev();
152 m_xNextBT->set_sensitive(bMove);
153
154 bMove = rMgr.GoPrev();
155 if( bMove )
156 rMgr.GoNext();
157 m_xPrevBT->set_sensitive( bMove );
158
159 if (pCurField->GetTypeId() == SwFieldTypesEnum::ExtendedUser)
160 m_xAddressBT->set_sensitive(true);
161 else
162 m_xAddressBT->set_sensitive(false);
163
164 pSh->DestroyCursor();
165 pSh->EndAction();
166 }
167
168 GetOKButton().set_sensitive(!pSh->IsReadOnlyAvailable() ||
169 !pSh->HasReadonlySel());
170}
171
172SfxTabPage* SwFieldEditDlg::CreatePage(sal_uInt16 nGroup)
173{
174 // create TabPage
175 std::unique_ptr<SfxTabPage> xTabPage;
176
177 switch (nGroup)
178 {
179 case GRP_DOC:
180 xTabPage = SwFieldDokPage::Create(get_content_area(), this, nullptr);
181 break;
182 case GRP_FKT:
183 xTabPage = SwFieldFuncPage::Create(get_content_area(), this, nullptr);
184 break;
185 case GRP_REF:
186 xTabPage = SwFieldRefPage::Create(get_content_area(), this, nullptr);
187 break;
188 case GRP_REG:
189 {
190 SfxObjectShell* pDocSh = SfxObjectShell::Current();
191 SfxItemSet* pSet = new SfxItemSet( pDocSh->GetPool(), svl::Items<SID_DOCINFOTypedWhichId<SfxDocumentInfoItem>(5000 + 535), SID_DOCINFOTypedWhichId<SfxDocumentInfoItem>(5000 + 535)>{} );
192 using namespace ::com::sun::star;
193 uno::Reference<document::XDocumentPropertiesSupplier> xDPS(
194 pDocSh->GetModel(), uno::UNO_QUERY_THROW);
195 uno::Reference<document::XDocumentProperties> xDocProps
196 = xDPS->getDocumentProperties();
197 uno::Reference< beans::XPropertySet > xUDProps(
198 xDocProps->getUserDefinedProperties(),
199 uno::UNO_QUERY_THROW);
200 pSet->Put( SfxUnoAnyItem( SID_DOCINFOTypedWhichId<SfxDocumentInfoItem>(5000 + 535), uno::makeAny(xUDProps) ) );
201 xTabPage = SwFieldDokInfPage::Create(get_content_area(), this, pSet);
202 break;
203 }
204#if HAVE_FEATURE_DBCONNECTIVITY1
205 case GRP_DB:
206 xTabPage = SwFieldDBPage::Create(get_content_area(), this, nullptr);
207 static_cast<SwFieldDBPage*>(xTabPage.get())->SetWrtShell(*pSh);
208 break;
209#endif
210 case GRP_VAR:
211 xTabPage = SwFieldVarPage::Create(get_content_area(), this, nullptr);
212 break;
213
214 }
215
216 assert(xTabPage)(static_cast <bool> (xTabPage) ? void (0) : __assert_fail
("xTabPage", "/home/maarten/src/libreoffice/core/sw/source/ui/fldui/fldedt.cxx"
, 216, __extension__ __PRETTY_FUNCTION__));
217
218 static_cast<SwFieldPage*>(xTabPage.get())->SetWrtShell(pSh);
219 SetTabPage(std::move(xTabPage));
220
221 return GetTabPage();
222}
223
224SwFieldEditDlg::~SwFieldEditDlg()
225{
226 SwViewShell::SetCareDialog(nullptr);
227 pSh->EnterStdMode();
228}
229
230void SwFieldEditDlg::EnableInsert(bool bEnable)
231{
232 if( bEnable && pSh->IsReadOnlyAvailable() && pSh->HasReadonlySel() )
233 bEnable = false;
234 GetOKButton().set_sensitive(bEnable);
235}
236
237void SwFieldEditDlg::InsertHdl()
238{
239 GetOKButton().clicked();
240}
241
242// kick off changing of the field
243IMPL_LINK_NOARG(SwFieldEditDlg, OKHdl, weld::Button&, void)void SwFieldEditDlg::LinkStubOKHdl(void * instance, weld::Button
& data) { return static_cast<SwFieldEditDlg *>(instance
)->OKHdl(data); } void SwFieldEditDlg::OKHdl(__attribute__
((unused)) weld::Button&)
244{
245 if (GetOKButton().get_sensitive())
246 {
247 SfxTabPage* pTabPage = GetTabPage();
248 if (pTabPage)
249 pTabPage->FillItemSet(nullptr);
250 m_xDialog->response(RET_OK);
251 }
252}
253
254short SwFieldEditDlg::run()
255{
256 // without TabPage no dialog
257 return GetTabPage() ? SfxSingleTabDialogController::run() : static_cast<short>(RET_CANCEL);
258}
259
260// Traveling between fields of the same type
261IMPL_LINK(SwFieldEditDlg, NextPrevHdl, weld::Button&, rButton, void)void SwFieldEditDlg::LinkStubNextPrevHdl(void * instance, weld
::Button& data) { return static_cast<SwFieldEditDlg *>
(instance)->NextPrevHdl(data); } void SwFieldEditDlg::NextPrevHdl
(weld::Button& rButton)
262{
263 bool bNext = &rButton == m_xNextBT.get();
264
265 pSh->EnterStdMode();
266
267 SwFieldType *pOldTyp = nullptr;
268 SwFieldPage* pTabPage = static_cast<SwFieldPage*>(GetTabPage());
269
270 //#112462# FillItemSet may delete the current field
271 //that's why it has to be called before accessing the current field
272 if (GetOKButton().get_sensitive())
273 pTabPage->FillItemSet(nullptr);
274
275 SwFieldMgr& rMgr = pTabPage->GetFieldMgr();
276 SwField *pCurField = rMgr.GetCurField();
277 if (pCurField->GetTypeId() == SwFieldTypesEnum::Database)
278 pOldTyp = pCurField->GetTyp();
279
280 rMgr.GoNextPrev( bNext, pOldTyp );
281 pCurField = rMgr.GetCurField();
282
283 EnsureSelection(pCurField, rMgr);
284
285 sal_uInt16 nGroup = SwFieldMgr::GetGroup(pCurField->GetTypeId(), pCurField->GetSubType());
286
287 if (nGroup != pTabPage->GetGroup())
288 pTabPage = static_cast<SwFieldPage*>(CreatePage(nGroup));
289
290 pTabPage->EditNewField();
291
292 Init();
293}
294
295IMPL_LINK_NOARG(SwFieldEditDlg, AddressHdl, weld::Button&, void)void SwFieldEditDlg::LinkStubAddressHdl(void * instance, weld
::Button& data) { return static_cast<SwFieldEditDlg *>
(instance)->AddressHdl(data); } void SwFieldEditDlg::AddressHdl
(__attribute__ ((unused)) weld::Button&)
1
Calling 'SwFieldEditDlg::AddressHdl'
→
296{
297 SwFieldPage* pTabPage = static_cast<SwFieldPage*>(GetTabPage());
298 SwFieldMgr& rMgr = pTabPage->GetFieldMgr();
299 SwField *pCurField = rMgr.GetCurField();
300
301 SfxItemSet aSet( pSh->GetAttrPool(),
302 svl::Items<SID_FIELD_GRABFOCUS( 10000 + 567 ), SID_FIELD_GRABFOCUS( 10000 + 567 )>{} );
303
304 EditPosition nEditPos = EditPosition::UNKNOWN;
305
306 switch(pCurField->GetSubType())
2
←
Control jumps to the 'default' case at line 324
→
307 {
308 case EU_FIRSTNAME: nEditPos = EditPosition::FIRSTNAME; break;
309 case EU_NAME: nEditPos = EditPosition::LASTNAME; break;
310 case EU_SHORTCUT: nEditPos = EditPosition::SHORTNAME; break;
311 case EU_COMPANY: nEditPos = EditPosition::COMPANY; break;
312 case EU_STREET: nEditPos = EditPosition::STREET; break;
313 case EU_TITLE: nEditPos = EditPosition::TITLE; break;
314 case EU_POSITION: nEditPos = EditPosition::POSITION; break;
315 case EU_PHONE_PRIVATE:nEditPos = EditPosition::TELPRIV; break;
316 case EU_PHONE_COMPANY:nEditPos = EditPosition::TELCOMPANY; break;
317 case EU_FAX: nEditPos = EditPosition::FAX; break;
318 case EU_EMAIL: nEditPos = EditPosition::EMAIL; break;
319 case EU_COUNTRY: nEditPos = EditPosition::COUNTRY; break;
320 case EU_ZIP: nEditPos = EditPosition::PLZ; break;
321 case EU_CITY: nEditPos = EditPosition::CITY; break;
322 case EU_STATE: nEditPos = EditPosition::STATE; break;
323
324 default: nEditPos = EditPosition::UNKNOWN; break;
3
←
 Execution continues on line 327
→
325
326 }
327 aSet.Put(SfxUInt16Item(SID_FIELD_GRABFOCUS( 10000 + 567 ), static_cast<sal_uInt16>(nEditPos)));
328 SwAbstractDialogFactory& rFact = swui::GetFactory();
329
330 ScopedVclPtr<SfxAbstractDialog> pDlg(rFact.CreateSwAddressAbstractDlg(m_xDialog.get(), aSet));
4
←
Calling constructor for 'ScopedVclPtr<SfxAbstractDialog>'
→
11
←
Returning from constructor for 'ScopedVclPtr<SfxAbstractDialog>'
→
12
←
Calling implicit destructor for 'VclPtr<SfxAbstractDialog>'
→
13
←
Calling '~Reference'
→
20
←
Returning from '~Reference'
→
21
←
Returning from destructor for 'VclPtr<SfxAbstractDialog>'
→
331 if (RET_OK == pDlg->Execute())
22
←
Calling 'VclPtr::operator->'
→
332 {
333 pSh->UpdateOneField(*pCurField);
334 }
335}
336
337/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
←

/home/maarten/src/libreoffice/core/include/vcl/vclptr.hxx

→
1/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
2/*
3 * This file is part of the LibreOffice project.
4 *
5 * This Source Code Form is subject to the terms of the Mozilla Public
6 * License, v. 2.0. If a copy of the MPL was not distributed with this
7 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
8 *
9 * This file incorporates work covered by the following license notice:
10 *
11 * Licensed to the Apache Software Foundation (ASF) under one or more
12 * contributor license agreements. See the NOTICE file distributed
13 * with this work for additional information regarding copyright
14 * ownership. The ASF licenses this file to you under the Apache
15 * License, Version 2.0 (the "License"); you may not use this file
16 * except in compliance with the License. You may obtain a copy of
17 * the License at http://www.apache.org/licenses/LICENSE-2.0 .
18 */
19
20#ifndef INCLUDED_VCL_PTR_HXX
21#define INCLUDED_VCL_PTR_HXX
22
23#include <sal/config.h>
24
25#include <rtl/ref.hxx>
26
27#include <utility>
28#include <type_traits>
29
30#ifdef DBG_UTIL
31#ifndef _WIN32
32#include <vcl/vclmain.hxx>
33#endif
34#endif
35
36class VclReferenceBase;
37
38namespace vcl::detail {
39
40template<typename>
41constexpr bool isIncompleteOrDerivedFromVclReferenceBase(...) { return true; }
42
43template<typename T> constexpr bool isIncompleteOrDerivedFromVclReferenceBase(
44 int (*)[sizeof(T)])
45{ return std::is_base_of<VclReferenceBase, T>::value; }
46
47} // namespace vcl::detail
48
49/**
50 * A thin wrapper around rtl::Reference to implement the acquire and dispose semantics we want for references to vcl::Window subclasses.
51 *
52 * For more details on the design please see vcl/README.lifecycle
53 *
54 * @param reference_type must be a subclass of vcl::Window
55 */
56template <class reference_type>
57class VclPtr
58{
59 static_assert(
60 vcl::detail::isIncompleteOrDerivedFromVclReferenceBase<reference_type>(
61 nullptr),
62 "template argument type must be derived from VclReferenceBase");
63
64 ::rtl::Reference<reference_type> m_rInnerRef;
65
66public:
67 /** Constructor...
68 */
69 VclPtr()
70 : m_rInnerRef()
71 {}
72
73 /** Constructor...
74 */
75 VclPtr (reference_type * pBody)
76 : m_rInnerRef(pBody)
77 {}
78
79 /** Constructor... that doesn't take a ref.
80 */
81 VclPtr (reference_type * pBody, __sal_NoAcquire)
82 : m_rInnerRef(pBody, SAL_NO_ACQUIRE)
83 {}
84
85 /** Up-casting conversion constructor: Copies interface reference.
86
87 Does not work for up-casts to ambiguous bases. For the special case of
88 up-casting to Reference< XInterface >, see the corresponding conversion
89 operator.
90
91 @param rRef another reference
92 */
93 template< class derived_type >
94 VclPtr(
95 const VclPtr< derived_type > & rRef,
96 typename std::enable_if<
97 std::is_base_of<reference_type, derived_type>::value, int>::type
98 = 0 )
99 : m_rInnerRef( static_cast<reference_type*>(rRef) )
100 {
101 }
102
103#if defined(DBG_UTIL) && !defined(_WIN32)
104 virtual ~VclPtr()
105 {
106 assert(m_rInnerRef.get() == nullptr || vclmain::isAlive())(static_cast <bool> (m_rInnerRef.get() == nullptr || vclmain
::isAlive()) ? void (0) : __assert_fail ("m_rInnerRef.get() == nullptr || vclmain::isAlive()"
, "/home/maarten/src/libreoffice/core/include/vcl/vclptr.hxx"
, 106, __extension__ __PRETTY_FUNCTION__));
107 // We can be one of the intermediate counts, but if we are the last
108 // VclPtr keeping this object alive, then something forgot to call dispose().
109 assert((!m_rInnerRef.get() || m_rInnerRef->isDisposed() || m_rInnerRef->getRefCount() > 1)(static_cast <bool> ((!m_rInnerRef.get() || m_rInnerRef
->isDisposed() || m_rInnerRef->getRefCount() > 1) &&
"someone forgot to call dispose()") ? void (0) : __assert_fail
("(!m_rInnerRef.get() || m_rInnerRef->isDisposed() || m_rInnerRef->getRefCount() > 1) && \"someone forgot to call dispose()\""
, "/home/maarten/src/libreoffice/core/include/vcl/vclptr.hxx"
, 110, __extension__ __PRETTY_FUNCTION__))
110 && "someone forgot to call dispose()")(static_cast <bool> ((!m_rInnerRef.get() || m_rInnerRef
->isDisposed() || m_rInnerRef->getRefCount() > 1) &&
"someone forgot to call dispose()") ? void (0) : __assert_fail
("(!m_rInnerRef.get() || m_rInnerRef->isDisposed() || m_rInnerRef->getRefCount() > 1) && \"someone forgot to call dispose()\""
, "/home/maarten/src/libreoffice/core/include/vcl/vclptr.hxx"
, 110, __extension__ __PRETTY_FUNCTION__));
111 }
112 VclPtr(VclPtr const &) = default;
113 VclPtr(VclPtr &&) = default;
114 VclPtr & operator =(VclPtr const &) = default;
115 VclPtr & operator =(VclPtr &&) = default;
116#endif
117
118 /**
119 * A construction helper for VclPtr. Since VclPtr types are created
120 * with a reference-count of one - to help fit into the existing
121 * code-flow; this helps us to construct them easily.
122 *
123 * For more details on the design please see vcl/README.lifecycle
124 *
125 * @tparam reference_type must be a subclass of vcl::Window
126 */
127 template<typename... Arg> [[nodiscard]] static VclPtr< reference_type > Create(Arg &&... arg)
128 {
129 return VclPtr< reference_type >( new reference_type(std::forward<Arg>(arg)...), SAL_NO_ACQUIRE );
130 }
131
132 /** Probably most common used: handle->someBodyOp().
133 */
134 reference_type * operator->() const
135 {
136 return m_rInnerRef.get();
23
←
Calling 'Reference::get'
→
137 }
138
139 /** Get the body. Can be used instead of operator->().
140 I.e. handle->someBodyOp() and handle.get()->someBodyOp()
141 are the same.
142 */
143 reference_type * get() const
144 {
145 return m_rInnerRef.get();
146 }
147
148 void set(reference_type *pBody)
149 {
150 m_rInnerRef.set(pBody);
151 }
152
153 void reset(reference_type *pBody)
154 {
155 m_rInnerRef.set(pBody);
156 }
157
158 /** Up-casting copy assignment operator.
159
160 Does not work for up-casts to ambiguous bases.
161
162 @param rRef another reference
163 */
164 template<typename derived_type>
165 typename std::enable_if<
166 std::is_base_of<reference_type, derived_type>::value,
167 VclPtr &>::type
168 operator =(VclPtr<derived_type> const & rRef)
169 {
170 m_rInnerRef.set(rRef.get());
171 return *this;
172 }
173
174 VclPtr & operator =(reference_type * pBody)
175 {
176 m_rInnerRef.set(pBody);
177 return *this;
178 }
179
180 operator reference_type * () const
181 {
182 return m_rInnerRef.get();
183 }
184
185 explicit operator bool () const
186 {
187 return m_rInnerRef.get() != nullptr;
188 }
189
190 void clear()
191 {
192 m_rInnerRef.clear();
193 }
194
195 void reset()
196 {
197 m_rInnerRef.clear();
198 }
199
200 void disposeAndClear()
201 {
202 // hold it alive for the lifetime of this method
203 ::rtl::Reference<reference_type> aTmp(m_rInnerRef);
204 m_rInnerRef.clear(); // we should use some 'swap' method ideally ;-)
205 if (aTmp.get()) {
206 aTmp->disposeOnce();
207 }
208 }
209
210 /** Needed to place VclPtr's into STL collection.
211 */
212 bool operator< (const VclPtr<reference_type> & handle) const
213 {
214 return (m_rInnerRef < handle.m_rInnerRef);
215 }
216}; // class VclPtr
217
218template<typename T1, typename T2>
219inline bool operator ==(VclPtr<T1> const & p1, VclPtr<T2> const & p2) {
220 return p1.get() == p2.get();
221}
222
223template<typename T> inline bool operator ==(VclPtr<T> const & p1, T const * p2)
224{
225 return p1.get() == p2;
226}
227
228template<typename T> inline bool operator ==(VclPtr<T> const & p1, T * p2) {
229 return p1.get() == p2;
230}
231
232template<typename T> inline bool operator ==(T const * p1, VclPtr<T> const & p2)
233{
234 return p1 == p2.get();
235}
236
237template<typename T> inline bool operator ==(T * p1, VclPtr<T> const & p2) {
238 return p1 == p2.get();
239}
240
241template<typename T1, typename T2>
242inline bool operator !=(VclPtr<T1> const & p1, VclPtr<T2> const & p2) {
243 return !(p1 == p2);
244}
245
246template<typename T> inline bool operator !=(VclPtr<T> const & p1, T const * p2)
247{
248 return !(p1 == p2);
249}
250
251template<typename T> inline bool operator !=(VclPtr<T> const & p1, T * p2) {
252 return !(p1 == p2);
253}
254
255template<typename T> inline bool operator !=(T const * p1, VclPtr<T> const & p2)
256{
257 return !(p1 == p2);
258}
259
260template<typename T> inline bool operator !=(T * p1, VclPtr<T> const & p2) {
261 return !(p1 == p2);
262}
263
264/**
265 * A construction helper for a temporary VclPtr. Since VclPtr types
266 * are created with a reference-count of one - to help fit into
267 * the existing code-flow; this helps us to construct them easily.
268 * see also VclPtr::Create and ScopedVclPtr
269 *
270 * For more details on the design please see vcl/README.lifecycle
271 *
272 * @param reference_type must be a subclass of vcl::Window
273 */
274template <class reference_type>
275class SAL_WARN_UNUSED__attribute__((warn_unused)) VclPtrInstance final : public VclPtr<reference_type>
276{
277public:
278 template<typename... Arg> VclPtrInstance(Arg &&... arg)
279 : VclPtr<reference_type>( new reference_type(std::forward<Arg>(arg)...), SAL_NO_ACQUIRE )
280 {
281 }
282
283 /**
284 * Override and disallow this, to prevent people accidentally calling it and actually
285 * getting VclPtr::Create and getting a naked VclPtr<> instance
286 */
287 template<typename... Arg> static VclPtrInstance< reference_type > Create(Arg &&... ) = delete;
288};
289
290template <class reference_type>
291class ScopedVclPtr : public VclPtr<reference_type>
292{
293public:
294 /** Constructor...
295 */
296 ScopedVclPtr()
297 : VclPtr<reference_type>()
298 {}
299
300 /** Constructor
301 */
302 ScopedVclPtr (reference_type * pBody)
303 : VclPtr<reference_type>(pBody)
304 {}
305
306 /** Copy constructor...
307 */
308 ScopedVclPtr (const VclPtr<reference_type> & handle)
309 : VclPtr<reference_type>(handle)
5
←
Calling implicit copy constructor for 'VclPtr<SfxAbstractDialog>'
→
6
←
Calling copy constructor for 'Reference<SfxAbstractDialog>'
→
9
←
Returning from copy constructor for 'Reference<SfxAbstractDialog>'
→
10
←
Returning from copy constructor for 'VclPtr<SfxAbstractDialog>'
→
310 {}
311
312 /**
313 Assignment that releases the last reference.
314 */
315 void disposeAndReset(reference_type *pBody)
316 {
317 if (pBody != this->get()) {
318 VclPtr<reference_type>::disposeAndClear();
319 VclPtr<reference_type>::set(pBody);
320 }
321 }
322
323 /**
324 Assignment that releases the last reference.
325 */
326 ScopedVclPtr<reference_type>& operator = (reference_type * pBody)
327 {
328 disposeAndReset(pBody);
329 return *this;
330 }
331
332 /** Up-casting conversion constructor: Copies interface reference.
333
334 Does not work for up-casts to ambiguous bases. For the special case of
335 up-casting to Reference< XInterface >, see the corresponding conversion
336 operator.
337
338 @param rRef another reference
339 */
340 template< class derived_type >
341 ScopedVclPtr(
342 const VclPtr< derived_type > & rRef,
343 typename std::enable_if<
344 std::is_base_of<reference_type, derived_type>::value, int>::type
345 = 0 )
346 : VclPtr<reference_type>( rRef )
347 {
348 }
349
350 /** Up-casting assignment operator.
351
352 Does not work for up-casts to ambiguous bases.
353
354 @param rRef another VclPtr
355 */
356 template<typename derived_type>
357 typename std::enable_if<
358 std::is_base_of<reference_type, derived_type>::value,
359 ScopedVclPtr &>::type
360 operator =(VclPtr<derived_type> const & rRef)
361 {
362 disposeAndReset(rRef.get());
363 return *this;
364 }
365
366 /**
367 * Override and disallow this, to prevent people accidentally calling it and actually
368 * getting VclPtr::Create and getting a naked VclPtr<> instance
369 */
370 template<typename... Arg> static ScopedVclPtr< reference_type > Create(Arg &&... ) = delete;
371
372 ~ScopedVclPtr()
373 {
374 VclPtr<reference_type>::disposeAndClear();
375 assert(VclPtr<reference_type>::get() == nullptr)(static_cast <bool> (VclPtr<reference_type>::get(
) == nullptr) ? void (0) : __assert_fail ("VclPtr<reference_type>::get() == nullptr"
, "/home/maarten/src/libreoffice/core/include/vcl/vclptr.hxx"
, 375, __extension__ __PRETTY_FUNCTION__)); // make sure there are no lingering references
376 }
377
378private:
379 // Most likely we don't want this default copy-constructor.
380 ScopedVclPtr (const ScopedVclPtr<reference_type> &) = delete;
381 // And certainly we don't want a default assignment operator.
382 ScopedVclPtr<reference_type>& operator = (const ScopedVclPtr<reference_type> &) = delete;
383 // And disallow reset as that doesn't call disposeAndClear on the original reference
384 void reset() = delete;
385 void reset(reference_type *pBody) = delete;
386
387protected:
388 ScopedVclPtr (reference_type * pBody, __sal_NoAcquire)
389 : VclPtr<reference_type>(pBody, SAL_NO_ACQUIRE)
390 {}
391};
392
393/**
394 * A construction helper for ScopedVclPtr. Since VclPtr types are created
395 * with a reference-count of one - to help fit into the existing
396 * code-flow; this helps us to construct them easily.
397 *
398 * For more details on the design please see vcl/README.lifecycle
399 *
400 * @param reference_type must be a subclass of vcl::Window
401 */
402#if defined _MSC_VER
403#pragma warning(push)
404#pragma warning(disable: 4521) // " multiple copy constructors specified"
405#endif
406template <class reference_type>
407class SAL_WARN_UNUSED__attribute__((warn_unused)) ScopedVclPtrInstance final : public ScopedVclPtr<reference_type>
408{
409public:
410 template<typename... Arg> ScopedVclPtrInstance(Arg &&... arg)
411 : ScopedVclPtr<reference_type>( new reference_type(std::forward<Arg>(arg)...), SAL_NO_ACQUIRE )
412 {
413 }
414
415 /**
416 * Override and disallow this, to prevent people accidentally calling it and actually
417 * getting VclPtr::Create and getting a naked VclPtr<> instance
418 */
419 template<typename... Arg> static ScopedVclPtrInstance< reference_type > Create(Arg &&...) = delete;
420
421private:
422 // Prevent the above perfect forwarding ctor from hijacking (accidental)
423 // attempts at ScopedVclPtrInstance copy construction (where the hijacking
424 // would typically lead to somewhat obscure error messages); both non-const
425 // and const variants are needed here, as the ScopedVclPtr base class has a
426 // const--variant copy ctor, so the implicitly declared copy ctor for
427 // ScopedVclPtrInstance would also be the const variant, so non-const copy
428 // construction attempts would be hijacked by the perfect forwarding ctor;
429 // but if we only declared a non-const variant here, the const variant would
430 // no longer be implicitly declared (as there would already be an explicitly
431 // declared copy ctor), so const copy construction attempts would then be
432 // hijacked by the perfect forwarding ctor:
433 ScopedVclPtrInstance(ScopedVclPtrInstance &) = delete;
434 ScopedVclPtrInstance(ScopedVclPtrInstance const &) = delete;
435};
436#if defined _MSC_VER
437#pragma warning(pop)
438#endif
439
440#endif // INCLUDED_VCL_PTR_HXX
441
442/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
←

/home/maarten/src/libreoffice/core/include/rtl/ref.hxx

→
1/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
2/*
3 * This file is part of the LibreOffice project.
4 *
5 * This Source Code Form is subject to the terms of the Mozilla Public
6 * License, v. 2.0. If a copy of the MPL was not distributed with this
7 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
8 *
9 * This file incorporates work covered by the following license notice:
10 *
11 * Licensed to the Apache Software Foundation (ASF) under one or more
12 * contributor license agreements. See the NOTICE file distributed
13 * with this work for additional information regarding copyright
14 * ownership. The ASF licenses this file to you under the Apache
15 * License, Version 2.0 (the "License"); you may not use this file
16 * except in compliance with the License. You may obtain a copy of
17 * the License at http://www.apache.org/licenses/LICENSE-2.0 .
18 */
19
20#ifndef INCLUDED_RTL_REF_HXX
21#define INCLUDED_RTL_REF_HXX
22
23#include "sal/config.h"
24
25#include <cassert>
26#include <cstddef>
27#include <functional>
28#ifdef LIBO_INTERNAL_ONLY1
29#include <type_traits>
30#endif
31
32#include "sal/types.h"
33
34namespace rtl
35{
36
37/** Template reference class for reference type.
38*/
39template <class reference_type>
40class Reference
41{
42 /** The <b>reference_type</b> body pointer.
43 */
44 reference_type * m_pBody;
45
46
47public:
48 /** Constructor...
49 */
50 Reference()
51 : m_pBody (NULL__null)
52 {}
53
54
55 /** Constructor...
56 */
57 Reference (reference_type * pBody, __sal_NoAcquire)
58 : m_pBody (pBody)
59 {
60 }
61
62 /** Constructor...
63 */
64 Reference (reference_type * pBody)
65 : m_pBody (pBody)
66 {
67 if (m_pBody)
68 m_pBody->acquire();
69 }
70
71 /** Copy constructor...
72 */
73 Reference (const Reference<reference_type> & handle)
74 : m_pBody (handle.m_pBody)
75 {
76 if (m_pBody)
7
←
Assuming field 'm_pBody' is non-null
→
8
←
Taking true branch
→
77 m_pBody->acquire();
78 }
79
80#ifdef LIBO_INTERNAL_ONLY1
81 /** Move constructor...
82 */
83 Reference (Reference<reference_type> && handle) noexcept
84 : m_pBody (handle.m_pBody)
85 {
86 handle.m_pBody = nullptr;
87 }
88#endif
89
90#if defined LIBO_INTERNAL_ONLY1
91 /** Up-casting conversion constructor: Copies interface reference.
92
93 Does not work for up-casts to ambiguous bases.
94
95 @param rRef another reference
96 */
97 template< class derived_type >
98 inline Reference(
99 const Reference< derived_type > & rRef,
100 std::enable_if_t<std::is_base_of_v<reference_type, derived_type>, int> = 0 )
101 : m_pBody (rRef.get())
102 {
103 if (m_pBody)
104 m_pBody->acquire();
105 }
106#endif
107
108 /** Destructor...
109 */
110 ~Reference() COVERITY_NOEXCEPT_FALSE
111 {
112 if (m_pBody
13.1
Field 'm_pBody' is non-null
13.1
Field 'm_pBody' is non-null
13.1
Field 'm_pBody' is non-null
13.1
Field 'm_pBody' is non-null
)
14
←
Taking true branch
→
113 m_pBody->release();
15
←
Calling 'VclReferenceBase::release'
→
19
←
Returning; memory was released
→
114 }
115
116 /** Set...
117 Similar to assignment.
118 */
119 Reference<reference_type> &
120 SAL_CALL set (reference_type * pBody)
121 {
122 if (pBody)
123 pBody->acquire();
124 reference_type * const pOld = m_pBody;
125 m_pBody = pBody;
126 if (pOld)
127 pOld->release();
128 return *this;
129 }
130
131 /** Assignment.
132 Unbinds this instance from its body (if bound) and
133 bind it to the body represented by the handle.
134 */
135 Reference<reference_type> &
136 SAL_CALL operator= (const Reference<reference_type> & handle)
137 {
138 return set( handle.m_pBody );
139 }
140
141#ifdef LIBO_INTERNAL_ONLY1
142 /** Assignment.
143 * Unbinds this instance from its body (if bound),
144 * bind it to the body represented by the handle, and
145 * set the body represented by the handle to nullptr.
146 */
147 Reference<reference_type> &
148 operator= (Reference<reference_type> && handle)
149 {
150 // self-movement guts ourself
151 if (m_pBody)
152 m_pBody->release();
153 m_pBody = handle.m_pBody;
154 handle.m_pBody = nullptr;
155 return *this;
156 }
157#endif
158
159 /** Assignment...
160 */
161 Reference<reference_type> &
162 SAL_CALL operator= (reference_type * pBody)
163 {
164 return set( pBody );
165 }
166
167 /** Unbind the body from this handle.
168 Note that for a handle representing a large body,
169 "handle.clear().set(new body());" _might_
170 perform a little bit better than "handle.set(new body());",
171 since in the second case two large objects exist in memory
172 (the old body and the new body).
173 */
174 Reference<reference_type> & SAL_CALL clear()
175 {
176 if (m_pBody)
177 {
178 reference_type * const pOld = m_pBody;
179 m_pBody = NULL__null;
180 pOld->release();
181 }
182 return *this;
183 }
184
185
186 /** Get the body. Can be used instead of operator->().
187 I.e. handle->someBodyOp() and handle.get()->someBodyOp()
188 are the same.
189 */
190 reference_type * SAL_CALL get() const
191 {
192 return m_pBody;
24
←
Use of memory after it is freed
193 }
194
195
196 /** Probably most common used: handle->someBodyOp().
197 */
198 reference_type * SAL_CALL operator->() const
199 {
200 assert(m_pBody != NULL)(static_cast <bool> (m_pBody != __null) ? void (0) : __assert_fail
("m_pBody != NULL", "/home/maarten/src/libreoffice/core/include/rtl/ref.hxx"
, 200, __extension__ __PRETTY_FUNCTION__));
201 return m_pBody;
202 }
203
204
205 /** Allows (*handle).someBodyOp().
206 */
207 reference_type & SAL_CALL operator*() const
208 {
209 assert(m_pBody != NULL)(static_cast <bool> (m_pBody != __null) ? void (0) : __assert_fail
("m_pBody != NULL", "/home/maarten/src/libreoffice/core/include/rtl/ref.hxx"
, 209, __extension__ __PRETTY_FUNCTION__));
210 return *m_pBody;
211 }
212
213
214 /** Returns True if the handle does point to a valid body.
215 */
216 bool SAL_CALL is() const
217 {
218 return (m_pBody != NULL__null);
219 }
220
221#if defined LIBO_INTERNAL_ONLY1
222 /** Returns True if the handle does point to a valid body.
223 */
224 explicit operator bool() const
225 {
226 return is();
227 }
228#endif
229
230 /** Returns True if this points to pBody.
231 */
232 bool SAL_CALL operator== (const reference_type * pBody) const
233 {
234 return (m_pBody == pBody);
235 }
236
237
238 /** Returns True if handle points to the same body.
239 */
240 bool
241 SAL_CALL operator== (const Reference<reference_type> & handle) const
242 {
243 return (m_pBody == handle.m_pBody);
244 }
245
246
247 /** Needed to place References into STL collection.
248 */
249 bool
250 SAL_CALL operator!= (const Reference<reference_type> & handle) const
251 {
252 return (m_pBody != handle.m_pBody);
253 }
254
255
256 /** Needed to place References into STL collection.
257 */
258 bool
259 SAL_CALL operator< (const Reference<reference_type> & handle) const
260 {
261 return (m_pBody < handle.m_pBody);
262 }
263
264
265 /** Needed to place References into STL collection.
266 */
267 bool
268 SAL_CALL operator> (const Reference<reference_type> & handle) const
269 {
270 return (m_pBody > handle.m_pBody);
271 }
272};
273
274} // namespace rtl
275
276#if defined LIBO_INTERNAL_ONLY1
277namespace std
278{
279
280/// @cond INTERNAL
281/**
282 Make rtl::Reference hashable by default for use in STL containers.
283
284 @since LibreOffice 6.3
285*/
286template<typename T>
287struct hash<::rtl::Reference<T>>
288{
289 std::size_t operator()(::rtl::Reference<T> const & s) const
290 { return std::size_t(s.get()); }
291};
292/// @endcond
293
294}
295
296#endif
297
298#endif /* ! INCLUDED_RTL_REF_HXX */
299
300/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
←

/home/maarten/src/libreoffice/core/include/vcl/vclreferencebase.hxx

1/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
2/*
3 * This file is part of the LibreOffice project.
4 *
5 * This Source Code Form is subject to the terms of the Mozilla Public
6 * License, v. 2.0. If a copy of the MPL was not distributed with this
7 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
8 *
9 * This file incorporates work covered by the following license notice:
10 *
11 * Licensed to the Apache Software Foundation (ASF) under one or more
12 * contributor license agreements. See the NOTICE file distributed
13 * with this work for additional information regarding copyright
14 * ownership. The ASF licenses this file to you under the Apache
15 * License, Version 2.0 (the "License"); you may not use this file
16 * except in compliance with the License. You may obtain a copy of
17 * the License at http://www.apache.org/licenses/LICENSE-2.0 .
18 */
19#ifndef INCLUDED_VCL_Reference_HXX
20#define INCLUDED_VCL_Reference_HXX
21
22#include <vcl/dllapi.h>
23#include <osl/interlck.h>
24
25class VCL_DLLPUBLIC__attribute__ ((visibility("default"))) VclReferenceBase
26{
27 mutable oslInterlockedCount mnRefCnt;
28
29 template<typename T> friend class VclPtr;
30
31public:
32 void acquire() const
33 {
34 osl_atomic_increment(&mnRefCnt)__sync_add_and_fetch((&mnRefCnt), 1);
35 }
36
37 void release() const
38 {
39 if (osl_atomic_decrement(&mnRefCnt)__sync_sub_and_fetch((&mnRefCnt), 1) == 0)
16
←
Assuming the condition is true
→
17
←
Taking true branch
→
40 delete this;
18
←
Memory is released
→
41 }
42#ifdef DBG_UTIL
43#ifndef _WIN32
44 sal_Int32 getRefCount() const { return mnRefCnt; }
45#endif
46#endif
47
48
49private:
50 VclReferenceBase(const VclReferenceBase&) = delete;
51 VclReferenceBase& operator=(const VclReferenceBase&) = delete;
52
53 bool mbDisposed : 1;
54
55protected:
56 VclReferenceBase();
57protected:
58 virtual ~VclReferenceBase();
59
60protected:
61 virtual void dispose();
62
63public:
64 void disposeOnce();
65 bool isDisposed() const { return mbDisposed; }
66
67};
68#endif