main.c 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514
  1. /*
  2. * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
  3. * See the copyright notice in the ACK home directory, in the file "Copyright".
  4. */
  5. /* $Id$ */
  6. /* MAIN PROGRAM */
  7. #include "lint.h"
  8. #include <system.h>
  9. #include "debug.h"
  10. #include "nopp.h"
  11. #include "trgt_sizes.h"
  12. #include "use_tmp.h"
  13. #include "inputtype.h"
  14. #include "input.h"
  15. #include "level.h"
  16. #include "idf.h"
  17. #include "arith.h"
  18. #include "type.h"
  19. #include "proto.h"
  20. #include "declar.h"
  21. #include "tokenname.h"
  22. #include "Lpars.h"
  23. #include "LLlex.h"
  24. #include <alloc.h>
  25. #include "specials.h"
  26. #include "nocross.h"
  27. #include "sizes.h"
  28. #include "align.h"
  29. #include "macro.h"
  30. #include "assert.h"
  31. extern struct tokenname tkidf[];
  32. extern char *symbol2str();
  33. extern char options[128];
  34. #ifndef NOPP
  35. int inc_pos = 1; /* place where next -I goes */
  36. int inc_total = 0;
  37. int inc_max;
  38. char **inctable;
  39. extern int do_dependencies;
  40. extern char *dep_file;
  41. static File *dep_fd = STDOUT;
  42. extern char *getwdir();
  43. #endif /* NOPP */
  44. struct sp_id special_ids[] = {
  45. {"__setjmp", SP_SETJMP}, /* non-local goto's are registered */
  46. {0, 0}
  47. };
  48. #ifndef NOCROSS
  49. arith
  50. short_size = SZ_SHORT,
  51. word_size = SZ_WORD,
  52. dword_size = (2 * SZ_WORD),
  53. int_size = SZ_INT,
  54. long_size = SZ_LONG,
  55. float_size = SZ_FLOAT,
  56. double_size = SZ_DOUBLE,
  57. lngdbl_size = SZ_LNGDBL,
  58. pointer_size = SZ_POINTER;
  59. int
  60. short_align = AL_SHORT,
  61. word_align = AL_WORD,
  62. int_align = AL_INT,
  63. long_align = AL_LONG,
  64. float_align = AL_FLOAT,
  65. double_align = AL_DOUBLE,
  66. lngdbl_align = AL_LNGDBL,
  67. pointer_align = AL_POINTER,
  68. struct_align = AL_STRUCT,
  69. union_align = AL_UNION;
  70. #endif /* NOCROSS */
  71. #ifndef NOPP
  72. arith ifval; /* ifval will contain the result of the #if expression */
  73. #endif /* NOPP */
  74. char *prog_name;
  75. main(argc, argv)
  76. char *argv[];
  77. {
  78. /* parse and interpret the command line options */
  79. prog_name = argv[0];
  80. #ifndef NOPP
  81. inctable = (char **) Malloc(10 * sizeof(char *));
  82. inctable[0] = "";
  83. inctable[1] = "/usr/include";
  84. inctable[2] = 0;
  85. inc_total = 3;
  86. inc_max = 10;
  87. init_pp(); /* initialise the preprocessor macros */
  88. #endif /* NOPP */
  89. /* Note: source file "-" indicates that the source is supplied
  90. as standard input. This is only allowed if INP_READ_IN_ONE is
  91. not defined!
  92. */
  93. #ifdef INP_READ_IN_ONE
  94. while (argc > 1 && *argv[1] == '-')
  95. #else /* INP_READ_IN_ONE */
  96. while (argc > 1 && *argv[1] == '-' && argv[1][1] != '\0')
  97. #endif /* INP_READ_IN_ONE */
  98. {
  99. char *par = &argv[1][1];
  100. do_option(par);
  101. argc--, argv++;
  102. }
  103. #ifdef LINT
  104. lint_init();
  105. #endif /* LINT */
  106. compile(argc - 1, &argv[1]);
  107. #ifdef DEBUG
  108. if (options['h']) hash_stat();
  109. if (options['m']) Info();
  110. #endif /* DEBUG */
  111. #ifndef NOPP
  112. if (do_dependencies) {
  113. extern char *source;
  114. list_dependencies(source);
  115. }
  116. #endif
  117. sys_stop(err_occurred ? S_EXIT : S_END);
  118. /*NOTREACHED*/
  119. }
  120. #ifndef NOPP
  121. struct dependency *file_head;
  122. extern char *strrchr();
  123. list_dependencies(source)
  124. char *source;
  125. {
  126. register struct dependency *p = file_head;
  127. if (source) {
  128. register char *s = strrchr(source, '.');
  129. if (s && *(s+1)) {
  130. s++;
  131. *s++ = 'o';
  132. *s = '\0';
  133. /* the source may be in another directory than the
  134. * object generated, so don't include the pathname
  135. * leading to it.
  136. */
  137. if (s = strrchr(source, '/')) {
  138. source = s + 1;
  139. }
  140. }
  141. else source = 0;
  142. }
  143. if (dep_file && !sys_open(dep_file, OP_WRITE, &dep_fd)) {
  144. fatal("could not open %s", dep_file);
  145. }
  146. while (p) {
  147. dependency(p->dep_idf->id_text, source);
  148. p = p->next;
  149. }
  150. }
  151. add_dependency(s)
  152. char *s;
  153. {
  154. register struct idf *p = str2idf(s, 1);
  155. if (! p->id_resmac) {
  156. register struct dependency *q = new_dependency();
  157. p->id_resmac = K_FILE;
  158. q->dep_idf = p;
  159. q->next = file_head;
  160. file_head = q;
  161. }
  162. }
  163. dependency(s, source)
  164. char *s, *source;
  165. {
  166. if (options['i'] && !strncmp(s, "/usr/include/", 13)) {
  167. return;
  168. }
  169. if (options['m'] && source) {
  170. fprint(dep_fd, "%s: %s\n", source, s);
  171. }
  172. else fprint(dep_fd, "%s\n", s);
  173. }
  174. #endif /* NOPP */
  175. char *source = 0;
  176. #ifdef GEN_NM_LIST
  177. char *nmlist = 0;
  178. #endif /* GEN_NM_LIST */
  179. compile(argc, argv)
  180. char *argv[];
  181. {
  182. char *result;
  183. #ifndef LINT
  184. register char *destination = 0;
  185. #endif /* LINT */
  186. #ifdef DEBUG
  187. #ifndef NOPP
  188. int pp_only = options['E'] || options['P'] || options['C'];
  189. #endif /* NOPP */
  190. #endif
  191. switch (argc) {
  192. case 1:
  193. #ifndef LINT
  194. #ifdef DEBUG
  195. #ifndef NOPP
  196. if (!pp_only)
  197. #endif /* NOPP */
  198. #endif
  199. fatal("%s: destination file not specified", prog_name);
  200. #endif /* LINT */
  201. break;
  202. #ifndef LINT
  203. case 2:
  204. destination = argv[1];
  205. break;
  206. #ifdef GEN_NM_LIST
  207. case 3:
  208. nmlist = argv[2];
  209. destination = argv[1];
  210. break;
  211. #endif /* GEN_NM_LIST */
  212. #endif /* LINT */
  213. default:
  214. #ifndef LINT
  215. #ifdef GEN_NM_LIST
  216. fatal("use: %s source destination [namelist]", prog_name);
  217. #else /* GEN_NM_LIST */
  218. fatal("use: %s source destination", prog_name);
  219. #endif /* GEN_NM_LIST */
  220. #else /* LINT */
  221. fatal("use: %s source", prog_name);
  222. #endif /* LINT */
  223. break;
  224. }
  225. if (strcmp(argv[0], "-"))
  226. FileName = source = argv[0];
  227. else {
  228. source = 0;
  229. FileName = Salloc("standard input", (unsigned) 16);
  230. }
  231. if (!InsertFile(source, (char **) 0, &result)) /* read the source file */
  232. fatal("%s: no source file %s\n", prog_name, FileName);
  233. File_Inserted = 1;
  234. init();
  235. LineNumber = 0;
  236. nestlow = -1;
  237. #ifndef LINT
  238. init_code(destination
  239. && strcmp(destination, "-") != 0
  240. ? destination
  241. : 0);
  242. #endif /* LINT */
  243. #ifndef NOPP
  244. WorkingDir = getwdir(source);
  245. PushLex(); /* initialize lex machine */
  246. #else /* NOPP */
  247. GetToken(&ahead);
  248. #endif /* NOPP */
  249. #ifdef DEBUG
  250. #ifndef NOPP
  251. if (pp_only) /* run the preprocessor as if it is stand-alone */
  252. preprocess();
  253. else
  254. #endif /* NOPP */
  255. #endif /* DEBUG */
  256. {
  257. /* compile the source text */
  258. C_program();
  259. #ifdef PREPEND_SCOPES
  260. prepend_scopes();
  261. #endif /* PREPEND_SCOPES */
  262. #ifndef LINT
  263. end_code();
  264. #endif /* LINT */
  265. #ifdef DEBUG
  266. if (options['u']) {
  267. unstack_level(); /* unstack L_GLOBAL */
  268. }
  269. if (options['f'] || options['t'])
  270. dumpidftab("end of main", options['f'] ? 7 : 0);
  271. #endif /* DEBUG */
  272. }
  273. #ifndef NOPP
  274. PopLex();
  275. #endif /* NOPP */
  276. }
  277. init()
  278. {
  279. init_cst(); /* initialize variables of "cstoper.c" */
  280. reserve(tkidf); /* mark the C reserved words as such */
  281. init_specials(special_ids); /* mark special ids as such */
  282. schar_type = standard_type(CHAR, 0, 1, (arith)1);
  283. uchar_type = standard_type(CHAR, UNSIGNED, 1, (arith)1);
  284. short_type = standard_type(SHORT, 0, short_align, short_size);
  285. ushort_type = standard_type(SHORT, UNSIGNED, short_align, short_size);
  286. /* Treat type `word' as `int', having its own size and
  287. alignment requirements.
  288. This type is transparent to the user.
  289. */
  290. word_type = standard_type(INT, 0, word_align, word_size);
  291. uword_type = standard_type(INT, UNSIGNED, word_align, word_size);
  292. int_type = standard_type(INT, 0, int_align, int_size);
  293. uint_type = standard_type(INT, UNSIGNED, int_align, int_size);
  294. long_type = standard_type(LONG, 0, long_align, long_size);
  295. ulong_type = standard_type(LONG, UNSIGNED, long_align, long_size);
  296. float_type = standard_type(FLOAT, 0, float_align, float_size);
  297. double_type = standard_type(DOUBLE, 0, double_align, double_size);
  298. lngdbl_type = standard_type(LNGDBL, 0, lngdbl_align, lngdbl_size);
  299. void_type = standard_type(VOID, 0, 1, (arith)-1);
  300. error_type = standard_type(ERRONEOUS, 0, 1, (arith)1);
  301. error_type->tp_up = error_type;
  302. /* Pointer Arithmetic type: all arithmetics concerning
  303. pointers is supposed to be performed in the
  304. pointer arithmetic type which is equal to either
  305. int_type or long_type, depending on the pointer_size
  306. */
  307. if ((int)pointer_size == (int)int_size)
  308. pa_type = int_type;
  309. else
  310. if ((int)pointer_size == (int)long_size)
  311. pa_type = long_type;
  312. else
  313. fatal("pointer size incompatible with any integral size");
  314. if ((int)int_size != (int)word_size)
  315. fatal("int_size and word_size are not equal");
  316. if ((int)short_size > (int)int_size || (int)int_size > (int)long_size)
  317. fatal("sizes of short/int/long decreasing");
  318. if ((int)float_size > (int)double_size || (int)double_size > (int)lngdbl_size)
  319. fatal("sizes of float/double/long double decreasing");
  320. /* Build a type for function returning int (3.3.2.2) */
  321. funint_type = construct_type(FUNCTION, int_type, 0, (arith)0, NO_PROTO);
  322. string_type = construct_type(POINTER, schar_type, 0, (arith)0, NO_PROTO);
  323. /* Define the standard type identifiers. */
  324. add_def(str2idf("char", 0), TYPEDEF, schar_type, L_UNIVERSAL);
  325. add_def(str2idf("int", 0), TYPEDEF, int_type, L_UNIVERSAL);
  326. add_def(str2idf("float", 0), TYPEDEF, float_type, L_UNIVERSAL);
  327. add_def(str2idf("double", 0), TYPEDEF, double_type, L_UNIVERSAL);
  328. add_def(str2idf("void", 0), TYPEDEF, void_type, L_UNIVERSAL);
  329. stack_level();
  330. }
  331. init_specials(si)
  332. register struct sp_id *si;
  333. {
  334. while (si->si_identifier) {
  335. struct idf *idf = str2idf(si->si_identifier, 0);
  336. if (idf->id_special)
  337. fatal("maximum identifier length insufficient");
  338. idf->id_special = si->si_flag;
  339. si++;
  340. }
  341. }
  342. #ifdef DEBUG
  343. #ifndef NOPP
  344. preprocess()
  345. {
  346. /* preprocess() is the "stand-alone" preprocessor which
  347. consecutively calls the lexical analyzer LLlex() to get
  348. the tokens and prints them in a suitable way.
  349. */
  350. static unsigned int lastlineno = 0;
  351. static char *lastfilenm = "";
  352. while (LLlex() != EOI) {
  353. if (lastlineno != dot.tk_line) {
  354. if (strcmp(lastfilenm, dot.tk_file) == 0) {
  355. if (dot.tk_line - lastlineno <= 1) {
  356. lastlineno++;
  357. print("\n");
  358. }
  359. else {
  360. lastlineno = dot.tk_line;
  361. if (!options['P'])
  362. print("\n#line %ld \"%s\"\n",
  363. lastlineno,
  364. lastfilenm
  365. );
  366. }
  367. }
  368. else {
  369. lastfilenm = dot.tk_file;
  370. lastlineno = dot.tk_line;
  371. if (!options['P'])
  372. print("\n#line %ld \"%s\"\n",
  373. lastlineno, lastfilenm);
  374. }
  375. }
  376. else
  377. if (strcmp(lastfilenm, dot.tk_file) != 0) {
  378. lastfilenm = dot.tk_file;
  379. if (!options['P'])
  380. print("\n#line %ld \"%s\"\n",
  381. lastlineno, lastfilenm);
  382. }
  383. switch (DOT) {
  384. case IDENTIFIER:
  385. case TYPE_IDENTIFIER:
  386. print("%s ", dot.tk_idf->id_text);
  387. break;
  388. case STRING:
  389. {
  390. char sbuf[1024]; /* a transient buffer */
  391. char *bts2str();
  392. print("\"%s\" ", bts2str(dot.tk_bts, dot.tk_len -
  393. 1, sbuf));
  394. break;
  395. }
  396. case INTEGER:
  397. print("%ld ", dot.tk_ival);
  398. break;
  399. case FLOATING:
  400. print("%s ", dot.tk_fval);
  401. break;
  402. case EOI:
  403. case EOF:
  404. return;
  405. default: /* very expensive... */
  406. print("%s ", symbol2str(DOT));
  407. }
  408. }
  409. }
  410. #endif /* NOPP */
  411. Info()
  412. {
  413. extern int cnt_string_cst, cnt_formal,
  414. cnt_decl_unary, cnt_def, cnt_expr, cnt_field,
  415. cnt_e_stack, cnt_localvar, cnt_proto, cnt_repl,
  416. cnt_args, cnt_macro, cnt_stack_level,
  417. cnt_stack_entry, cnt_stmt_block, cnt_sdef, cnt_tag,
  418. cnt_switch_hdr, cnt_case_entry, cnt_type, cnt_brace,
  419. cnt_lint_stack_entry, cnt_state, cnt_auto_def,
  420. cnt_expr_state, cnt_argument;
  421. print("\
  422. %6d string_cst\n%6d formal\n\
  423. %6d decl_unary\n%6d def\n%6d expr\n%6d field\n\
  424. %6d e_stack\n%6d localvar\n%6d proto\n%6d repl\n\
  425. %6d args\n%6d macro\n%6d stack_level\n\
  426. %6d stack_entry\n%6d stmt_block\n%6d sdef\n%6d tag\n\
  427. %6d switch_hdr\n%6d case_entry\n%6d type\n%6d brace\n\
  428. %6d lint_stack_entry\n%6d state\n%6d auto_def\n\
  429. %6d expr_state\n%6d argument\n",
  430. cnt_string_cst, cnt_formal,
  431. cnt_decl_unary, cnt_def, cnt_expr, cnt_field,
  432. cnt_e_stack, cnt_localvar, cnt_proto, cnt_repl,
  433. cnt_args, cnt_macro, cnt_stack_level,
  434. cnt_stack_entry, cnt_stmt_block, cnt_sdef, cnt_tag,
  435. cnt_switch_hdr, cnt_case_entry, cnt_type, cnt_brace,
  436. cnt_lint_stack_entry, cnt_state, cnt_auto_def,
  437. cnt_expr_state, cnt_argument);
  438. }
  439. #endif /* DEBUG */
  440. void
  441. No_Mem() /* called by alloc package */
  442. {
  443. fatal("out of memory");
  444. }
  445. void
  446. C_failed() /* called by EM_code module */
  447. {
  448. fatal("write failed");
  449. }