CodeQL library for Go
codeql/go-all 2.1.3 (changelog, source)
Search

Member predicate UpperBoundCheck::barrierFor

Holds if this should be a barrier for a flow state with bit size bitSize and architecture bit size architectureBitSize.

This includes flow states which are transformed into other flow states.

predicate barrierFor(int bitSize, int architectureBitSize)