soc2c -wcet: print hints to compute the wcet of the current program.

combined with -cc, actually computes the wcet.

nb : only works if wcet tools are installed (owcet.arm, arm-elf-gcc)