How can I use 'mp5xx' target with 'diab' compiler in polyspace 2020 bug finder?
1 次查看(过去 30 天)
显示 更早的评论
Hello,
the target list for diab compiler in polyspace 2020a is limited & as follows:
powerpc, powerpc64, arm, coldfire, i386, mips,mcore,rh850, superh, tricore.
I wanted to use mp5xx or simillar generic (custom) target.
the description for generic target option as given by matlab:
Description
If a target processor is not directly supported by Polyspace®, you can create your own target. You specify the target mcpu representing a generic "Micro Controller/Processor Unit" and then explicitly specify sizes of fundamental data types, endianness and other characteristics.
How can I configure? please advice.
0 个评论
回答(1 个)
Anirban
2023-3-17
If you are using the mp5xx target, you can pick powerpc as your target.
For the purposes of a Polyspace analysis, MPC5xx falls in the PowerPC family.
0 个评论
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Troubleshoot Compilation Errors 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!