CONST_INSTR

This configuration parameter decides if const declarations are instrumented. Possible values are OFF and ON.

Example: A declaration like
const int i = x ? 100 : 200;
must not be instrumented if i is used later in a way where the const property must hold. This is achieved by setting
CONST_INSTR = OFF