23.7.39 Non_Short_Circuit_Operators

Flag all calls to predefined and and or operators for
any boolean type. Calls to
user-defined and and or and to operators defined by renaming
declarations are not flagged. Calls to predefined and and or
operators for modular types or boolean array types are not flagged.