t_improper_initialization.adb:44:13: Found: Variables: use of uninitialized variable: TV
t_improper_initialization.adb:31:32: Error: Parameters: out parameter "IP" not safely initialized
t_improper_initialization.adb:37:10: Found: Variables: variable "TV" used before initialisation
t_improper_initialization.adb:62:17: Found: Variables: use of uninitialized variable: IV8
t_improper_initialization.adb:63:17: Found: Variables: use of uninitialized variable: IV9
t_improper_initialization.adb:51:36: Error: Parameters: out parameter "IP" not safely initialized
t_improper_initialization.adb:55:10: Error: Bad_Init: variable "IV5" unnecessarily initialized in declaration
t_improper_initialization.adb:58:10: Found: Variables: variable "IV8" used before initialisation
t_improper_initialization.adb:58:15: Found: Variables: variable "IV9" used before initialisation
t_improper_initialization.adb:75:38: Error: Parameters: out parameter "BP" not safely initialized before line 95
t_improper_initialization.adb:82:10: Error: Bad_Init: variable "CV2" unnecessarily initialized in declaration
t_improper_initialization.adb:74:38: Error: Parameters: out parameter "IP1" not safely initialized before line 95
t_improper_initialization.adb:74:43: Error: Parameters: out parameter "IP2" not safely initialized before line 95
t_improper_initialization.adb:116:15: Found: Variables: use of uninitialized variable: B
t_improper_initialization.adb:114:10: Found: Variables: variable "B" used before initialisation
t_improper_initialization.adb:112:10: Found: Variables: variable "IV1" not safely initialized before line 117
t_improper_initialization.adb:113:10: Found: Variables: variable "IV2" not safely initialized before line 117
t_improper_initialization.adb:113:15: Found: Variables: variable "IV3" not safely initialized before line 117
t_improper_initialization.adb:118:20: Error: Parameters: use of uninitialized out parameter: IP
t_improper_initialization.adb:117:26: Error: Parameters: out parameter "IP" used before initialisation
t_improper_initialization.adb:133:26: Error: Parameters: out parameter "IP" not safely initialized
t_improper_initialization.adb:137:26: Error: Parameters: out parameter "IP" not safely initialized
t_improper_initialization.adb:169:27: Error: Parameters: out parameter "BP" not safely initialized
t_improper_initialization.adb:179:13: Found: Variables: variable "IV" not safely initialized
t_improper_initialization-sep1.adb:2:23: Error: Parameters: out parameter "Var2" not safely initialized
t_improper_initialization-sep2.adb:2:23: Error: Parameters: out parameter "Var2" not safely initialized
t_improper_initialization.adb:220:16: Error: Parameters: use of uninitialized out parameter: I
t_improper_initialization.adb:221:20: Error: Parameters: use of uninitialized out parameter: I
t_improper_initialization.adb:222:18: Error: Parameters: use of uninitialized out parameter: I
t_improper_initialization.adb:223:32: Error: Parameters: use of uninitialized out parameter: I
t_improper_initialization.adb:227:13: Error: Parameters: use of uninitialized out parameter: AS
t_improper_initialization.adb:211:37: Error: Parameters: out parameter "AS" used before initialisation
t_improper_initialization.adb:211:20: Error: Parameters: out parameter "I" used before initialisation
t_improper_initialization.adb:210:20: Error: Parameters: out parameter "S" not safely initialized
t_improper_initialization.adb:212:7: Found: Variables: variable "S2" not safely initialized
t_improper_initialization-extended_return.adb:4:4: Error: Bad_Init: variable "A" unnecessarily initialized in declaration
t_improper_initialization-extended_return.adb:5:4: Found: Variables: variable "B" not safely initialized before line 8
t_improper_initialization-extended_return.adb:14:17: Found: Variables: variable "X" not safely initialized before line 15
t_improper_initialization-extended_return.adb:21:35: Found: Variables: use of uninitialized variable: C
t_improper_initialization-extended_return.adb:19:13: Found: Variables: variable "C" used before initialisation
t_improper_initialization-extended_return.adb:21:20: Error: Bad_Init: variable "X" unnecessarily initialized in declaration
t_improper_initialization-extended_return.adb:28:13: Found: Variables: variable "D" not safely initialized before line 30
t_improper_initialization-extended_return.adb:33:23: Found: Variables: variable "X" not safely initialized before line 34
t_improper_initialization.adb:245:7: Found: Variables: variable "IV" not safely initialized
t_improper_initialization.adb:276:67: Found: Variables: use of uninitialized variable: I
t_improper_initialization.adb:279:41: Found: Variables: use of uninitialized variable: K
t_improper_initialization.adb:279:35: Found: Variables: use of uninitialized variable: J
t_improper_initialization.adb:280:35: Found: Variables: use of uninitialized variable: L
t_improper_initialization.adb:257:7: Found: Variables: variable "I" used before initialisation
t_improper_initialization.adb:257:10: Found: Variables: variable "J" used before initialisation
t_improper_initialization.adb:257:13: Found: Variables: variable "K" used before initialisation
t_improper_initialization.adb:257:16: Found: Variables: variable "L" used before initialisation
t_improper_initialization.adb:317:7: Found: Variables: variable "I1" not safely initialized
t_improper_initialization.adb:339:7: Found: Variables: variable "V" not safely initialized before line 341
t_improper_initialization.adb:367:25: Found: Variables: use of uninitialized variable: A
t_improper_initialization.adb:373:15: Found: Variables: use of uninitialized variable: A
t_improper_initialization.adb:374:13: Found: Variables: use of uninitialized variable: A
t_improper_initialization.adb:361:7: Found: Variables: variable "A" used before initialisation
t_improper_initialization.adb:362:7: Found: Variables: variable "S" not safely initialized
