CodeQL library for C/C++
Search

Class IRPropertyProvider

A class that provides additional properties to be dumped for IR instructions and blocks when using the PrintIR module. Libraries that compute additional facts about IR elements can extend the single instance of this class to specify the additional properties computed by the library.

Import path

import semmle.code.cpp.ir.IR

Direct supertypes

Known direct subtypes

    Predicates

    getBlockProperty

    Gets the value of the property named key for the specified block.

    getInstructionProperty

    Gets the value of the property named key for the specified instruction.

    getOperandProperty

    Gets the value of the property named key for the specified operand.

    toString

    Gets a textual representation of this element.