get next instruction address by adding 4 may result in wrong address when supporting "c" extension about freertos-kernel HOT 3 CLOSED

Thanks for providing this information - currently we don't support the 'C' extension but if this is something of interest to you then we can add it to our backlog. Alternatively if you wish to see support sooner then I would encourage you to submit a pull request with the necessary modifications.

from freertos-kernel.

Hi, @RichardBarry I may not agree with you.
see risc-v demo below, all the gcc options are "-march=rv32imac", so at least the demo developers did NOT known the information that "currently we don't support the 'C' extension ". this will definitely result in a exception in long term
https://github.com/FreeRTOS/FreeRTOS/blob/8e36bee30eef2107e128edb58e83ee46e8241a91/FreeRTOS/Demo/RISC-V_RV32_SiFive_HiFive1-RevB_FreedomStudio/.cproject#L88
I think there two ways for it:

1. explicitly claim that “c” extension NOT is supported yet somewhere easy to be seen
2. I will try to PR as what I said in the first comment

from freertos-kernel.

Indeed the addition by the instruction size needs to be different for each trap handler. In this case the addi a1, a1, 4 should go under test_if_environment_call. The instruction size of ecall is always four.

from freertos-kernel.