adding a check for contracts-nonattr flag

NinaRanns · NinaRanns · commit 4e0af39b6308 · 2025-03-11T15:41:01.000Z
diff --git a/gcc/cp/class.cc b/gcc/cp/class.cc
@@ -3227,6 +3227,7 @@ check_for_override (tree decl, tree ctype)
 	TYPE_HAS_NONTRIVIAL_DESTRUCTOR (ctype) = true;
 
       if (DECL_HAS_CONTRACTS_P(decl)
+	  && flag_contracts_nonattr
 	  && flag_contract_nonattr_inheritance_mode
 	      == CONTRACT_INHERITANCE_NONE)
 	{

Original file line number	Diff line number	Diff line change
`@@ -3227,6 +3227,7 @@ check_for_override (tree decl, tree ctype)`
`3227`	`3227`	`TYPE_HAS_NONTRIVIAL_DESTRUCTOR (ctype) = true;`
`3228`	`3228`
`3229`	`3229`	`if (DECL_HAS_CONTRACTS_P(decl)`
	`3230`	`+ && flag_contracts_nonattr`
`3230`	`3231`	`&& flag_contract_nonattr_inheritance_mode`
`3231`	`3232`	`== CONTRACT_INHERITANCE_NONE)`
`3232`	`3233`	`{`