codeql/cpp-all
1.4.3-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Gets the operand of the __assume expressions.
__assume
Expr getOperand()