analysis::PropWriteTypeSafetyPass Class Reference

#include <llvmexpr/analysis/passes/PropWriteTypeSafetyPass.hpp>

Inheritance diagram for analysis::PropWriteTypeSafetyPass:

Collaboration diagram for analysis::PropWriteTypeSafetyPass:

Public Types
using	Result = PropWriteTypeSafetyResult
Public Types inherited from analysis::AnalysisPass< PropWriteTypeSafetyPass, PropWriteTypeSafetyResult >
using	Result

Public Member Functions
const char *	getName () const override
Result	run (const std::vector< Token > &tokens, AnalysisManager &am) override
Public Member Functions inherited from analysis::Pass
	Pass ()=default
virtual	~Pass ()=default
	Pass (const Pass &)=delete
Pass &	operator= (const Pass &)=delete
	Pass (Pass &&)=delete
Pass &	operator= (Pass &&)=delete

Detailed Description

Ensures that all writes to the same property use a consistent type. For example, using both prop$f and prop$i on the same property prop is disallowed. This pass will raise an AnalysisError if such an inconsistency is detected.

Depends on: None

Definition at line 37 of file PropWriteTypeSafetyPass.hpp.

Member Typedef Documentation

Result

using analysis::PropWriteTypeSafetyPass::Result = PropWriteTypeSafetyResult

Definition at line 40 of file PropWriteTypeSafetyPass.hpp.

Member Function Documentation

getName()

const char * analysis::PropWriteTypeSafetyPass::getName ( ) const

inlinenodiscardoverridevirtual

Implements analysis::Pass.

Definition at line 42 of file PropWriteTypeSafetyPass.hpp.

                                                       {
        return "Prop Write Type Safety Pass";
    }

run()

PropWriteTypeSafetyPass::Result analysis::PropWriteTypeSafetyPass::run ( const std::vector< Token > & tokens, AnalysisManager & am )

overridevirtual

Implements analysis::AnalysisPass< PropWriteTypeSafetyPass, PropWriteTypeSafetyResult >.

Definition at line 33 of file PropWriteTypeSafetyPass.cpp.

                                                                   {
    std::map<std::string, std::pair<PropWriteType, int>> prop_types;
 
    for (size_t i = 0; i < tokens.size(); ++i) {
        const auto& token = tokens[i];
        if (token.type == TokenType::PropStore) {
            const auto& payload =
                std::get<TokenPayloadPropStore>(token.payload);
            const auto& prop_name = payload.prop_name;
            const auto& prop_type = payload.type;
 
            auto it = prop_types.find(prop_name);
            if (it != prop_types.end()) {
                auto& stored_type = it->second.first;
                if (stored_type != prop_type) {
                    // DELETE can co-exist with other types.
                    if (stored_type == PropWriteType::Delete) {
                        stored_type = prop_type;
                        it->second.second = static_cast<int>(i);
                    } else if (prop_type != PropWriteType::Delete) {
                        throw AnalysisError(
                            std::format(
                                "Inconsistent types used for property '{}'. "
                                "Previous type: {} (idx: {}), current type: {} "
                                "(idx: {}).",
                                prop_name, enum_name(stored_type),
                                it->second.second,
                                enum_name(prop_type), static_cast<int>(i)),
                            static_cast<int>(i));
                    }
                }
            } else {
                prop_types[prop_name] =
                    std::make_pair(prop_type, static_cast<int>(i));
            }
        }
    }
 
    return {};
}

References Delete, enum_name(), and PropStore.

---

The documentation for this class was generated from the following files:

• llvmexpr/analysis/passes/PropWriteTypeSafetyPass.hpp
• llvmexpr/analysis/passes/PropWriteTypeSafetyPass.cpp