Hello, suppose that we know the WCET ( worst case execution time) related to any function of our program. can we pass this parameter to GCC to take this WCET into acount and never exceed it (optimize the execution time of this function in a way that it can not exceed WCET parameter). Thank you very much