File tree Expand file tree Collapse file tree 1 file changed +5
-15
lines changed Expand file tree Collapse file tree 1 file changed +5
-15
lines changed Original file line number Diff line number Diff line change @@ -1708,24 +1708,14 @@ build_postcondition_function (tree fndecl)
1708
1708
static void
1709
1709
build_contract_function_decls (tree fndecl)
1710
1710
{
1711
- /* Constructors and destructors have their contracts inserted inline. */
1712
- if (!outline_contracts_p (fndecl))
1713
- return ;
1714
-
1711
+ /* Build the pre/post functions (or not). */
1715
1712
if (!get_precondition_function (fndecl))
1716
- {
1717
- /* Build the pre/post functions (or not). */
1718
- tree pre = build_precondition_function (fndecl);
1719
- if (pre)
1720
- set_precondition_function (fndecl, pre);
1721
- }
1713
+ if (tree pre = build_precondition_function (fndecl))
1714
+ set_precondition_function (fndecl, pre);
1722
1715
1723
1716
if (!get_postcondition_function (fndecl))
1724
- {
1725
- tree post = build_postcondition_function (fndecl);
1726
- if (post)
1727
- set_postcondition_function (fndecl, post);
1728
- }
1717
+ if (tree post = build_postcondition_function (fndecl))
1718
+ set_postcondition_function (fndecl, post);
1729
1719
}
1730
1720
1731
1721
/* Build a layout-compatible internal version of source location __impl
You can’t perform that action at this time.
0 commit comments