behavior

cfamily.OrderDifference

data OrderDifference

How the two orders of indeterminately sequenced calls differed: in what they wrote (the output of the order run, as clang runs it, and the other order’s), in the state they left with the same output, or in how they ended (one did not reach the end of the calls: an exception, an exit, a stop).

cfamily.UncomparedReason

data UncomparedReason

Why the two orders of calls were not compared: comparing ran past its budget, or a call’s effect could change an access outside the calls (made after the operands’ statements, in neither order; clang makes it in its place, left to right).

cfamily.Behavior

data Behavior

A behavior the standard leaves open, with the clause that says so.

cfamily.Behavior.outOfRange

def Behavior.outOfRange : Behavior

Out of bounds where neither the index nor the array’s size is known (a null pointer, a stream, a library function’s count).

cfamily.Behavior.outside

def Behavior.outside (index : Int) (size : Nat) : Behavior

Out of bounds at index (the offset from the array’s start the pointer would have) in an array of size elements.