File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -3139,8 +3139,8 @@ finish_function_contracts (tree fndecl)
3139
3139
postcondition checks are enabled on the caller side. */
3140
3140
bool copy_post
3141
3141
= (flag_contract_nonattr_client_check > 1 )
3142
- || ((DECL_IOBJ_MEMBER_FUNCTION_P (fndecl)
3143
- && DECL_VIRTUAL_P (fndecl)));
3142
+ || ((DECL_IOBJ_MEMBER_FUNCTION_P (fndecl)
3143
+ && DECL_VIRTUAL_P (fndecl)));
3144
3144
3145
3145
copy_and_remap_contracts (wrapdecl, fndecl, true , copy_post);
3146
3146
}
@@ -3399,7 +3399,7 @@ maybe_contract_wrap_call (tree fndecl, tree call)
3399
3399
postcondition checks are enabled on the caller side. */
3400
3400
bool check_post
3401
3401
= (flag_contract_nonattr_client_check > 1 )
3402
- || (DECL_IOBJ_MEMBER_FUNCTION_P (fndecl) && DECL_VIRTUAL_P (fndecl));
3402
+ || (DECL_IOBJ_MEMBER_FUNCTION_P (fndecl) && DECL_VIRTUAL_P (fndecl));
3403
3403
3404
3404
bool do_pre = has_active_preconditions (fndecl);
3405
3405
bool do_post = has_active_postconditions (fndecl);
You can’t perform that action at this time.
0 commit comments