test-linearize.c

   1 /*
   2  * Parse and linearize the tree for testing.
   3  *
   4  * Copyright (C) 2003 Transmeta Corp.
   5  *               2003-2004 Linus Torvalds
   6  *
   7  * Licensed under the Open Software License version 1.1
   8  */
   9 #include <stdarg.h>
  10 #include <stdlib.h>
  11 #include <stdio.h>
  12 #include <string.h>
  13 #include <ctype.h>
  14 #include <unistd.h>
  15 #include <fcntl.h>
  16
  17 #include "lib.h"
  18 #include "token.h"
  19 #include "parse.h"
  20 #include "symbol.h"
  21 #include "expression.h"
  22 #include "linearize.h"
  23
  24 static void clean_up_symbol(struct symbol *sym, void *_parent, int flags)
  25 {
  26         check_duplicates(sym);
  27         evaluate_symbol(sym);
  28         expand_symbol(sym);
  29         linearize_symbol(sym);
  30 }
  31
  32 int main(int argc, char **argv)
  33 {
  34         int fd;
  35         char *filename = NULL, **args;
  36         struct token *token;
  37
  38         // Initialize symbol stream first, so that we can add defines etc
  39         init_symbols();
  40
  41         create_builtin_stream();
  42         add_pre_buffer("#define __CHECKER__ 1\n");
  43         add_pre_buffer("extern void *__builtin_memcpy(void *, const void *, unsigned long);\n");
  44         add_pre_buffer("extern void * __builtin_return_address(int);\n");
  45
  46         args = argv;
  47         for (;;) {
  48                 char *arg = *++args;
  49                 if (!arg)
  50                         break;
  51                 if (arg[0] == '-') {
  52                         args = handle_switch(arg+1, args);
  53                         continue;
  54                 }
  55                 filename = arg;
  56         }
  57
  58
  59         fd = open(filename, O_RDONLY);
  60         if (fd < 0)
  61                 die("No such file: %s", filename);
  62
  63         // Tokenize the input stream
  64         token = tokenize(filename, fd, NULL);
  65         close(fd);
  66
  67         // Prepend any "include" file to the stream.
  68         if (include_fd >= 0)
  69                 token = tokenize(include, include_fd, token);
  70
  71         // Prepend the initial built-in stream
  72         token = tokenize_buffer(pre_buffer, pre_buffer_size, token);
  73
  74         // Pre-process the stream
  75         token = preprocess(token);
  76
  77         // Parse the resulting C code
  78         translation_unit(token, &used_list);
  79
  80         // Do type evaluation and simplify
  81         symbol_iterate(used_list, clean_up_symbol, NULL);
  82         return 0;
  83 }