C++: Add ssaDefHasSource.

aschackmull · aschackmull · commit 308d15401fb7 · 2025-03-28T11:57:30.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -977,6 +977,8 @@ private module DataFlowIntegrationInput implements SsaImpl::DataFlowIntegrationI
     )
   }
 
+  predicate ssaDefHasSource(SsaImpl::WriteDefinition def) { none() }
+
   predicate ssaDefAssigns(SsaImpl::WriteDefinition def, Expr value) { none() }
 
   class Parameter extends Void {

Original file line number	Diff line number	Diff line change
`@@ -977,6 +977,8 @@ private module DataFlowIntegrationInput implements SsaImpl::DataFlowIntegrationI`
`977`	`977`	`)`
`978`	`978`	`}`
`979`	`979`
	`980`	`+ predicate ssaDefHasSource(SsaImpl::WriteDefinition def) { none() }`
	`981`	`+`
`980`	`982`	`predicate ssaDefAssigns(SsaImpl::WriteDefinition def, Expr value) { none() }`
`981`	`983`
`982`	`984`	`class Parameter extends Void {`