ld_cmdline.cpp File Reference

A special command line object for the ld-like options. More...

#include "ld_cmdline.h"
#include <util/invariant.h>
#include <util/prefix.h>
#include <iostream>

Include dependency graph for ld_cmdline.cpp:

Go to the source code of this file.

Variables
const char *	goto_ld_options_with_argument []
const char *	ld_options_with_argument []
const char *	ld_options_without_argument []

Detailed Description

A special command line object for the ld-like options.

Definition in file ld_cmdline.cpp.

Variable Documentation

goto_ld_options_with_argument

const char* goto_ld_options_with_argument[]

Initial value:

=
{
  "--verbosity",
  "--native-compiler",
  "--native-linker",
  "--validate-goto-model",
  nullptr
}

Definition at line 20 of file ld_cmdline.cpp.

ld_options_with_argument

const char* ld_options_with_argument[]

Definition at line 29 of file ld_cmdline.cpp.

ld_options_without_argument

const char* ld_options_without_argument[]

Definition at line 117 of file ld_cmdline.cpp.