The RESEXP option specifies that the compiler is permitted to evaluate all restricted expressions at compile time even if this would cause a condition to be raised and the compilation to end with S-level messages.
.-RESEXP---. >>-+-NORESEXP-+------------------------------------------------><
Under the NORESEXP compiler option, the compiler will still evaluate all restricted expression occurring in declarations, including those in INITIAL value clauses.
For example, under the NORESEXP option, the compiler will not flag the following statement (and the ZERODIVIDE exception will be raised at run time).
if preconditions_not_met then
x = 1 / 0;