What clad says¶
Every message clad emits, as it is worded. A placeholder like %0 is
filled in where the message is emitted: a name from the code, or one of the
constructs in What the analyses look for.
remark_construct_costRemark: %0
remark_construct_cost_forRemark: ‘%0’: %1
note_construct_missNote: %0
note_construct_fixNote: to avoid this, make it %0 (CLAD%1)
note_analysis_offNote: the %0 analysis is off (-fdisable-analysis=%0)
remark_value_keptRemark: clad keeps this value for the reverse sweep
note_tbr_could_not_proveNote: to-be-recorded analysis could not show it unused
note_tbr_disabledNote: to-be-recorded analysis is disabled
note_derivative_requestedNote: in the derivative of ‘%0’ requested here
note_kept_value_isNote: the value kept is the one this expression had