Next: Non_SPARK_Attributes, Previous: Non_Qualified_Aggregates, Up: Predefined Rules
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.
This rule has no parameters.