WITH REPORT;
PROCEDURE C53007A IS
USE REPORT;
CI1 : CONSTANT INTEGER := 1;
CI9 : CONSTANT INTEGER := 9;
CBT : CONSTANT BOOLEAN := TRUE;
CBF : CONSTANT BOOLEAN := FALSE;
VI1 : INTEGER := IDENT_INT(1);
VI9 : INTEGER := IDENT_INT(9);
VBT : BOOLEAN := IDENT_BOOL(TRUE);
VBF : BOOLEAN := IDENT_BOOL(FALSE);
FLOW_COUNT : INTEGER := 0;
BEGIN
TEST ("C53007A", "CHECK THAT CONTROL FLOWS CORRECTLY IN SIMPLE " &
"NESTED IF_STATEMENTS");
IF VBF THEN FAILED ("INCORRECT CONTROL FLOW 1");
ELSIF CI9 < 20 THEN FLOW_COUNT := FLOW_COUNT + 1;
IF VI1 /= 0 AND TRUE THEN FLOW_COUNT := FLOW_COUNT + 1;
ELSE FAILED ("INCORRECT CONTROL FLOW 2");
END IF;
ELSE FAILED ("INCORRECT CONTROL FLOW 3");
END IF;
IF CBF OR ELSE VI9 = 9 THEN IF VI1 + CI9 > 0 OR (CBF AND VBT) THEN FLOW_COUNT := FLOW_COUNT + 1;
END IF;
ELSIF VBF OR VI1 > 10 THEN FAILED ("INCORRECT CONTROL FLOW 4");
END IF;
IF NOT CBT AND THEN NOT VBT AND THEN CI9 < 0 THEN IF FALSE OR NOT TRUE THEN FAILED ("INCORRECT CONTROL FLOW 5");
ELSIF VI1 >= 0 THEN NULL;
ELSE FAILED ("INCORRECT CONTROL FLOW 6");
END IF;
FAILED ("INCORRECT CONTROL FLOW 7");
ELSIF (VI1 * CI9 + 3 < 0) OR (VBT AND NOT (CI1 < 0)) THEN FLOW_COUNT := FLOW_COUNT + 1;
IF NOT CBT OR ELSE CI9 + 1 = 0 THEN FAILED ("INCORRECT CONTROL FLOW 8");
ELSE FLOW_COUNT := FLOW_COUNT + 1;
IF VI1 * 2 > 0 THEN FLOW_COUNT := FLOW_COUNT + 1;
ELSIF TRUE THEN FAILED ("INCORRECT CONTROL FLOW 9");
ELSE NULL;
END IF;
END IF;
ELSIF FALSE AND CBF THEN FAILED ("INCORRECT CONTROL FLOW 10");
ELSE IF VBT THEN FAILED ("INCORRECT CONTROL FLOW 11");
ELSIF VI1 = 0 THEN FAILED ("INCORRECT CONTROL FLOW 12");
ELSE FAILED ("INCORRECT CONTROL FLOW 13");
END IF;
END IF;
IF 3 = 5 OR NOT VBT THEN FAILED ("INCORRECT CONTROL FLOW 14");
IF TRUE AND CBT THEN FAILED ("INCORRECT CONTROL FLOW 15");
ELSE FAILED ("INCORRECT CONTROL FLOW 16");
END IF;
ELSIF CBF THEN IF VI9 >= 0 OR FALSE THEN IF VBT THEN FAILED ("INCORRECT CONTROL FLOW 17");
END IF;
FAILED ("INCORRECT CONTROL FLOW 18");
ELSIF VI1 + CI9 /= 0 THEN FAILED ("INCORRECT CONTROL FLOW 19");
END IF;
FAILED ("INCORRECT CONTROL FLOW 20");
ELSE IF VBT AND CI9 - 9 = 0 THEN IF FALSE THEN FAILED ("INCORRECT CONTROL FLOW 21");
ELSIF NOT VBF AND THEN CI1 > 0 THEN FLOW_COUNT := FLOW_COUNT + 1;
ELSE FAILED ("INCORRECT CONTROL FLOW 22");
END IF;
FLOW_COUNT := FLOW_COUNT + 1;
ELSIF NOT CBF OR VI1 /= 0 THEN IF VBT THEN NULL;
END IF;
FAILED ("INCORRECT CONTROL FLOW 23");
ELSE FAILED ("INCORRECT CONTROL FLOW 24");
END IF;
FLOW_COUNT := FLOW_COUNT + 1;
END IF;
IF FLOW_COUNT /= 9 THEN
FAILED ("INCORRECT FLOW_COUNT VALUE");
END IF;
RESULT;
END C53007A;