필터 지우기
필터 지우기

polyspace Compiler 및 target data type 설정 문의

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

답변 (1개)

Angelo Yeo
Angelo Yeo 2024년 4월 25일
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
Kilsu Kim
Kilsu Kim 2024년 4월 25일
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'.

댓글을 달려면 로그인하십시오.

제품


릴리스

R2023b

Community Treasure Hunt

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

Start Hunting!