Shared: Replace a 'count' with a 'strictcount' to prevent a CP when testing on C++.

This commit is contained in:
Mathias Vorreiter Pedersen
2025-04-10 13:56:38 +01:00
parent ef0065546a
commit a1dc87496a

View File

@@ -687,7 +687,7 @@ module MakeModelGenerator<
private DataFlow::ParameterNode parameter;
ContentDataFlowSummaryTargetApi() {
count(string input, string output |
strictcount(string input, string output |
exists(
PropagateContentFlow::AccessPath reads, ReturnNodeExt returnNodeExt,
PropagateContentFlow::AccessPath stores