Hello,
in blackfin+ code I am calling a function using a function pointer.
Is there a way to tell the compiler that any function assigned to the function pointer will be pure?
According to the documentation the pure pragma only woks at function definition not at the caller.
I.e would somehing like the follwing work?
void func(void);
#pragme pure
void (*myfuction)(int param); //does the compiler recognize that *myfuction will always be a pure function?
void func(void)
{
//some code...
(*myfunction)(param) //this is a pure function: any function assigned to myfunction is guaranteed to be pure
// some cother code
}
