/* -*- 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/.
 *
 * This file incorporates work covered by the following license notice:
 *
 *   Licensed to the Apache Software Foundation (ASF) under one or more
 *   contributor license agreements. See the NOTICE file distributed
 *   with this work for additional information regarding copyright
 *   ownership. The ASF licenses this file to you under the Apache
 *   License, Version 2.0 (the "License"); you may not use this file
 *   except in compliance with the License. You may obtain a copy of
 *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
 */
 
#include <sal/config.h>
 
#include <cassert>
#include <cxxabi.h>
#include <memory>
#include <mutex>
#include <typeinfo>
#include <unordered_map>
#include <utility>
#include <vector>
 
#include <dlfcn.h>
 
#include <rtl/strbuf.hxx>
#include <rtl/ustring.hxx>
#include <sal/log.hxx>
#include <typelib/typedescription.h>
#include <o3tl/string_view.hxx>
 
#include "rtti.hxx"
#include "share.hxx"
 
namespace {
 
class Generated {
public:
    virtual ~Generated() {};
 
    virtual std::type_info * get() const = 0;
};
 
class GeneratedPlain: public Generated {
public:
    GeneratedPlain(std::unique_ptr<std::type_info> && info): info_(std::move(info)) {};
 
    std::type_info * get() const override { return info_.get(); }
 
private:
    std::unique_ptr<std::type_info> info_;
};
 
class GeneratedPad: public Generated {
public:
    GeneratedPad(std::unique_ptr<char[]> && pad): pad_(std::move(pad)) {};
 
    ~GeneratedPad() override { get()->~type_info(); }
 
    std::type_info * get() const override final
    { return reinterpret_cast<std::type_info *>(pad_.get()); }
 
private:
    std::unique_ptr<char[]> pad_;
};
 
class RTTI
{
    typedef std::unordered_map< OUString, std::type_info * > t_rtti_map;
 
    t_rtti_map m_rttis;
    std::vector<OString> m_rttiNames;
    std::unordered_map<OUString, std::unique_ptr<Generated>> m_generatedRttis;
 
#if !defined ANDROID
    void * m_hApp;
#endif
 
public:
    RTTI();
    ~RTTI();
 
