How do I resolve the error "Implied return after this statement not allowed (No_Return)" when compiling my Ada project with Polyspace R2025b?
显示 更早的评论
When I compile my Ada project with Polyspace R2025b, I get the following error:
Implied return after this statement not allowed (No_Return)
The "No_Return" procedure in question calls another procedure that is implemented externally in C. I do not receive this compilation error when I compile using the GNAT compiler.
Why am I getting this compilation error?
采纳的回答
MathWorks Support Team
2026-2-18
A "No_Return" procedure cannot exit via a normal return statement or simply by reaching the end of its body. Instead, it must terminate execution through another mechanism, such as raising an exception, calling another "No_Return" procedure, or performing a non-local transfer of control (i.e. abort, task termination).
For a procedure implemented externally, Polyspace will stub the procedure without detailed knowledge of its behaviour. As a result, Polyspace does not know that the procedure never returns. So, the error you are receiving is expected.
To resolve this error, you can explicitly declare the externally-defined procedure as a no-return procedure in your Ada specification by adding:
pragma No_Return (PROCEDURE_NAME);
更多回答（0 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Get Started with Polyspace Products for Ada 的更多信息
2026-2-18
2026-8-10，19:08
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
