proposed bugfix for issue #436#437

lgourdin wants to merge 2 commits intoAbsInt:masterAbsInt/CompCert:masterfrom

lgourdin:riscv_tailcall_j_pseudoinstlgourdin/CompCert:riscv_tailcall_j_pseudoinstCopy head branch name to clipboard