CodeQL library for C/C++
codeql/cpp-all 0.12.12-dev (changelog, source)
Search

Class GlobalDef

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternals

Direct supertypes

Indirect supertypes

Fields

Predicates

getIRFunction

Gets the IRFunction whose body is evaluated after this definition.

getIndirection

Gets the indirection index of this definition.

getIndirectionIndex

Gets the indirection index of this definition.

getLocation

Gets the location of this definition.

getUnderlyingType

Gets the type of this definition, after typedefs have been resolved.

getUnspecifiedType

Gets the type of this definition after specifiers have been deeply stripped and typedefs have been resolved.

getVariable

Gets the global variable associated with this definition.

hasIndexInBlock

Holds if this definition has index index in block block, and is a definition of the variable sv.

toString

Gets a textual representation of this definition.

Inherited predicates

asDefOrUse

Gets the underlying non-phi definition or use.

from SsaDefOrUse
asPhi

Gets the underlying phi node.

from SsaDefOrUse

Charpred