Function body dependencies FE or BE?

[Karim Adbdelhak]

Consider following function and its derivative:

function f
  input x;
  input dx;
  output y;
algorithm
  y := x;
annotation (
    derivative = fd,
    Inline=false);
end f;

function df
  input x;
  input dx;
  output y;
algorithm
  y := dx;
end df;

The function call has following structure in the Frontend:

  record CALL
    Absyn.Path path;
    list<Exp> expLst;
    CallAttributes attr;
  end CALL;

And the expLst contains all inputs such that they will be used for any dependency analysis needed. As we see both functions have inputs they do not actually depend on so that leads to different problems, such as thae one mentioned in #5770. In the Backend we would need to get the actual function body from the function tree and traverse it, i would like to have them collected once and always available.

Can that information be provided by the Frontend when the function tree is built?

EDIT:
This also occurs for FMI models where the interface functions can have dummy inputs.