id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
5874	Function body dependencies FE or BE?	Karim Adbdelhak	somebody	"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?"	task	new	high	Future	Frontend			function body	Francesco Casella