rules

cfamily.ConversionOutcome

data ConversionOutcome

What a conversion whose result is out of the target’s reach gives: an unspecified value, or undefined behavior.

cfamily.FloatDivisionByZero

data FloatDivisionByZero

What dividing a floating value by zero is.

cfamily.VariableLengthArrays

data VariableLengthArrays

Variable length arrays: not part of the language, part of it (C 6.7.6.2p4), or an implementation’s extension the verdict assumes (GNU’s in C++, named implementation:choice).

cfamily.HeaderContents

record HeaderContents

A header one library defines (not the standard): its name, the library, and the headers it includes.

cfamily.Rules

record Rules

The rules on which the dialects differ.

cfamily.Rules.headersWith

def Rules.headersWith (rules : Rules) (written : List String) : List String

The headers a program has, as written and with those that the written ones include by the rules’ libraries.

cfamily.Rules.headerAssumptions

def Rules.headerAssumptions (rules : Rules) (written : List String) : List String

The choices a program’s headers assume: library:header.contents for each header a library defines that it includes.