Clear Filters
Clear Filters

polyspace Compiler 및 target data type 설정 문의

4 views (last 30 days)
유근 on 23 Apr 2024
Commented: Kilsu Kim on 25 Apr 2024
Polyspace bugfinder에서 정적분석진행중입니다.
현재 사용하는 target compiler에서 long type의 경우 64bit를 사용하는 것으로 확인했는데, polyspace에서는 long type을 64bit로 설정하는 부분이 없네요
(Target custom하는 부분)
추가로 x86_64의 경우가 유일하게 long type이 64bit로 설정가능하며, 제가 사용하는 컴파일러 데이터 타입과 동일한데 x86_64를 사용해도 문제되는 부분이 없을까요?
현재 사용하는 target은 aarch64이며 컴파일러는 gcc9.3입니다.

Answers (1)

Angelo Yeo
Angelo Yeo on 25 Apr 2024
If you can use the polyspace-configure workflow, it will fully setup the Polyspace command-line automatically. It will not use a -target option but a -custom-target option, which should not be an issue.
For manual configuration you can refer to Generic target options which explains how to setup Polyspace for aarch64 with gcc.
  1 Comment
Kilsu Kim
Kilsu Kim on 25 Apr 2024
To clarify, the 'Generic target options' currently do not support the '-long-is-64bits' option.
Therefore, you have two alternatives: 1) Use the '-custom-target' option or 2) Use 'polyspace-configure'.

Sign in to comment.




Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!