OmpSupport::requireExactIntegralConstantExpression

Require expression to be one language‐valid target‐ABI integral constant expression. This is a proof‐only API: every runtime expression is a hard contract violation.

Synopsis

Declared in <src/midend/programTransformation/ompLowering/omp_lowering.h>

void
requireExactIntegralConstantExpression(
    SgExpression* expression,
    char const* contract);

Parameters

Name	Description
expression	This class represents the notion of an expression. Expressions

Created with MrDocs