Module IR

Import path

semmle.code.cpp.ir.implementation.raw.IR

Imports

Classes

IRPropertyProvider

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.