Specifically if features like function pointers are avoided, and tail call optimized recursive data structure functions are used. Hell for embedded uses if it c

Specifically if features like function pointers are avoided, and tail call optimized recursive data structure functions are used. Hell for embedded uses if it can just determine it for some functions, and not others (like say anything involving dispatch) it would still be very useful. From writing: TaskCreate(&some_func, 2048 /* Hope this is enough stack */) To: TaskCreate(&some_func, sizeof(some_func)) would be amazing.