WITH REPORT ;
PROCEDURE C45220A IS
USE REPORT;
SUBTYPE T1 IS BOOLEAN RANGE FALSE..FALSE ;
SUBTYPE T2 IS BOOLEAN RANGE TRUE..TRUE ;
SUBTYPE T3 IS BOOLEAN RANGE FALSE..TRUE ;
SUBTYPE T4 IS T3 RANGE TRUE..TRUE ;
FVAR1 : T1 := FALSE ;
TVAR1 : T2 := TRUE ;
FVAR2 : T3 := FALSE ;
TVAR2 : T4 := TRUE ;
ERROR_COUNT : INTEGER := 0 ;
PROCEDURE BUMP IS
BEGIN
ERROR_COUNT := ERROR_COUNT + 1 ;
END BUMP ;
BEGIN
TEST( "C45220A" , "CHECK THAT '=' AND '/=' PRODUCE CORRECT" &
" RESULTS ON BOOLEAN-TYPE OPERANDS" ) ;
FVAR1 := IDENT_BOOL( FALSE ) ;
TVAR1 := IDENT_BOOL( TRUE ) ;
FVAR2 := IDENT_BOOL( FALSE ) ;
TVAR2 := IDENT_BOOL( TRUE ) ;
IF FALSE = FALSE THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 = FALSE THEN NULL ; ELSE BUMP ; END IF;
IF FALSE = FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 = FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF FALSE = TRUE THEN BUMP ; END IF;
IF FVAR1 = TRUE THEN BUMP ; END IF;
IF FALSE = TVAR2 THEN BUMP ; END IF;
IF FVAR2 = TVAR1 THEN BUMP ; END IF;
IF TRUE = FALSE THEN BUMP ; END IF;
IF TRUE = FVAR1 THEN BUMP ; END IF;
IF TVAR2 = FALSE THEN BUMP ; END IF;
IF TVAR1 = FVAR2 THEN BUMP ; END IF;
IF TRUE = TRUE THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 = TRUE THEN NULL ; ELSE BUMP ; END IF;
IF TRUE = TVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF TVAR2 = TVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF FALSE /= FALSE THEN BUMP ; END IF;
IF FVAR1 /= FALSE THEN BUMP ; END IF;
IF FALSE /= FVAR2 THEN BUMP ; END IF;
IF FVAR2 /= FVAR1 THEN BUMP ; END IF;
IF FALSE /= TRUE THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 /= TRUE THEN NULL ; ELSE BUMP ; END IF;
IF FALSE /= TVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 /= TVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF TRUE /= FALSE THEN NULL ; ELSE BUMP ; END IF;
IF TRUE /= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF TVAR2 /= FALSE THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 /= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF TRUE /= TRUE THEN BUMP ; END IF;
IF TVAR1 /= TRUE THEN BUMP ; END IF;
IF TRUE /= TVAR2 THEN BUMP ; END IF;
IF TVAR2 /= TVAR1 THEN BUMP ; END IF;
IF ERROR_COUNT /=0 THEN
FAILED( "(IN)EQUALITY OF BOOLEAN VALUES - FAILURE1" );
END IF;
RESULT ;
END C45220A;