Location via proxy: [ UP ]
[Report a bug] [Manage cookies] No cookies No scripts No ads No referrer Show this form

CodeQL library for C/C++

codeql/cpp-all 4.3.1 (changelog, source)

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

.

implies_v2

Module signature Semantic

Predicates

additionalValueFlowStep

conversionCannotOverflow

getABasicBlockSuccessor

Types

ConditionalExpr

ConstantIntegerExpr

FloatingPointType

ShiftRightUnsignedExpr

SsaExplicitUpdate

Parameters

Location

Predicate signature Semantic::implies_v2

signature predicate implies_v2(Guard g1, boolean b1, Guard g2, boolean b2)

Copyright 2025 GitHub Software UK Ltd.Privacy Statement