CodeQL library for C/C++

codeql/cpp-all 0.12.0 (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

getOperand

Class AssumeExpr

Predicates

getAPrimaryQlClass

Inherited predicates

getAFalseSuccessor

getAPredecessor

getATrueSuccessor

getControlFlowScope

getConversionString

getEnclosingBlock

getEnclosingDeclaration

getEnclosingElement

getEnclosingFunction

getEnclosingStmt

getEnclosingVariable

getExplicitlyConverted

getFullyConverted

getImplicitlyConverted

getParentWithConversions

getPrimaryQlClasses

getUnderlyingType

getUnspecifiedType

getValueCategoryString

hasExplicitConversion

hasImplicitConversion

hasLValueToRValueConversion

isAffectedByMacro

isCompilerGenerated

isFromTemplateInstantiation

isFromUninstantiatedTemplate

isGLValueCategory

isInMacroExpansion

isLValueCategory

isPRValueCategory

isParenthesised

isRValueCategory

isXValueCategory

mayBeGloballyImpure

Member predicate AssumeExpr::getOperand

Gets the operand of the __assume expressions.

Expr getOperand()

Copyright 2023 GitHub Software UK Ltd.Privacy Statement