When building a source location for the contract_violation object, we do DECL_ORIGIN (current_function_decl). For wrappers, this gives the invented wrapper name.
We need to add a way of recognising wrapper functions (DECL_IS_WRAPPER_FN_P(NODE)) and add a mapping from the wrapper tot he checked function name.
When building a source location for the contract_violation object, we do DECL_ORIGIN (current_function_decl). For wrappers, this gives the invented wrapper name. We need to add a way of recognising wrapper functions (
DECL_IS_WRAPPER_FN_P(NODE)) and add a mapping from the wrapper tot he checked function name.