Branch data Line data Source code
1 : : /* "main" for the compiler driver.
2 : : Copyright (C) 1987-2025 Free Software Foundation, Inc.
3 : :
4 : : This file is part of GCC.
5 : :
6 : : GCC is free software; you can redistribute it and/or modify it under
7 : : the terms of the GNU General Public License as published by the Free
8 : : Software Foundation; either version 3, or (at your option) any later
9 : : version.
10 : :
11 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 : : for more details.
15 : :
16 : : You should have received a copy of the GNU General Public License
17 : : along with GCC; see the file COPYING3. If not see
18 : : <http://www.gnu.org/licenses/>. */
19 : :
20 : : /* This source file contains "main" for the compiler driver.
21 : : All of the real work is done within gcc.cc; we implement "main"
22 : : in here for the "gcc" binary so that gcc.o can be used in
23 : : libgccjit.so. */
24 : :
25 : : #include "config.h"
26 : : #include "system.h"
27 : : #include "coretypes.h"
28 : : #include "tm.h"
29 : : #include "xregex.h"
30 : : #include "obstack.h"
31 : : #include "intl.h"
32 : : #include "prefix.h"
33 : : #include "opt-suggestions.h"
34 : : #include "gcc.h"
35 : :
36 : : /* Implement the top-level "main" within the driver in terms of
37 : : driver::main (implemented in gcc.cc). */
38 : :
39 : : extern int main (int, char **);
40 : :
41 : : int
42 : 295478 : main (int argc, char **argv)
43 : : {
44 : 295478 : driver d (false, /* can_finalize */
45 : 295478 : false); /* debug */
46 : :
47 : 295478 : return d.main (argc, argv);
48 : 294995 : }
|