Line data Source code
1 : /* "main" for the compiler driver.
2 : Copyright (C) 1987-2026 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 292851 : main (int argc, char **argv)
43 : {
44 292851 : driver d (false, /* can_finalize */
45 292851 : false); /* debug */
46 :
47 292851 : return d.main (argc, argv);
48 292369 : }
|