Exclude compiler-generated RAII destructor calls

jeongsoolee09 · jeongsoolee09 · commit 24b9f37798bb · 2026-02-23T17:09:23.000-05:00
diff --git a/cpp/misra/src/rules/RULE-21-6-3/AdvancedMemoryManagementUsed.ql b/cpp/misra/src/rules/RULE-21-6-3/AdvancedMemoryManagementUsed.ql
@@ -68,6 +68,10 @@ class NonStandardDeleteOrDeleteArrayOperator extends CustomOperatorNewOrDelete {
   }
 }
 
+class ExplicitDestructorCall extends DestructorCall {
+  ExplicitDestructorCall() { not this.isCompilerGenerated() }
+}
+
 from Element element, string message
 where
   not isExcluded(element, Memory6Package::advancedMemoryManagementUsedQuery()) and
@@ -87,7 +91,7 @@ where
   or
   (
     element instanceof VacuousDestructorCall or
-    element instanceof DestructorCall
+    element instanceof ExplicitDestructorCall
   ) and
   message = "This expression is a call to a destructor."
   or

Original file line number	Diff line number	Diff line change
`@@ -68,6 +68,10 @@ class NonStandardDeleteOrDeleteArrayOperator extends CustomOperatorNewOrDelete {`
`68`	`68`	`}`
`69`	`69`	`}`
`70`	`70`
	`71`	`+class ExplicitDestructorCall extends DestructorCall {`
	`72`	`+ ExplicitDestructorCall() { not this.isCompilerGenerated() }`
	`73`	`+}`
	`74`	`+`
`71`	`75`	`from Element element, string message`
`72`	`76`	`where`
`73`	`77`	`not isExcluded(element, Memory6Package::advancedMemoryManagementUsedQuery()) and`
`@@ -87,7 +91,7 @@ where`
`87`	`91`	`or`
`88`	`92`	`(`
`89`	`93`	`element instanceof VacuousDestructorCall or`
`90`		`- element instanceof DestructorCall`
	`94`	`+ element instanceof ExplicitDestructorCall`
`91`	`95`	`) and`
`92`	`96`	`message = "This expression is a call to a destructor."`
`93`	`97`	`or`