    std::type_info * getRTTI(typelib_TypeDescription const &);
};
 
RTTI::RTTI()
#if !defined ANDROID
    : m_hApp( dlopen( nullptr, RTLD_LAZY ) )
#endif
{
}
 
RTTI::~RTTI()
{
#if !defined ANDROID
    dlclose( m_hApp );
#endif
}
 
std::type_info * RTTI::getRTTI(typelib_TypeDescription const & pTypeDescr)
{
    OUString const & unoName = OUString::unacquired(&pTypeDescr.pTypeName);
 
    t_rtti_map::const_iterator iFind( m_rttis.find( unoName ) );
    if (iFind != m_rttis.end())
        return iFind->second;
 
    std::type_info * rtti;
 
    // RTTI symbol
    OStringBuffer buf( 64 );
    buf.append( "_ZTIN" );
    sal_Int32 index = 0;
    do
    {
        std::u16string_view token( o3tl::getToken(unoName, 0, '.', index ) );
        buf.append( static_cast<sal_Int32>(token.size()) );
        OString c_token( OUStringToOString( token, RTL_TEXTENCODING_ASCII_US ) );
        buf.append( c_token );
    }
    while (index >= 0);
    buf.append( 'E' );
 
    OString symName( buf.makeStringAndClear() );
#if !defined ANDROID
    rtti = static_cast<std::type_info *>(dlsym( m_hApp, symName.getStr() ));
#else
    rtti = static_cast<std::type_info *>(dlsym( RTLD_DEFAULT, symName.getStr() ));
#endif
 
    if (rtti)
    {
        std::pair< t_rtti_map::iterator, bool > insertion (
            m_rttis.insert( t_rtti_map::value_type( unoName, rtti ) ) );
        SAL_WARN_IF( !insertion.second, "bridges", "key " << unoName << " already in rtti map" );
        return rtti;
    }
 
    // try to lookup the symbol in the generated rtti map
    auto iFind2( m_generatedRttis.find( unoName ) );
    if (iFind2 != m_generatedRttis.end())
    {
        // taking already generated rtti
        rtti = iFind2->second->get();
        return rtti;
    }
 
    // we must generate it !
    // symbol and rtti-name is nearly identical,
    // the symbol is prefixed with _ZTI
    char const * rttiName = symName.getStr() +4;
 
    SAL_INFO("bridges", "Generated rtti for " << rttiName);
 
    std::unique_ptr<Generated> newRtti;
    switch (pTypeDescr.eTypeClass) {
    case typelib_TypeClass_EXCEPTION:
        {
            typelib_CompoundTypeDescription const & ctd
                = reinterpret_cast<
                    typelib_CompoundTypeDescription const &>(
                        pTypeDescr);
            if (ctd.pBaseTypeDescription)
            {
                // ensure availability of base
                std::type_info * base_rtti = getRTTI(
                    ctd.pBaseTypeDescription->aBase);
                m_rttiNames.emplace_back(OString(rttiName));
                std::unique_ptr<std::type_info> info(
                    new __cxxabiv1::__si_class_type_info(
                       m_rttiNames.back().getStr(), static_cast<__cxxabiv1::__class_type_info *>(base_rtti) ));
                newRtti.reset(new GeneratedPlain(std::move(info)));
            }
            else
            {
                // this class has no base class
                m_rttiNames.emplace_back(OString(rttiName));
                std::unique_ptr<std::type_info> info(
                    new __cxxabiv1::__class_type_info(m_rttiNames.back().getStr()));
                newRtti.reset(new GeneratedPlain(std::move(info)));
            }
            break;
        }
    case typelib_TypeClass_INTERFACE:
        {
            typelib_InterfaceTypeDescription const & itd
                = reinterpret_cast<
                   typelib_InterfaceTypeDescription const &>(
                        pTypeDescr);
            std::vector<std::type_info *> bases;
            for (sal_Int32 i = 0; i != itd.nBaseTypes; ++i) {
                bases.push_back(getRTTI(itd.ppBaseTypes[i]->aBase));
            }
            switch (itd.nBaseTypes) {
            case 0:
                {
                    m_rttiNames.emplace_back(OString(rttiName));
                    std::unique_ptr<std::type_info> info(
                        new __cxxabiv1::__class_type_info(
                            m_rttiNames.back().getStr()));
                    newRtti.reset(new GeneratedPlain(std::move(info)));
                    break;
                }
            case 1:
                {
                    m_rttiNames.emplace_back(OString(rttiName));
                    std::unique_ptr<std::type_info> info(
                        new __cxxabiv1::__si_class_type_info(
                            m_rttiNames.back().getStr(),
                            static_cast<
                                __cxxabiv1::__class_type_info *>(
                                    bases[0])));
                    newRtti.reset(new GeneratedPlain(std::move(info)));
                    break;
                }
            default:
                {
                    m_rttiNames.emplace_back(OString(rttiName));
                    auto pad = std::make_unique<char[]>(
                        sizeof (__cxxabiv1::__vmi_class_type_info)
                        + ((itd.nBaseTypes - 1)
                           * sizeof (
                               __cxxabiv1::__base_class_type_info)));
                    __cxxabiv1::__vmi_class_type_info * info
                       = new(pad.get())
                            __cxxabiv1::__vmi_class_type_info(
                                m_rttiNames.back().getStr(),
                                __cxxabiv1::__vmi_class_type_info::__flags_unknown_mask);
                    info->__base_count = itd.nBaseTypes;
                    for (sal_Int32 i = 0; i != itd.nBaseTypes; ++i)
                    {
                        info->__base_info[i].__base_type
                            = static_cast<
                                __cxxabiv1::__class_type_info *>(
                                    bases[i]);
                        info->__base_info[i].__offset_flags
                           = (__cxxabiv1::__base_class_type_info::__public_mask
                              | ((8 * i) << __cxxabiv1::__base_class_type_info::__offset_shift));
                    }
                    newRtti.reset(new GeneratedPad(std::move(pad)));
                    break;
                }
            }
            break;
        }
    default:
        assert(false); // cannot happen
    }
    rtti = newRtti->get();
 
    auto insertion(m_generatedRttis.emplace(unoName, std::move(newRtti)));
    SAL_WARN_IF( !insertion.second, "bridges", "key " << unoName << " already in generated rtti map" );
 
    return rtti;
}
 
}
 
std::type_info * x86_64::getRtti(typelib_TypeDescription const & type) {
    static RTTI theRttiFactory;
    static std::mutex theMutex;
    std::lock_guard aGuard(theMutex);
    return theRttiFactory.getRTTI(type);
}
 
/* vim:set shiftwidth=4 softtabstop=4 expandtab: */

V530 The return value of function 'append' is required to be utilized.

V530 The return value of function 'append' is required to be utilized.

V575 The null pointer is passed into 'dlopen' function. Inspect the first argument.

V629 Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.

V1098 The emplace function call contains potentially dangerous move operation. Moved object can be destroyed even if there is no insertion. Check the 'std::move(newRtti)' argument.