
globals.c:5:41: Redundant checked qualifier on doubled
globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
globals.c: (in function noglobs)
globals.c:13:3: Undocumented use of global checkstrict
globals.c: (in function specglobs)
globals.c:19:3: Undocumented use of global check
globals.c:21:3: Undocumented use of global checkstrict

Finished checking --- 5 code warnings, as expected

globals.c:5:41: Redundant checked qualifier on doubled
globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
globals.c: (in function noglobs)
globals.c:13:3: Undocumented use of global checkstrict
globals.c: (in function specglobs)
globals.c:18:3: Undocumented use of global imp
globals.c:19:3: Undocumented use of global check
globals.c:21:3: Undocumented use of global checkstrict

Finished checking --- 6 code warnings, as expected

globals.c:5:41: Redundant checked qualifier on doubled
globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
globals.c: (in function noglobs)
globals.c:13:3: Undocumented use of global checkstrict
globals.c: (in function specglobs)
globals.c:18:3: Undocumented use of global imp
globals.c:19:3: Undocumented use of global check
globals.c:21:3: Undocumented use of global checkstrict

Finished checking --- 6 code warnings, as expected

globals.c:5:41: Redundant checked qualifier on doubled
globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict

Finished checking --- 2 code warnings, as expected

globals.c:5:41: Redundant checked qualifier on doubled
globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
globals.c: (in function noglobs)
globals.c:11:3: Undocumented use of global check
globals.c:13:3: Undocumented use of global checkstrict
globals.c: (in function specglobs)
globals.c:19:3: Undocumented use of global check
globals.c:21:3: Undocumented use of global checkstrict

Finished checking --- 6 code warnings, as expected

globals.c:5:41: Redundant checked qualifier on doubled
globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
globals.c: (in function noglobs)
globals.c:10:3: Undocumented use of global imp
globals.c:11:3: Undocumented use of global check
globals.c:13:3: Undocumented use of global checkstrict
globals.c: (in function specglobs)
globals.c:18:3: Undocumented use of global imp
globals.c:19:3: Undocumented use of global check
globals.c:21:3: Undocumented use of global checkstrict

Finished checking --- 8 code warnings, as expected
