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

Class RangeSsa

The SSA logic comes in two versions: the standard SSA and range-analysis RangeSSA. This class provides the range-analysis SSA logic.

Import path

import cpp

Direct supertypes

Indirect supertypes

Predicates

custom_phi_node

Add a phi node on the out-edge of a guard.

Inherited predicates

abs

Returns the absolute value of the receiver (or INT_MIN when the receiver is INT_MIN)

from int
acos

Returns the inverse cosine of the receiver

from int
asin

Returns the inverse sine of the receiver

from int
atan

Returns the inverse tangent of the receiver

from int
bitAnd

Returns the bitwise and of the receiver and the argument

from int
bitNot

Returns the bitwise complement of the receiver

from int
bitOr

Returns the bitwise or of the receiver and the argument

from int
bitShiftLeft

Returns the bitwise left shift of the receiver by the argument

from int
bitShiftRight

Returns the unsigned bitwise right shift of the receiver by the argument

from int
bitShiftRightSigned

Returns the signed bitwise right shift of the receiver by the argument

from int
bitXor

Returns the bitwise xor of the receiver and the argument

from int
ceil

Returns the smallest integer greater than or equal to the receiver

from float
copySign

Returns the floating point number with the magnitude of the receiver and the sign of the argument.

from float
cos

Returns the cosine of the receiver

from int
cosh

Returns the hyperbolic cosine of the receiver

from int
exp

Returns e (the base of the natural logarithm) raised to the power of the receiver

from int
floor

Returns the largest integer that is not greater than the receiver

from float
gcd

Returns the greatest common divisor of the receiver and the argument, or zero if both receiver and argument are zero, or INT_MIN if the greatest common divisor is INT_MAX+1

from int
getAUse

Holds if SSA variable (v, def) reaches result, where result is an access of v.

from SsaHelper
log

Returns the natural logarithm of the receiver

from int
log

Returns the logarithm of the receiver in the given base

from int
log

Returns the logarithm of the receiver in the given base

from int
log10

Returns the base-10 logarithm of the receiver

from int
log2

Returns the base-2 logarithm of the receiver

from int
maximum

Returns the larger of the receiver and the argument

from int
maximum

Returns the larger of the receiver and the argument

from int
minimum

Returns the smaller of the receiver and the argument

from int
minimum

Returns the smaller of the receiver and the argument

from int
nextAfter

Returns the number adjacent to the receiver in the direction of the argument.

from float
nextDown

Returns the number adjacent to the receiver in the direction of negative infinity.

from float
nextUp

Returns the number adjacent to the receiver in the direction of positive infinity.

from float
phi_node

Holds if there is a phi node for variable v at the start of basic block b.

from SsaHelper
pow

Returns the receiver raised to the given power

from int
pow

Returns the receiver raised to the given power

from int
signum

Returns the sign of the receiver: zero if it is zero, 1.0 if it is greater than zero, -1.0 if it is less than zero.

from float
sin

Returns the sine of the receiver

from int
sinh

Returns the hyperbolic sine of the receiver

from int
sqrt

Returns the square root of the receiver

from int
ssaDefinitionReachesEndOfBB

Holds if SSA variable (v, def) reaches the end of block b.

from SsaHelper
ssa_defn

Holds if v is defined, for the purpose of SSA, at node, which is at position index in block b. This includes definitions from phi nodes.

from SsaHelper
tan

Returns the tangent of the receiver

from int
tanh

Returns the hyperbolic tangent of the receiver

from int
toBigInt

Returns the receiver’s value as an arbitrary-precision signed integer

from int
toString

Gets a string representation of the SSA variable represented by the pair (node, v).

from SsaHelper
toString

Returns a string representation of the receiver (in decimal)

from int
toUnicode

Returns the unicode character for the receiver seen as a unicode code point

from int
ulp

Returns the ULP (unit in last place) of the receiver.

from float

Charpred