MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / is_parameter

Function is_parameter

src/analysis/pointsto/mod.rs:1086–1088  ·  view source on GitHub ↗
(local: Local, body: &Body<'_>)

Source from the content-addressed store, hash-verified

1084 body.args_iter().any(|arg| arg == local)
1085}
1086
1087fn point_to_same_projected_alias<'tcx>(
1088 pts1: &FxHashSet<ConstraintNode<'tcx>>,
1089 pts2: &FxHashSet<ConstraintNode<'tcx>>,
1090 points_to_map: &PointsToMap<'tcx>,
1091 body: &Body<'tcx>,

Callers 2

point_to_same_type_paramFunction · 0.85
dfs_paths_recurFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected