DEF_CHK_VAL_MIN()

Validates a value as greater than or equal to a specified minimum value.

Files

lib_def.h

Prototype

          DEF_CHK_VAL_MIN(val, val_min);

Arguments

val

Value to validate.

val_min

Minimum value to test.

Returned Value

DEF_OK

Value is greater than or equal to minimum value;

DEF_FAIL

otherwise.

Required Configuration

None.

Notes / Warnings

DEF_CHK_VAL_MIN() avoids directly comparing any two values if only one of the values is negative since the negative value might be incorrectly promoted to an arbitrary unsigned value if the other value to compare is unsigned.

Validation of values is limited to the range supported by the compiler and/or target environment. All other values that underflow/overflow the supported range will modulo/wrap into the supported range as arbitrary signed or unsigned values. Therefore, any values that underflow the most negative signed value or overflow the most positive unsigned value supported by the compiler and/or target environment cannot be validated:

(    N-1       N     ]

( -(2   )  ,  2  - 1 ]

(                    ]

where N is the number of data word bits supported by the compiler and/or target environment. Note that the most negative value, -2^(N-1), is not included in the supported range since many compilers do not always correctly handle this value.

Example Usage

          #define  CFG_VAL           -1
           
          #if     (DEF_CHK_VAL_MIN(CFG_VAL, 0u) != DEF_OK)  /* Signed CFG_VAL NOT promoted to unsigned. */
          #error  "CFG_VAL must be >= 0"
          #endif