Description:
EVAZ detects that for the given operands the expression value is always zero. This can be caused by overflow for arithmetic operations, by shifting all significant bits in the shift operations or clearing all bits by bit AND operation.
Example: