t_unsafe_paired_calls-simple.adb:20:4: Error: No_Parameter: construct must have exception handlers
t_unsafe_paired_calls-simple.adb:41:7: Error: No_Parameter: construct must have exception handlers
t_unsafe_paired_calls-simple.adb:97:7: Error: No_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:98:4: Error: No_Parameter: construct must have exception handlers
t_unsafe_paired_calls-simple.adb:102:7: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:109:4: Error: No_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:110:7: Error: No_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:116:7: Error: No_Parameter: opening call to T_Unsafe_Paired_Calls.P is not the first statement
t_unsafe_paired_calls-simple.adb:117:7: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:120:13: Error: No_Parameter: Invalid placement of opening call to T_Unsafe_Paired_Calls.P: call in disallowed structured statement
t_unsafe_paired_calls-simple.adb:122:13: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:131:4: Error: No_Parameter: construct must have exception handlers
t_unsafe_paired_calls-simple.adb:137:4: Error: No_Parameter: construct must have a "when others" exception handler
t_unsafe_paired_calls-simple.adb:140:7: Error: No_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:141:10: Error: No_Parameter: opening call to T_Unsafe_Paired_Calls.P is not directly in a handled sequence of statements
t_unsafe_paired_calls-simple.adb:149:7: Error: No_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:158:7: Error: No_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:166:10: Error: No_Parameter: nested call to T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:203:4: Error: In_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P (different or non static lock value)
t_unsafe_paired_calls-simple.adb:204:7: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P (different or non static lock value)
t_unsafe_paired_calls-simple.adb:202:7: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:205:10: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:212:4: Error: In_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:213:7: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:211:7: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:214:10: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:221:4: Error: In_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:222:7: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:220:7: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:223:10: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:244:10: Error: In_Parameter: nested call to T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:273:4: Error: InOut_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:274:7: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:272:7: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:275:10: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:282:4: Error: InOut_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.R1.F
t_unsafe_paired_calls-simple.adb:283:7: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.R1.F
t_unsafe_paired_calls-simple.adb:281:7: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:284:10: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:292:7: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:293:10: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:314:10: Error: InOut_Parameter: nested call to T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:344:4: Found: Multiple: sequence must end with closing call matching T_Unsafe_Paired_Calls.MultP2
t_unsafe_paired_calls-simple.adb:343:7: Found: Multiple: closing call to T_Unsafe_Paired_Calls.MultV1 has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:39:4: Error: No_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-nesting.adb:40:7: Error: No_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-nesting.adb:33:10: Error: No_Parameter: Invalid placement of opening call to T_Unsafe_Paired_Calls.P: call in disallowed structured statement
t_unsafe_paired_calls-nesting.adb:37:10: Error: No_Parameter: No matching opening block for closing call to T_Unsafe_Paired_Calls.V
t_unsafe_paired_calls-nesting.adb:41:10: Error: No_Parameter: No matching opening block for closing call to T_Unsafe_Paired_Calls.V
t_unsafe_paired_calls-nesting.adb:47:10: Error: No_Parameter: Invalid placement of opening call to T_Unsafe_Paired_Calls.P: if condition is not a boolean constant
t_unsafe_paired_calls-nesting.adb:51:10: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:55:10: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:65:10: Error: No_Parameter: Disallowed statements after closing call to T_Unsafe_Paired_Calls.V
t_unsafe_paired_calls-nesting.adb:86:7: Error: No_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-nesting.adb:156:7: Error: InOut_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:157:10: Error: InOut_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:176:10: Error: InOut_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:199:10: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:208:10: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:156:7: Error: In_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-nesting.adb:157:10: Error: In_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-nesting.adb:199:10: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-nesting.adb:208:10: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-nesting.adb:151:16: Error: InOut_Parameter: No matching opening block for closing call to T_Unsafe_Paired_Calls.V
t_unsafe_paired_calls-nesting.adb:153:16: Error: In_Parameter: No matching opening block for closing call to T_Unsafe_Paired_Calls.V
t_unsafe_paired_calls-nesting.adb:188:19: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:193:19: Error: InOut_Parameter: No matching opening block for closing call to T_Unsafe_Paired_Calls.V
t_unsafe_paired_calls-nesting.adb:195:19: Error: In_Parameter: No matching opening block for closing call to T_Unsafe_Paired_Calls.V
t_unsafe_paired_calls-nesting.adb:202:19: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:204:19: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:210:16: Error: InOut_Parameter: No matching opening block for closing call to T_Unsafe_Paired_Calls.V
t_unsafe_paired_calls-nesting.adb:212:16: Error: In_Parameter: No matching opening block for closing call to T_Unsafe_Paired_Calls.V
t_unsafe_paired_calls-breaks.adb:21:10: Error: Breaks: Closing block followed by breaking statement that does not leave scope of T_Unsafe_Paired_Calls.Breaks.P1
t_unsafe_paired_calls-breaks.adb:44:13: Error: Breaks: Closing block followed by breaking statement that does not leave scope of T_Unsafe_Paired_Calls.Breaks.P1
t_unsafe_paired_calls-breaks.adb:79:13: Error: Breaks: Closing block followed by breaking statement that does not leave scope of T_Unsafe_Paired_Calls.Breaks.P2
t_unsafe_paired_calls-breaks.adb:77:13: Error: Breaks: Closing block followed by breaking statement that does not leave scope of T_Unsafe_Paired_Calls.Breaks.P1
t_unsafe_paired_calls-breaks.adb:105:13: Error: Breaks: Closing call to T_Unsafe_Paired_Calls.Breaks.V1 is nested within another statement
t_unsafe_paired_calls-breaks.adb:107:13: Error: Breaks: closing call to T_Unsafe_Paired_Calls.Breaks.V2 has no matching opening call at start of sequence
t_unsafe_paired_calls-breaks.adb:109:10: Error: Breaks: Statement not preceded by closing block matching T_Unsafe_Paired_Calls.Breaks.P1
t_unsafe_paired_calls-breaks.adb:129:13: Error: Breaks: sequence must end with closing call matching T_Unsafe_Paired_Calls.Breaks.P2
t_unsafe_paired_calls-breaks.adb:122:16: Error: Breaks: Closing block followed by breaking statement that does not leave scope of T_Unsafe_Paired_Calls.Breaks.P2
t_unsafe_paired_calls-breaks.adb:129:13: Error: Breaks: Statement not preceded by closing block matching T_Unsafe_Paired_Calls.Breaks.P2
t_unsafe_paired_calls-breaks.adb:170:13: Error: Breaks: Statement not preceded by closing block matching T_Unsafe_Paired_Calls.Breaks.P1
t_unsafe_paired_calls-breaks.adb:173:13: Error: Breaks: Statement not preceded by closing block matching T_Unsafe_Paired_Calls.Breaks.P2
