Main Content

Renesas Compiler (-compiler renesas)

Specify Renesas compiler

Description

Specify renesas for the Compiler (-compiler) option if you compile your code with a Renesas® compiler. By specifying your compiler, you can avoid compilation errors from syntax that is not part of the Standard but comes from language extensions.

Then, specify your target processor type. If you select renesas for Compiler, in the user interface of the Polyspace® desktop products, you see only the processors allowed for a Renesas compiler. Your choice of target processor determines the size of fundamental data types, the endianness of the target machine, and certain keyword definitions.

If you specify the renesas compiler, you must specify the path to your compiler header files. See Provide Standard Library Headers for Polyspace Analysis.

Settings

The targets use these default sizes in bits for the fundamental types. You do not see these sizes in the user interface of the Polyspace desktop products.

Targetcharshortintlonglong longfloatdoublelong doubleptrDefault sign of charEndiannessAlignmentDefinition of size_tDefinition of wchar_t
rl7881616326432323216unsignedLittle16unsigned intunsigned short
rh85081632326432646432unsignedLittle32unsigned intshort
rx81632326432323232unsignedLittle32unsigned intshort
sh81632326432646432signedLittle32unsigned longN/A

Your compiler specification also determines the values of many compiler-specific macros. In case you want to know how Polyspace defines a specific macro, use the option -dump-preprocessing-info.

Command-Line Information

Parameter: -compiler renesas -target
Value: rl78 | rh850 | rx | sh
Default: rl78
Example (Bug Finder): polyspace-bug-finder -compiler renesas -target rx
Example (Code Prover): polyspace-code-prover -compiler renesas -target rx
Example (Bug Finder Server): polyspace-bug-finder-server -compiler renesas -target rx
Example (Code Prover Server): polyspace-code-prover-server -compiler renesas -target rx

Tips

If you use Polyspace as You Code extensions in IDEs, enter this option in an analysis options file. See options file.

Version History

Introduced in R2018b

See Also

|

Topics