CPP: Refine fix.

geoffw0 · geoffw0 · commit 905336a62590 · 2018-10-23T13:05:42.000+01:00
diff --git a/cpp/ql/src/jsf/4.10 Classes/AV Rule 79.ql b/cpp/ql/src/jsf/4.10 Classes/AV Rule 79.ql
@@ -164,7 +164,9 @@ predicate unreleasedResource(Resource r, Expr acquire, File f, int acquireLine)
     // we must be missing information.
     and forall(Destructor d |
       d = r.getDeclaringType().getAMember() and
-      not d.isCompilerGenerated() |
+      not d.isCompilerGenerated() and
+      not d.isDefaulted() and
+      not d.isDeleted() |
       exists(d.getBlock())
     ) 
 }

Original file line number	Diff line number	Diff line change
`@@ -164,7 +164,9 @@ predicate unreleasedResource(Resource r, Expr acquire, File f, int acquireLine)`
`164`	`164`	`// we must be missing information.`
`165`	`165`	`and forall(Destructor d \|`
`166`	`166`	`d = r.getDeclaringType().getAMember() and`
`167`		`- not d.isCompilerGenerated() \|`
	`167`	`+ not d.isCompilerGenerated() and`
	`168`	`+ not d.isDefaulted() and`
	`169`	`+ not d.isDeleted() \|`
`168`	`170`	`exists(d.getBlock())`
`169`	`171`	`)`
`170`	`172`	`}`