#include "config.h"
#include "system.h"
#include "gfortran.h"
typedef struct gfc_directorylist
{
char *path;
struct gfc_directorylist *next;
}
gfc_directorylist;
static gfc_directorylist *include_dirs;
static gfc_file *file_head, *current_file;
static int continue_flag, end_flag;
gfc_source_form gfc_current_form;
static gfc_linebuf *line_head, *line_tail;
locus gfc_current_locus;
char *gfc_source_file;
void
gfc_scanner_init_1 (void)
{
file_head = NULL;
line_head = NULL;
line_tail = NULL;
end_flag = 0;
}
void
gfc_scanner_done_1 (void)
{
gfc_linebuf *lb;
gfc_file *f;
while(line_head != NULL)
{
lb = line_head->next;
gfc_free(line_head);
line_head = lb;
}
while(file_head != NULL)
{
f = file_head->next;
gfc_free(file_head->filename);
gfc_free(file_head);
file_head = f;
}
}
void
gfc_add_include_path (const char *path)
{
gfc_directorylist *dir;
const char *p;
p = path;
while (*p == ' ' || *p == '\t')
if (*p++ == '\0')
return;
dir = include_dirs;
if (!dir)
{
dir = include_dirs = gfc_getmem (sizeof (gfc_directorylist));
}
else
{
while (dir->next)
dir = dir->next;
dir->next = gfc_getmem (sizeof (gfc_directorylist));
dir = dir->next;
}
dir->next = NULL;
dir->path = gfc_getmem (strlen (p) + 2);
strcpy (dir->path, p);
strcat (dir->path, "/");
}
void
gfc_release_include_path (void)
{
gfc_directorylist *p;
gfc_free (gfc_option.module_dir);
while (include_dirs != NULL)
{
p = include_dirs;
include_dirs = include_dirs->next;
gfc_free (p->path);
gfc_free (p);
}
}
FILE *
gfc_open_included_file (const char *name)
{
char fullname[PATH_MAX];
gfc_directorylist *p;
FILE *f;
f = gfc_open_file (name);
if (f != NULL)
return f;
for (p = include_dirs; p; p = p->next)
{
if (strlen (p->path) + strlen (name) + 1 > PATH_MAX)
continue;
strcpy (fullname, p->path);
strcat (fullname, name);
f = gfc_open_file (fullname);
if (f != NULL)
return f;
}
return NULL;
}
int
gfc_at_end (void)
{
return end_flag;
}
int
gfc_at_eof (void)
{
if (gfc_at_end ())
return 1;
if (line_head == NULL)
return 1;
if (gfc_current_locus.lb == NULL)
return 1;
return 0;
}
int
gfc_at_bol (void)
{
if (gfc_at_eof ())
return 1;
return (gfc_current_locus.nextc == gfc_current_locus.lb->line);
}
int
gfc_at_eol (void)
{
if (gfc_at_eof ())
return 1;
return (*gfc_current_locus.nextc == '\0');
}
void
gfc_advance_line (void)
{
if (gfc_at_end ())
return;
if (gfc_current_locus.lb == NULL)
{
end_flag = 1;
return;
}
gfc_current_locus.lb = gfc_current_locus.lb->next;
if (gfc_current_locus.lb != NULL)
gfc_current_locus.nextc = gfc_current_locus.lb->line;
else
{
gfc_current_locus.nextc = NULL;
end_flag = 1;
}
}
static int
next_char (void)
{
int c;
if (gfc_current_locus.nextc == NULL)
return '\n';
c = *gfc_current_locus.nextc++;
if (c == '\0')
{
gfc_current_locus.nextc--;
c = '\n';
}
return c;
}
static void
skip_comment_line (void)
{
char c;
do
{
c = next_char ();
}
while (c != '\n');
gfc_advance_line ();
}
static void
skip_free_comments (void)
{
locus start;
char c;
for (;;)
{
start = gfc_current_locus;
if (gfc_at_eof ())
break;
do
{
c = next_char ();
}
while (gfc_is_whitespace (c));
if (c == '\n')
{
gfc_advance_line ();
continue;
}
if (c == '!')
{
skip_comment_line ();
continue;
}
break;
}
gfc_current_locus = start;
}
static void
skip_fixed_comments (void)
{
locus start;
int col;
char c;
for (;;)
{
start = gfc_current_locus;
if (gfc_at_eof ())
break;
c = next_char ();
if (c == '\n')
{
gfc_advance_line ();
continue;
}
if (c == '!' || c == 'c' || c == 'C' || c == '*')
{
skip_comment_line ();
continue;
}
col = 1;
do
{
c = next_char ();
col++;
}
while (gfc_is_whitespace (c));
if (c == '\n')
{
gfc_advance_line ();
continue;
}
if (col != 6 && c == '!')
{
skip_comment_line ();
continue;
}
break;
}
gfc_current_locus = start;
}
void
gfc_skip_comments (void)
{
if (!gfc_at_bol () || gfc_current_form == FORM_FREE)
skip_free_comments ();
else
skip_fixed_comments ();
}
int
gfc_next_char_literal (int in_string)
{
locus old_loc;
int i, c;
continue_flag = 0;
restart:
c = next_char ();
if (gfc_at_end ())
return c;
if (gfc_current_form == FORM_FREE)
{
if (!in_string && c == '!')
{
do
{
c = next_char ();
}
while (c != '\n');
goto done;
}
if (c != '&')
goto done;
old_loc = gfc_current_locus;
c = next_char ();
while (gfc_is_whitespace (c))
c = next_char ();
if (in_string && c != '\n')
{
gfc_current_locus = old_loc;
c = '&';
goto done;
}
if (c != '!' && c != '\n')
{
gfc_current_locus = old_loc;
c = '&';
goto done;
}
continue_flag = 1;
if (c == '!')
skip_comment_line ();
else
gfc_advance_line ();
gfc_skip_comments ();
old_loc = gfc_current_locus;
c = next_char ();
while (gfc_is_whitespace (c))
c = next_char ();
if (c != '&')
gfc_current_locus = old_loc;
}
else
{
if (!in_string && c == '!')
{
do
{
c = next_char ();
}
while (c != '\n');
}
if (c != '\n')
goto done;
continue_flag = 1;
old_loc = gfc_current_locus;
gfc_advance_line ();
gfc_skip_comments ();
for (i = 0; i < 5; i++)
{
c = next_char ();
if (c != ' ')
goto not_continuation;
}
c = next_char ();
if (c == '0' || c == ' ')
goto not_continuation;
}
goto restart;
not_continuation:
c = '\n';
gfc_current_locus = old_loc;
done:
continue_flag = 0;
return c;
}
int
gfc_next_char (void)
{
int c;
do
{
c = gfc_next_char_literal (0);
}
while (gfc_current_form == FORM_FIXED && gfc_is_whitespace (c));
return TOLOWER (c);
}
int
gfc_peek_char (void)
{
locus old_loc;
int c;
old_loc = gfc_current_locus;
c = gfc_next_char ();
gfc_current_locus = old_loc;
return c;
}
void
gfc_error_recovery (void)
{
char c, delim;
if (gfc_at_eof ())
return;
for (;;)
{
c = gfc_next_char ();
if (c == '\n' || c == ';')
break;
if (c != '\'' && c != '"')
{
if (gfc_at_eof ())
break;
continue;
}
delim = c;
for (;;)
{
c = next_char ();
if (c == delim)
break;
if (c == '\n')
goto done;
if (c == '\\')
{
c = next_char ();
if (c == '\n')
goto done;
}
}
if (gfc_at_eof ())
break;
}
done:
if (c == '\n')
gfc_advance_line ();
}
void
gfc_gobble_whitespace (void)
{
locus old_loc;
int c;
do
{
old_loc = gfc_current_locus;
c = gfc_next_char_literal (0);
}
while (gfc_is_whitespace (c));
gfc_current_locus = old_loc;
}
static void
load_line (FILE * input, char **pbuf, char *filename, int linenum)
{
int c, maxlen, i, trunc_flag, preprocessor_flag;
static int buflen = 0;
char *buffer;
if (gfc_current_form == FORM_FREE)
maxlen = GFC_MAX_LINE;
else
maxlen = gfc_option.fixed_line_length;
if (*pbuf == NULL)
{
if (maxlen > 0)
buflen = maxlen;
else
buflen = GFC_MAX_LINE;
*pbuf = gfc_getmem (buflen + 1);
}
i = 0;
buffer = *pbuf;
preprocessor_flag = 0;
c = fgetc (input);
if (c == '#')
preprocessor_flag = 1;
ungetc (c, input);
for (;;)
{
c = fgetc (input);
if (c == EOF)
break;
if (c == '\n')
break;
if (c == '\r')
continue;
if (c == '\0')
continue;
if (c == '\032')
{
while (fgetc (input) != EOF);
break;
}
if (gfc_current_form == FORM_FIXED && c == '\t' && i <= 6)
{
while (i <= 6)
{
*buffer++ = ' ';
i++;
}
continue;
}
*buffer++ = c;
i++;
if (i >= buflen && (maxlen == 0 || preprocessor_flag))
{
buflen = buflen * 2;
*pbuf = xrealloc (*pbuf, buflen);
buffer = (*pbuf)+i;
}
else if (i >= buflen)
{
trunc_flag = 1;
for (;;)
{
c = fgetc (input);
if (c == '\n' || c == EOF)
break;
if (gfc_option.warn_line_truncation
&& trunc_flag
&& !gfc_is_whitespace (c))
{
gfc_warning_now ("%s:%d: Line is being truncated",
filename, linenum);
trunc_flag = 0;
}
}
ungetc ('\n', input);
}
}
if (gfc_current_form == FORM_FIXED
&& gfc_option.fixed_line_length > 0
&& !preprocessor_flag
&& c != EOF)
while (i++ < buflen)
*buffer++ = ' ';
*buffer = '\0';
}
static gfc_file *
get_file (char *name, enum lc_reason reason ATTRIBUTE_UNUSED)
{
gfc_file *f;
f = gfc_getmem (sizeof (gfc_file));
f->filename = gfc_getmem (strlen (name) + 1);
strcpy (f->filename, name);
f->next = file_head;
file_head = f;
f->included_by = current_file;
if (current_file != NULL)
f->inclusion_line = current_file->line;
#ifdef USE_MAPPED_LOCATION
linemap_add (&line_table, reason, false, f->filename, 1);
#endif
return f;
}
static void
preprocessor_line (char *c)
{
bool flag[5];
int i, line;
char *filename;
gfc_file *f;
int escaped;
c++;
while (*c == ' ' || *c == '\t')
c++;
if (*c < '0' || *c > '9')
goto bad_cpp_line;
line = atoi (c);
current_file->line = line;
c = strchr (c, ' ');
if (c == NULL)
return;
while (*c == ' ' || *c == '\t')
c++;
if (*c != '"')
goto bad_cpp_line;
++c;
filename = c;
escaped = false;
while (*c && ! (! escaped && *c == '"'))
{
if (escaped)
escaped = false;
else
escaped = *c == '\\';
++c;
}
if (! *c)
goto bad_cpp_line;
*c++ = '\0';
flag[1] = flag[2] = flag[3] = flag[4] = flag[5] = false;
for (;;)
{
c = strchr (c, ' ');
if (c == NULL)
break;
c++;
i = atoi (c);
if (1 <= i && i <= 4)
flag[i] = true;
}
if (flag[1] || flag[3])
{
f = get_file (filename, LC_RENAME);
f->up = current_file;
current_file = f;
}
if (flag[2])
{
current_file = current_file->up;
}
if (strcmp (current_file->filename, filename) != 0)
{
gfc_free (current_file->filename);
current_file->filename = gfc_getmem (strlen (filename) + 1);
strcpy (current_file->filename, filename);
}
return;
bad_cpp_line:
gfc_warning_now ("%s:%d: Illegal preprocessor directive",
current_file->filename, current_file->line);
current_file->line++;
}
static try load_file (char *, bool);
static bool
include_line (char *line)
{
char quote, *c, *begin, *stop;
c = line;
while (*c == ' ' || *c == '\t')
c++;
if (strncasecmp (c, "include", 7))
return false;
c += 7;
while (*c == ' ' || *c == '\t')
c++;
quote = *c++;
if (quote != '"' && quote != '\'')
return false;
begin = c;
while (*c != quote && *c != '\0')
c++;
if (*c == '\0')
return false;
stop = c++;
while (*c == ' ' || *c == '\t')
c++;
if (*c != '\0' && *c != '!')
return false;
*stop = '\0';
load_file (begin, false);
return true;
}
static try
load_file (char *filename, bool initial)
{
char *line;
gfc_linebuf *b;
gfc_file *f;
FILE *input;
int len;
for (f = current_file; f; f = f->up)
if (strcmp (filename, f->filename) == 0)
{
gfc_error_now ("File '%s' is being included recursively", filename);
return FAILURE;
}
if (initial)
{
input = gfc_open_file (filename);
if (input == NULL)
{
gfc_error_now ("Can't open file '%s'", filename);
return FAILURE;
}
}
else
{
input = gfc_open_included_file (filename);
if (input == NULL)
{
gfc_error_now ("Can't open included file '%s'", filename);
return FAILURE;
}
}
f = get_file (filename, initial ? LC_RENAME : LC_ENTER);
f->up = current_file;
current_file = f;
current_file->line = 1;
line = NULL;
for (;;)
{
load_line (input, &line, filename, current_file->line);
len = strlen (line);
if (feof (input) && len == 0)
break;
if (line[0] == '#')
{
preprocessor_line (line);
continue;
}
if (include_line (line))
{
current_file->line++;
continue;
}
b = gfc_getmem (gfc_linebuf_header_size + len + 1);
#ifdef USE_MAPPED_LOCATION
b->location
= linemap_line_start (&line_table, current_file->line++, 120);
#else
b->linenum = current_file->line++;
#endif
b->file = current_file;
strcpy (b->line, line);
if (line_head == NULL)
line_head = b;
else
line_tail->next = b;
line_tail = b;
}
gfc_free (line);
fclose (input);
current_file = current_file->up;
#ifdef USE_MAPPED_LOCATION
linemap_add (&line_table, LC_LEAVE, 0, NULL, 0);
#endif
return SUCCESS;
}
static gfc_source_form
form_from_filename (const char *filename)
{
static const struct
{
const char *extension;
gfc_source_form form;
}
exttype[] =
{
{
".f90", FORM_FREE}
,
{
".f95", FORM_FREE}
,
{
".f", FORM_FIXED}
,
{
".for", FORM_FIXED}
,
{
"", FORM_UNKNOWN}
};
gfc_source_form f_form;
const char *fileext;
int i;
i = 0;
while ((i < PATH_MAX) && (filename[i] != '\0'))
i++;
if (i == PATH_MAX)
return FORM_UNKNOWN;
while (i >= 0 && (filename[i] != '.'))
i--;
if (i < 0)
return FORM_UNKNOWN;
fileext = &(filename[i]);
i = -1;
f_form = FORM_UNKNOWN;
do
{
i++;
if (strcasecmp (fileext, exttype[i].extension) == 0)
{
f_form = exttype[i].form;
break;
}
}
while (exttype[i].form != FORM_UNKNOWN);
return f_form;
}
try
gfc_new_file (const char *filename, gfc_source_form form)
{
try result;
if (filename != NULL)
{
gfc_source_file = gfc_getmem (strlen (filename) + 1);
strcpy (gfc_source_file, filename);
}
else
gfc_source_file = NULL;
if (form != FORM_UNKNOWN)
gfc_current_form = form;
else
{
gfc_current_form = form_from_filename (filename);
if (gfc_current_form == FORM_UNKNOWN)
{
gfc_current_form = FORM_FREE;
gfc_warning_now ("Reading file '%s' as free form.",
(filename[0] == '\0') ? "<stdin>" : filename);
}
}
result = load_file (gfc_source_file, true);
gfc_current_locus.lb = line_head;
gfc_current_locus.nextc = (line_head == NULL) ? NULL : line_head->line;
#if 0
for (; line_head; line_head = line_head->next)
gfc_status ("%s:%3d %s\n", line_head->file->filename,
#ifdef USE_MAPPED_LOCATION
LOCATION_LINE (line_head->location),
#else
line_head->linenum,
#endif
line_head->line);
exit (0);
#endif
return result;
}