Merge pull request #17917 from paldepind/rust-df-types

Rust: Fix unique type data flow inconsistency

Author: paldepind

rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

@@ -223,7 +223,7 @@ module RustDataFlow implements InputSig<Location> {
 
   DataFlowCallable nodeGetEnclosingCallable(Node node) { none() }
 
-  DataFlowType getNodeType(Node node) { none() }
+  DataFlowType getNodeType(Node node) { any() }
 
   predicate nodeIsHidden(Node node) { none() }
 
@@ -253,6 +253,8 @@ module RustDataFlow implements InputSig<Location> {
 
   OutNode getAnOutNode(DataFlowCall call, ReturnKind kind) { none() }
 
+  // NOTE: For now we use the type `Unit` and do not benefit from type
+  // information in the data flow analysis.
   final class DataFlowType = Unit;
 
   predicate compatibleTypes(DataFlowType t1, DataFlowType t2) { any() }

rust/ql/test/extractor-tests/generated/BecomeExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -3,6 +3,3 @@ uniqueEnclosingCallable
 | gen_become_expr.rs:4:19:4:24 | Param | Node should have one enclosing callable but has 0. |
 uniqueCallEnclosingCallable
 | gen_become_expr.rs:8:17:8:36 | CallExpr | Call should have one enclosing callable but has 0. |
-uniqueType
-| gen_become_expr.rs:4:11:4:16 | Param | Node should have one type but has 0. |
-| gen_become_expr.rs:4:19:4:24 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/ClosureExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -5,10 +5,3 @@ uniqueEnclosingCallable
 | gen_closure_expr.rs:7:20:7:20 | Param | Node should have one enclosing callable but has 0. |
 | gen_closure_expr.rs:9:6:9:6 | Param | Node should have one enclosing callable but has 0. |
 | gen_closure_expr.rs:11:14:11:14 | Param | Node should have one enclosing callable but has 0. |
-uniqueType
-| gen_closure_expr.rs:5:6:5:6 | Param | Node should have one type but has 0. |
-| gen_closure_expr.rs:6:11:6:16 | Param | Node should have one type but has 0. |
-| gen_closure_expr.rs:7:12:7:17 | Param | Node should have one type but has 0. |
-| gen_closure_expr.rs:7:20:7:20 | Param | Node should have one type but has 0. |
-| gen_closure_expr.rs:9:6:9:6 | Param | Node should have one type but has 0. |
-| gen_closure_expr.rs:11:14:11:14 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/Function/CONSISTENCY/DataFlowConsistency.expected

@@ -1,4 +1,2 @@
 uniqueEnclosingCallable
 | gen_function.rs:4:8:4:13 | Param | Node should have one enclosing callable but has 0. |
-uniqueType
-| gen_function.rs:4:8:4:13 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/LetExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -2,5 +2,3 @@ uniqueEnclosingCallable
 | gen_let_expr.rs:3:18:3:43 | Param | Node should have one enclosing callable but has 0. |
 uniqueCallEnclosingCallable
 | gen_let_expr.rs:6:18:6:24 | CallExpr | Call should have one enclosing callable but has 0. |
-uniqueType
-| gen_let_expr.rs:3:18:3:43 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/MacroItems/CONSISTENCY/DataFlowConsistency.expected

@@ -1,9 +1,6 @@
 uniqueEnclosingCallable
 | common_definitions.rs:3:15:3:25 | Param | Node should have one enclosing callable but has 0. |
 | file://:0:0:0:0 | Param | Node should have one enclosing callable but has 0. |
-uniqueType
-| common_definitions.rs:3:15:3:25 | Param | Node should have one type but has 0. |
-| file://:0:0:0:0 | Param | Node should have one type but has 0. |
 uniqueNodeLocation
 | file://:0:0:0:0 | BlockExpr | Node should have one location but has 0. |
 | file://:0:0:0:0 | MethodCallExpr | Node should have one location but has 0. |

rust/ql/test/extractor-tests/generated/MatchArm/CONSISTENCY/DataFlowConsistency.expected

@@ -1,4 +1,2 @@
 uniqueEnclosingCallable
 | gen_match_arm.rs:3:19:3:24 | Param | Node should have one enclosing callable but has 0. |
-uniqueType
-| gen_match_arm.rs:3:19:3:24 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/MatchExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -1,4 +1,2 @@
 uniqueEnclosingCallable
 | gen_match_expr.rs:3:20:3:25 | Param | Node should have one enclosing callable but has 0. |
-uniqueType
-| gen_match_expr.rs:3:20:3:25 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/Trait/CONSISTENCY/DataFlowConsistency.expected

@@ -1,4 +1,2 @@
 uniqueEnclosingCallable
 | gen_trait.rs:7:32:7:60 | Param | Node should have one enclosing callable but has 0. |
-uniqueType
-| gen_trait.rs:7:32:7:60 | Param | Node should have one type but has 0. |

rust/ql/test/library-tests/controlflow/CONSISTENCY/DataFlowConsistency.expected

@@ -63,52 +63,3 @@ uniqueCallEnclosingCallable
 | test.rs:381:12:381:30 | CallExpr | Call should have one enclosing callable but has 0. |
 | test.rs:384:9:384:23 | CallExpr | Call should have one enclosing callable but has 0. |
 | test.rs:404:5:404:18 | CallExpr | Call should have one enclosing callable but has 0. |
-uniqueType
-| test.rs:18:32:18:37 | Param | Node should have one type but has 0. |
-| test.rs:36:31:36:37 | Param | Node should have one type but has 0. |
-| test.rs:50:34:50:40 | Param | Node should have one type but has 0. |
-| test.rs:64:34:64:40 | Param | Node should have one type but has 0. |
-| test.rs:78:19:78:24 | Param | Node should have one type but has 0. |
-| test.rs:98:17:98:22 | Param | Node should have one type but has 0. |
-| test.rs:114:25:114:30 | Param | Node should have one type but has 0. |
-| test.rs:115:20:115:20 | Param | Node should have one type but has 0. |
-| test.rs:121:21:121:26 | Param | Node should have one type but has 0. |
-| test.rs:129:25:129:38 | Param | Node should have one type but has 0. |
-| test.rs:137:20:137:33 | Param | Node should have one type but has 0. |
-| test.rs:144:23:144:28 | Param | Node should have one type but has 0. |
-| test.rs:152:29:152:34 | Param | Node should have one type but has 0. |
-| test.rs:163:29:163:34 | Param | Node should have one type but has 0. |
-| test.rs:174:27:174:32 | Param | Node should have one type but has 0. |
-| test.rs:183:22:183:27 | Param | Node should have one type but has 0. |
-| test.rs:196:22:196:27 | Param | Node should have one type but has 0. |
-| test.rs:209:28:209:33 | Param | Node should have one type but has 0. |
-| test.rs:222:26:222:32 | Param | Node should have one type but has 0. |
-| test.rs:222:35:222:41 | Param | Node should have one type but has 0. |
-| test.rs:222:44:222:50 | Param | Node should have one type but has 0. |
-| test.rs:227:25:227:31 | Param | Node should have one type but has 0. |
-| test.rs:227:34:227:40 | Param | Node should have one type but has 0. |
-| test.rs:227:43:227:49 | Param | Node should have one type but has 0. |
-| test.rs:232:27:232:33 | Param | Node should have one type but has 0. |
-| test.rs:232:36:232:41 | Param | Node should have one type but has 0. |
-| test.rs:232:44:232:50 | Param | Node should have one type but has 0. |
-| test.rs:237:26:237:32 | Param | Node should have one type but has 0. |
-| test.rs:242:29:242:35 | Param | Node should have one type but has 0. |
-| test.rs:242:38:242:43 | Param | Node should have one type but has 0. |
-| test.rs:242:46:242:52 | Param | Node should have one type but has 0. |
-| test.rs:250:28:250:34 | Param | Node should have one type but has 0. |
-| test.rs:250:37:250:42 | Param | Node should have one type but has 0. |
-| test.rs:250:45:250:51 | Param | Node should have one type but has 0. |
-| test.rs:258:29:258:35 | Param | Node should have one type but has 0. |
-| test.rs:269:38:269:44 | Param | Node should have one type but has 0. |
-| test.rs:273:38:273:52 | Param | Node should have one type but has 0. |
-| test.rs:283:19:283:42 | Param | Node should have one type but has 0. |
-| test.rs:291:44:291:67 | Param | Node should have one type but has 0. |
-| test.rs:302:23:302:32 | Param | Node should have one type but has 0. |
-| test.rs:302:35:302:48 | Param | Node should have one type but has 0. |
-| test.rs:309:35:309:58 | Param | Node should have one type but has 0. |
-| test.rs:319:23:319:36 | Param | Node should have one type but has 0. |
-| test.rs:324:29:324:42 | Param | Node should have one type but has 0. |
-| test.rs:335:28:335:35 | Param | Node should have one type but has 0. |
-| test.rs:342:29:342:40 | Param | Node should have one type but has 0. |
-| test.rs:401:15:401:25 | Param | Node should have one type but has 0. |
-| test.rs:408:16:408:19 | Param | Node should have one type but has 0. |