There should be some way to identify parameters of declarations or other unused entities that don't matter



extern int y;

int f(int x);

int f(int x) {
  x = x;

The parameter x in the definition is used, but the parameter x in the declaration is not. If one were to write a tool to identify unused entities, that tool would want to exclude the latter, but there seems to be no information in the graph that would allow such a tool to exclude it. (One could test whether the fact /kythe/complete was equal to "incomplete", but that would not distinguish x and the variable y).

pcc created this task.Via WebMar 9 2016, 10:03 PM
pcc assigned this task to zarko.
pcc added a subscriber: pcc.
pcc added a comment.Via WebMar 9 2016, 10:18 PM

A similar case, unused template parameters in template declarations:

template <typename T> class SmallVectorImpl;
schroederc changed the visibility of this Maniphest Task from "All Users" to "Public (No Login Required)".Via WebMay 16 2016, 3:25 PM
schroederc triaged this task as "Low" priority.Via WebMay 17 2016, 9:32 AM
shahms added a subscriber: shahms.Via WebWed, Jun 13, 9:33 AM

Bulk reassignment prior to migration, feel free to give to someone else.

Add Comment