1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
/*
 * This file is part of the LibreOffice project.
 *
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
 */

#include <svl/itempool.hxx>
#include <poolio.hxx>

#include <cppunit/TestAssert.h>
#include <cppunit/TestFixture.h>
#include <cppunit/extensions/HelperMacros.h>
#include <cppunit/plugin/TestPlugIn.h>

class PoolItemTest : public CppUnit::TestFixture
{
  public:
             PoolItemTest() {}

    void testPool();

    // Adds code needed to register the test suite
    CPPUNIT_TEST_SUITE(PoolItemTest);

    CPPUNIT_TEST(testPool);

    // End of test suite definition
    CPPUNIT_TEST_SUITE_END();
};

void PoolItemTest::testPool()
{
    SfxItemInfo const aItems[] =
        { { 1, true },
          { 2, false /* not poolable */ },
          { 3, false },
          { 4, false /* not poolable */}
        };

    SfxItemPool *pPool = new SfxItemPool("testpool", 1, 4, aItems);
    SfxItemPool_Impl *pImpl = SfxItemPool_Impl::GetImpl(pPool);<--- Assignment 'pImpl=SfxItemPool_Impl::GetImpl(pPool)', assigned value is 0<--- Assignment 'pImpl=SfxItemPool_Impl::GetImpl(pPool)', assigned value is 0<--- Assignment 'pImpl=SfxItemPool_Impl::GetImpl(pPool)', assigned value is 0<--- Assignment 'pImpl=SfxItemPool_Impl::GetImpl(pPool)', assigned value is 0<--- Assignment 'pImpl=SfxItemPool_Impl::GetImpl(pPool)', assigned value is 0<--- Assignment 'pImpl=SfxItemPool_Impl::GetImpl(pPool)', assigned value is 0<--- Assignment 'pImpl=SfxItemPool_Impl::GetImpl(pPool)', assigned value is 0<--- Assignment 'pImpl=SfxItemPool_Impl::GetImpl(pPool)', assigned value is 0<--- Assignment 'pImpl=SfxItemPool_Impl::GetImpl(pPool)', assigned value is 0
    CPPUNIT_ASSERT(pImpl != nullptr);<--- Assuming that condition 'pImpl!=nullptr' is not redundant<--- Assuming that condition 'pImpl!=nullptr' is not redundant<--- Assuming that condition 'pImpl!=nullptr' is not redundant<--- Assuming that condition 'pImpl!=nullptr' is not redundant<--- Assuming that condition 'pImpl!=nullptr' is not redundant<--- Assuming that condition 'pImpl!=nullptr' is not redundant<--- Assuming that condition 'pImpl!=nullptr' is not redundant<--- Assuming that condition 'pImpl!=nullptr' is not redundant<--- Assuming that condition 'pImpl!=nullptr' is not redundant
    CPPUNIT_ASSERT_EQUAL(static_cast<size_t>(4), pImpl->maPoolItemArrays.size());<--- Null pointer dereference

    // Poolable
    SfxVoidItem aItemOne( 1 );
    SfxVoidItem aNotherOne( 1 );

    {
        CPPUNIT_ASSERT(pImpl->maPoolItemArrays[0].empty());<--- Null pointer dereference
        const SfxPoolItem &rVal = pPool->Put(aItemOne);
        CPPUNIT_ASSERT(bool(rVal == aItemOne));
        CPPUNIT_ASSERT(!pImpl->maPoolItemArrays[0].empty());<--- Null pointer dereference
        const SfxPoolItem &rVal2 = pPool->Put(aNotherOne);
        CPPUNIT_ASSERT(bool(rVal2 == rVal));
        CPPUNIT_ASSERT_EQUAL(&rVal, &rVal2);

        // Clones on Put ...
        CPPUNIT_ASSERT(&rVal2 != &aItemOne);
        CPPUNIT_ASSERT(&rVal2 != &aNotherOne);
        CPPUNIT_ASSERT(&rVal != &aItemOne);
        CPPUNIT_ASSERT(&rVal != &aNotherOne);
    }

    // non-poolable
    SfxVoidItem aItemTwo( 2 );
    SfxVoidItem aNotherTwo( 2 );
    {
        CPPUNIT_ASSERT(pImpl->maPoolItemArrays[1].empty());<--- Null pointer dereference
        const SfxPoolItem &rVal = pPool->Put(aItemTwo);
        CPPUNIT_ASSERT(bool(rVal == aItemTwo));
        CPPUNIT_ASSERT(!pImpl->maPoolItemArrays[1].empty());<--- Null pointer dereference

        const SfxPoolItem &rVal2 = pPool->Put(aNotherTwo);
        CPPUNIT_ASSERT(bool(rVal2 == rVal));
        CPPUNIT_ASSERT(&rVal2 != &rVal);
    }

    // Test removal.
    SfxVoidItem aRemoveFour(4);
    SfxVoidItem aNotherFour(4);
    const SfxPoolItem &rKeyFour = pPool->Put(aRemoveFour);
    pPool->Put(aNotherFour);
    CPPUNIT_ASSERT(pImpl->maPoolItemArrays[3].size() > 0);<--- Null pointer dereference
    CPPUNIT_ASSERT_EQUAL(static_cast<size_t>(2), pImpl->maPoolItemArrays[3].size());<--- Null pointer dereference
    pPool->Remove(rKeyFour);
    CPPUNIT_ASSERT_EQUAL(static_cast<size_t>(1), pImpl->maPoolItemArrays[3].size());<--- Null pointer dereference
    pPool->Put(aNotherFour);
    CPPUNIT_ASSERT_EQUAL(static_cast<size_t>(2), pImpl->maPoolItemArrays[3].size());<--- Null pointer dereference

    SfxItemPool::Free(pPool);
}


CPPUNIT_TEST_SUITE_REGISTRATION(PoolItemTest);

CPPUNIT_PLUGIN_IMPLEMENT();