CBMC
as_cmdline.cpp File Reference

A special command line object for GNU Assembler. More...

#include "as_cmdline.h"
#include <util/invariant.h>
#include <util/prefix.h>
#include <iostream>
+ Include dependency graph for as_cmdline.cpp:

Go to the source code of this file.

Variables

const char * goto_as_options_with_argument []
 
const char * as_options_without_argument []
 
const char * as_options_with_argument []
 

Detailed Description

A special command line object for GNU Assembler.

Definition in file as_cmdline.cpp.

Variable Documentation

◆ as_options_with_argument

const char* as_options_with_argument[]
Initial value:
=
{
"--debug-prefix-map",
"--defsym",
"-I",
"--listing-lhs-width",
"--listing-lhs-width2",
"--listing-rhs-width",
"--listing-cont-lines",
"-o",
"-march",
"-mtune",
nullptr
}

Definition at line 65 of file as_cmdline.cpp.

◆ as_options_without_argument

const char* as_options_without_argument[]

Definition at line 29 of file as_cmdline.cpp.

◆ goto_as_options_with_argument

const char* goto_as_options_with_argument[]
Initial value:
=
{
"--verbosity",
"--function",
"--native-assembler",
"--print-rejected-preprocessed-source",
nullptr
}

Definition at line 20 of file as_cmdline.cpp.