Main Content

Main entry point (-main)

Specify a Microsoft Visual C++ extensions of main

Description

This option affects a Code Prover analysis only.

This option is not available for code generated from MATLAB® code or Simulink® models.

Specify the function that you want to use as main. If the function does not exist, the verification stops with an error message. Use this option to specify Microsoft® Visual C++® extensions of main.

Set Option

User interface (desktop products only): In your project configuration, the option is on the Code Prover Verification node. See Dependencies for other options that you must also enable.

User interface (Polyspace Platform, desktop products only): In your project configuration, the option is on the Static Analysis tab on the Run Time Errors node. See Dependencies for other options that you must also enable.

Command line and options file: Use the option -main. See Command-Line Information.

Settings

Default: _tmain

_tmain

Use _tmain as entry point to your code.

wmain

Use wmain as entry point to your code.

_tWinMain

Use _tWinMain as entry point to your code.

wWinMain

Use wWinMain as entry point to your code.

WinMain

Use WinMain as entry point to your code.

DllMain

Use DllMain as entry point to your code.

Dependencies

This option is enabled only if you:

Command-Line Information

Parameter: -main
Value: _tmain | wmain | _tWinMain | wWinMain | WinMain | DllMain
Example (Code Prover): polyspace-code-prover -sources file_name -compiler visual14.0 -main _tmain
Example (Code Prover Server): polyspace-code-prover-server -sources file_name -compiler visual14.0 -main _tmain

See Also

|

Topics