2016-08-24 Michael Collison <michael.collison@linaro.org>
[official-gcc.git] / gcc / fortran / scanner.c
blobbe9c5091ea81b249dbdfe59a25cf5547c8424e7e
1 /* Character scanner.
2 Copyright (C) 2000-2016 Free Software Foundation, Inc.
3 Contributed by Andy Vaught
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 /* Set of subroutines to (ultimately) return the next character to the
22 various matching subroutines. This file's job is to read files and
23 build up lines that are parsed by the parser. This means that we
24 handle continuation lines and "include" lines.
26 The first thing the scanner does is to load an entire file into
27 memory. We load the entire file into memory for a couple reasons.
28 The first is that we want to be able to deal with nonseekable input
29 (pipes, stdin) and there is a lot of backing up involved during
30 parsing.
32 The second is that we want to be able to print the locus of errors,
33 and an error on line 999999 could conflict with something on line
34 one. Given nonseekable input, we've got to store the whole thing.
36 One thing that helps are the column truncation limits that give us
37 an upper bound on the size of individual lines. We don't store the
38 truncated stuff.
40 From the scanner's viewpoint, the higher level subroutines ask for
41 new characters and do a lot of jumping backwards. */
43 #include "config.h"
44 #include "system.h"
45 #include "coretypes.h"
46 #include "gfortran.h"
47 #include "toplev.h" /* For set_src_pwd. */
48 #include "debug.h"
49 #include "options.h"
50 #include "cpp.h"
51 #include "scanner.h"
53 /* List of include file search directories. */
54 gfc_directorylist *include_dirs, *intrinsic_modules_dirs;
56 static gfc_file *file_head, *current_file;
58 static int continue_flag, end_flag, gcc_attribute_flag;
59 /* If !$omp/!$acc occurred in current comment line. */
60 static int openmp_flag, openacc_flag;
61 static int continue_count, continue_line;
62 static locus openmp_locus;
63 static locus openacc_locus;
64 static locus gcc_attribute_locus;
66 gfc_source_form gfc_current_form;
67 static gfc_linebuf *line_head, *line_tail;
69 locus gfc_current_locus;
70 const char *gfc_source_file;
71 static FILE *gfc_src_file;
72 static gfc_char_t *gfc_src_preprocessor_lines[2];
74 static struct gfc_file_change
76 const char *filename;
77 gfc_linebuf *lb;
78 int line;
79 } *file_changes;
80 size_t file_changes_cur, file_changes_count;
81 size_t file_changes_allocated;
84 /* Functions dealing with our wide characters (gfc_char_t) and
85 sequences of such characters. */
87 int
88 gfc_wide_fits_in_byte (gfc_char_t c)
90 return (c <= UCHAR_MAX);
93 static inline int
94 wide_is_ascii (gfc_char_t c)
96 return (gfc_wide_fits_in_byte (c) && ((unsigned char) c & ~0x7f) == 0);
99 int
100 gfc_wide_is_printable (gfc_char_t c)
102 return (gfc_wide_fits_in_byte (c) && ISPRINT ((unsigned char) c));
105 gfc_char_t
106 gfc_wide_tolower (gfc_char_t c)
108 return (wide_is_ascii (c) ? (gfc_char_t) TOLOWER((unsigned char) c) : c);
111 gfc_char_t
112 gfc_wide_toupper (gfc_char_t c)
114 return (wide_is_ascii (c) ? (gfc_char_t) TOUPPER((unsigned char) c) : c);
118 gfc_wide_is_digit (gfc_char_t c)
120 return (c >= '0' && c <= '9');
123 static inline int
124 wide_atoi (gfc_char_t *c)
126 #define MAX_DIGITS 20
127 char buf[MAX_DIGITS+1];
128 int i = 0;
130 while (gfc_wide_is_digit(*c) && i < MAX_DIGITS)
131 buf[i++] = *c++;
132 buf[i] = '\0';
133 return atoi (buf);
136 size_t
137 gfc_wide_strlen (const gfc_char_t *str)
139 size_t i;
141 for (i = 0; str[i]; i++)
144 return i;
147 gfc_char_t *
148 gfc_wide_memset (gfc_char_t *b, gfc_char_t c, size_t len)
150 size_t i;
152 for (i = 0; i < len; i++)
153 b[i] = c;
155 return b;
158 static gfc_char_t *
159 wide_strcpy (gfc_char_t *dest, const gfc_char_t *src)
161 gfc_char_t *d;
163 for (d = dest; (*d = *src) != '\0'; ++src, ++d)
166 return dest;
169 static gfc_char_t *
170 wide_strchr (const gfc_char_t *s, gfc_char_t c)
172 do {
173 if (*s == c)
175 return CONST_CAST(gfc_char_t *, s);
177 } while (*s++);
178 return 0;
181 char *
182 gfc_widechar_to_char (const gfc_char_t *s, int length)
184 size_t len, i;
185 char *res;
187 if (s == NULL)
188 return NULL;
190 /* Passing a negative length is used to indicate that length should be
191 calculated using gfc_wide_strlen(). */
192 len = (length >= 0 ? (size_t) length : gfc_wide_strlen (s));
193 res = XNEWVEC (char, len + 1);
195 for (i = 0; i < len; i++)
197 gcc_assert (gfc_wide_fits_in_byte (s[i]));
198 res[i] = (unsigned char) s[i];
201 res[len] = '\0';
202 return res;
205 gfc_char_t *
206 gfc_char_to_widechar (const char *s)
208 size_t len, i;
209 gfc_char_t *res;
211 if (s == NULL)
212 return NULL;
214 len = strlen (s);
215 res = gfc_get_wide_string (len + 1);
217 for (i = 0; i < len; i++)
218 res[i] = (unsigned char) s[i];
220 res[len] = '\0';
221 return res;
224 static int
225 wide_strncmp (const gfc_char_t *s1, const char *s2, size_t n)
227 gfc_char_t c1, c2;
229 while (n-- > 0)
231 c1 = *s1++;
232 c2 = *s2++;
233 if (c1 != c2)
234 return (c1 > c2 ? 1 : -1);
235 if (c1 == '\0')
236 return 0;
238 return 0;
242 gfc_wide_strncasecmp (const gfc_char_t *s1, const char *s2, size_t n)
244 gfc_char_t c1, c2;
246 while (n-- > 0)
248 c1 = gfc_wide_tolower (*s1++);
249 c2 = TOLOWER (*s2++);
250 if (c1 != c2)
251 return (c1 > c2 ? 1 : -1);
252 if (c1 == '\0')
253 return 0;
255 return 0;
259 /* Main scanner initialization. */
261 void
262 gfc_scanner_init_1 (void)
264 file_head = NULL;
265 line_head = NULL;
266 line_tail = NULL;
268 continue_count = 0;
269 continue_line = 0;
271 end_flag = 0;
275 /* Main scanner destructor. */
277 void
278 gfc_scanner_done_1 (void)
280 gfc_linebuf *lb;
281 gfc_file *f;
283 while(line_head != NULL)
285 lb = line_head->next;
286 free (line_head);
287 line_head = lb;
290 while(file_head != NULL)
292 f = file_head->next;
293 free (file_head->filename);
294 free (file_head);
295 file_head = f;
300 /* Adds path to the list pointed to by list. */
302 static void
303 add_path_to_list (gfc_directorylist **list, const char *path,
304 bool use_for_modules, bool head, bool warn)
306 gfc_directorylist *dir;
307 const char *p;
308 char *q;
309 struct stat st;
310 size_t len;
311 int i;
313 p = path;
314 while (*p == ' ' || *p == '\t') /* someone might do "-I include" */
315 if (*p++ == '\0')
316 return;
318 /* Strip trailing directory separators from the path, as this
319 will confuse Windows systems. */
320 len = strlen (p);
321 q = (char *) alloca (len + 1);
322 memcpy (q, p, len + 1);
323 i = len - 1;
324 while (i >=0 && IS_DIR_SEPARATOR (q[i]))
325 q[i--] = '\0';
327 if (stat (q, &st))
329 if (errno != ENOENT)
330 gfc_warning_now (0, "Include directory %qs: %s", path,
331 xstrerror(errno));
332 else if (warn)
333 gfc_warning_now (OPT_Wmissing_include_dirs,
334 "Nonexistent include directory %qs", path);
335 return;
337 else if (!S_ISDIR (st.st_mode))
339 gfc_fatal_error ("%qs is not a directory", path);
340 return;
343 if (head || *list == NULL)
345 dir = XCNEW (gfc_directorylist);
346 if (!head)
347 *list = dir;
349 else
351 dir = *list;
352 while (dir->next)
353 dir = dir->next;
355 dir->next = XCNEW (gfc_directorylist);
356 dir = dir->next;
359 dir->next = head ? *list : NULL;
360 if (head)
361 *list = dir;
362 dir->use_for_modules = use_for_modules;
363 dir->path = XCNEWVEC (char, strlen (p) + 2);
364 strcpy (dir->path, p);
365 strcat (dir->path, "/"); /* make '/' last character */
369 void
370 gfc_add_include_path (const char *path, bool use_for_modules, bool file_dir,
371 bool warn)
373 add_path_to_list (&include_dirs, path, use_for_modules, file_dir, warn);
375 /* For '#include "..."' these directories are automatically searched. */
376 if (!file_dir)
377 gfc_cpp_add_include_path (xstrdup(path), true);
381 void
382 gfc_add_intrinsic_modules_path (const char *path)
384 add_path_to_list (&intrinsic_modules_dirs, path, true, false, false);
388 /* Release resources allocated for options. */
390 void
391 gfc_release_include_path (void)
393 gfc_directorylist *p;
395 while (include_dirs != NULL)
397 p = include_dirs;
398 include_dirs = include_dirs->next;
399 free (p->path);
400 free (p);
403 while (intrinsic_modules_dirs != NULL)
405 p = intrinsic_modules_dirs;
406 intrinsic_modules_dirs = intrinsic_modules_dirs->next;
407 free (p->path);
408 free (p);
411 free (gfc_option.module_dir);
415 static FILE *
416 open_included_file (const char *name, gfc_directorylist *list,
417 bool module, bool system)
419 char *fullname;
420 gfc_directorylist *p;
421 FILE *f;
423 for (p = list; p; p = p->next)
425 if (module && !p->use_for_modules)
426 continue;
428 fullname = (char *) alloca(strlen (p->path) + strlen (name) + 1);
429 strcpy (fullname, p->path);
430 strcat (fullname, name);
432 f = gfc_open_file (fullname);
433 if (f != NULL)
435 if (gfc_cpp_makedep ())
436 gfc_cpp_add_dep (fullname, system);
438 return f;
442 return NULL;
446 /* Opens file for reading, searching through the include directories
447 given if necessary. If the include_cwd argument is true, we try
448 to open the file in the current directory first. */
450 FILE *
451 gfc_open_included_file (const char *name, bool include_cwd, bool module)
453 FILE *f = NULL;
455 if (IS_ABSOLUTE_PATH (name) || include_cwd)
457 f = gfc_open_file (name);
458 if (f && gfc_cpp_makedep ())
459 gfc_cpp_add_dep (name, false);
462 if (!f)
463 f = open_included_file (name, include_dirs, module, false);
465 return f;
469 /* Test to see if we're at the end of the main source file. */
472 gfc_at_end (void)
474 return end_flag;
478 /* Test to see if we're at the end of the current file. */
481 gfc_at_eof (void)
483 if (gfc_at_end ())
484 return 1;
486 if (line_head == NULL)
487 return 1; /* Null file */
489 if (gfc_current_locus.lb == NULL)
490 return 1;
492 return 0;
496 /* Test to see if we're at the beginning of a new line. */
499 gfc_at_bol (void)
501 if (gfc_at_eof ())
502 return 1;
504 return (gfc_current_locus.nextc == gfc_current_locus.lb->line);
508 /* Test to see if we're at the end of a line. */
511 gfc_at_eol (void)
513 if (gfc_at_eof ())
514 return 1;
516 return (*gfc_current_locus.nextc == '\0');
519 static void
520 add_file_change (const char *filename, int line)
522 if (file_changes_count == file_changes_allocated)
524 if (file_changes_allocated)
525 file_changes_allocated *= 2;
526 else
527 file_changes_allocated = 16;
528 file_changes = XRESIZEVEC (struct gfc_file_change, file_changes,
529 file_changes_allocated);
531 file_changes[file_changes_count].filename = filename;
532 file_changes[file_changes_count].lb = NULL;
533 file_changes[file_changes_count++].line = line;
536 static void
537 report_file_change (gfc_linebuf *lb)
539 size_t c = file_changes_cur;
540 while (c < file_changes_count
541 && file_changes[c].lb == lb)
543 if (file_changes[c].filename)
544 (*debug_hooks->start_source_file) (file_changes[c].line,
545 file_changes[c].filename);
546 else
547 (*debug_hooks->end_source_file) (file_changes[c].line);
548 ++c;
550 file_changes_cur = c;
553 void
554 gfc_start_source_files (void)
556 /* If the debugger wants the name of the main source file,
557 we give it. */
558 if (debug_hooks->start_end_main_source_file)
559 (*debug_hooks->start_source_file) (0, gfc_source_file);
561 file_changes_cur = 0;
562 report_file_change (gfc_current_locus.lb);
565 void
566 gfc_end_source_files (void)
568 report_file_change (NULL);
570 if (debug_hooks->start_end_main_source_file)
571 (*debug_hooks->end_source_file) (0);
574 /* Advance the current line pointer to the next line. */
576 void
577 gfc_advance_line (void)
579 if (gfc_at_end ())
580 return;
582 if (gfc_current_locus.lb == NULL)
584 end_flag = 1;
585 return;
588 if (gfc_current_locus.lb->next
589 && !gfc_current_locus.lb->next->dbg_emitted)
591 report_file_change (gfc_current_locus.lb->next);
592 gfc_current_locus.lb->next->dbg_emitted = true;
595 gfc_current_locus.lb = gfc_current_locus.lb->next;
597 if (gfc_current_locus.lb != NULL)
598 gfc_current_locus.nextc = gfc_current_locus.lb->line;
599 else
601 gfc_current_locus.nextc = NULL;
602 end_flag = 1;
607 /* Get the next character from the input, advancing gfc_current_file's
608 locus. When we hit the end of the line or the end of the file, we
609 start returning a '\n' in order to complete the current statement.
610 No Fortran line conventions are implemented here.
612 Requiring explicit advances to the next line prevents the parse
613 pointer from being on the wrong line if the current statement ends
614 prematurely. */
616 static gfc_char_t
617 next_char (void)
619 gfc_char_t c;
621 if (gfc_current_locus.nextc == NULL)
622 return '\n';
624 c = *gfc_current_locus.nextc++;
625 if (c == '\0')
627 gfc_current_locus.nextc--; /* Remain on this line. */
628 c = '\n';
631 return c;
635 /* Skip a comment. When we come here the parse pointer is positioned
636 immediately after the comment character. If we ever implement
637 compiler directives within comments, here is where we parse the
638 directive. */
640 static void
641 skip_comment_line (void)
643 gfc_char_t c;
647 c = next_char ();
649 while (c != '\n');
651 gfc_advance_line ();
656 gfc_define_undef_line (void)
658 char *tmp;
660 /* All lines beginning with '#' are either #define or #undef. */
661 if (debug_info_level != DINFO_LEVEL_VERBOSE || gfc_peek_ascii_char () != '#')
662 return 0;
664 if (wide_strncmp (gfc_current_locus.nextc, "#define ", 8) == 0)
666 tmp = gfc_widechar_to_char (&gfc_current_locus.nextc[8], -1);
667 (*debug_hooks->define) (gfc_linebuf_linenum (gfc_current_locus.lb),
668 tmp);
669 free (tmp);
672 if (wide_strncmp (gfc_current_locus.nextc, "#undef ", 7) == 0)
674 tmp = gfc_widechar_to_char (&gfc_current_locus.nextc[7], -1);
675 (*debug_hooks->undef) (gfc_linebuf_linenum (gfc_current_locus.lb),
676 tmp);
677 free (tmp);
680 /* Skip the rest of the line. */
681 skip_comment_line ();
683 return 1;
687 /* Return true if GCC$ was matched. */
688 static bool
689 skip_gcc_attribute (locus start)
691 bool r = false;
692 char c;
693 locus old_loc = gfc_current_locus;
695 if ((c = next_char ()) == 'g' || c == 'G')
696 if ((c = next_char ()) == 'c' || c == 'C')
697 if ((c = next_char ()) == 'c' || c == 'C')
698 if ((c = next_char ()) == '$')
699 r = true;
701 if (r == false)
702 gfc_current_locus = old_loc;
703 else
705 gcc_attribute_flag = 1;
706 gcc_attribute_locus = old_loc;
707 gfc_current_locus = start;
710 return r;
713 /* Return true if CC was matched. */
714 static bool
715 skip_free_oacc_sentinel (locus start, locus old_loc)
717 bool r = false;
718 char c;
720 if ((c = next_char ()) == 'c' || c == 'C')
721 if ((c = next_char ()) == 'c' || c == 'C')
722 r = true;
724 if (r)
726 if ((c = next_char ()) == ' ' || c == '\t'
727 || continue_flag)
729 while (gfc_is_whitespace (c))
730 c = next_char ();
731 if (c != '\n' && c != '!')
733 openacc_flag = 1;
734 openacc_locus = old_loc;
735 gfc_current_locus = start;
737 else
738 r = false;
740 else
742 gfc_warning_now (0, "!$ACC at %C starts a commented "
743 "line as it neither is followed "
744 "by a space nor is a "
745 "continuation line");
746 r = false;
750 return r;
753 /* Return true if MP was matched. */
754 static bool
755 skip_free_omp_sentinel (locus start, locus old_loc)
757 bool r = false;
758 char c;
760 if ((c = next_char ()) == 'm' || c == 'M')
761 if ((c = next_char ()) == 'p' || c == 'P')
762 r = true;
764 if (r)
766 if ((c = next_char ()) == ' ' || c == '\t'
767 || continue_flag)
769 while (gfc_is_whitespace (c))
770 c = next_char ();
771 if (c != '\n' && c != '!')
773 openmp_flag = 1;
774 openmp_locus = old_loc;
775 gfc_current_locus = start;
777 else
778 r = false;
780 else
782 gfc_warning_now (0, "!$OMP at %C starts a commented "
783 "line as it neither is followed "
784 "by a space nor is a "
785 "continuation line");
786 r = false;
790 return r;
793 /* Comment lines are null lines, lines containing only blanks or lines
794 on which the first nonblank line is a '!'.
795 Return true if !$ openmp or openacc conditional compilation sentinel was
796 seen. */
798 static bool
799 skip_free_comments (void)
801 locus start;
802 gfc_char_t c;
803 int at_bol;
805 for (;;)
807 at_bol = gfc_at_bol ();
808 start = gfc_current_locus;
809 if (gfc_at_eof ())
810 break;
813 c = next_char ();
814 while (gfc_is_whitespace (c));
816 if (c == '\n')
818 gfc_advance_line ();
819 continue;
822 if (c == '!')
824 /* Keep the !GCC$ line. */
825 if (at_bol && skip_gcc_attribute (start))
826 return false;
828 /* If -fopenmp/-fopenacc, we need to handle here 2 things:
829 1) don't treat !$omp/!$acc as comments, but directives
830 2) handle OpenMP/OpenACC conditional compilation, where
831 !$ should be treated as 2 spaces (for initial lines
832 only if followed by space). */
833 if (at_bol)
835 if ((flag_openmp || flag_openmp_simd)
836 && flag_openacc)
838 locus old_loc = gfc_current_locus;
839 if (next_char () == '$')
841 c = next_char ();
842 if (c == 'o' || c == 'O')
844 if (skip_free_omp_sentinel (start, old_loc))
845 return false;
846 gfc_current_locus = old_loc;
847 next_char ();
848 c = next_char ();
850 else if (c == 'a' || c == 'A')
852 if (skip_free_oacc_sentinel (start, old_loc))
853 return false;
854 gfc_current_locus = old_loc;
855 next_char ();
856 c = next_char ();
858 if (continue_flag || c == ' ' || c == '\t')
860 gfc_current_locus = old_loc;
861 next_char ();
862 openmp_flag = openacc_flag = 0;
863 return true;
866 gfc_current_locus = old_loc;
868 else if ((flag_openmp || flag_openmp_simd)
869 && !flag_openacc)
871 locus old_loc = gfc_current_locus;
872 if (next_char () == '$')
874 c = next_char ();
875 if (c == 'o' || c == 'O')
877 if (skip_free_omp_sentinel (start, old_loc))
878 return false;
879 gfc_current_locus = old_loc;
880 next_char ();
881 c = next_char ();
883 if (continue_flag || c == ' ' || c == '\t')
885 gfc_current_locus = old_loc;
886 next_char ();
887 openmp_flag = 0;
888 return true;
891 gfc_current_locus = old_loc;
893 else if (flag_openacc
894 && !(flag_openmp || flag_openmp_simd))
896 locus old_loc = gfc_current_locus;
897 if (next_char () == '$')
899 c = next_char ();
900 if (c == 'a' || c == 'A')
902 if (skip_free_oacc_sentinel (start, old_loc))
903 return false;
904 gfc_current_locus = old_loc;
905 next_char();
906 c = next_char();
908 if (continue_flag || c == ' ' || c == '\t')
910 gfc_current_locus = old_loc;
911 next_char();
912 openacc_flag = 0;
913 return true;
916 gfc_current_locus = old_loc;
919 skip_comment_line ();
920 continue;
923 break;
926 if (openmp_flag && at_bol)
927 openmp_flag = 0;
929 if (openacc_flag && at_bol)
930 openacc_flag = 0;
932 gcc_attribute_flag = 0;
933 gfc_current_locus = start;
934 return false;
937 /* Return true if MP was matched in fixed form. */
938 static bool
939 skip_fixed_omp_sentinel (locus *start)
941 gfc_char_t c;
942 if (((c = next_char ()) == 'm' || c == 'M')
943 && ((c = next_char ()) == 'p' || c == 'P'))
945 c = next_char ();
946 if (c != '\n'
947 && (continue_flag
948 || c == ' ' || c == '\t' || c == '0'))
951 c = next_char ();
952 while (gfc_is_whitespace (c));
953 if (c != '\n' && c != '!')
955 /* Canonicalize to *$omp. */
956 *start->nextc = '*';
957 openmp_flag = 1;
958 gfc_current_locus = *start;
959 return true;
963 return false;
966 /* Return true if CC was matched in fixed form. */
967 static bool
968 skip_fixed_oacc_sentinel (locus *start)
970 gfc_char_t c;
971 if (((c = next_char ()) == 'c' || c == 'C')
972 && ((c = next_char ()) == 'c' || c == 'C'))
974 c = next_char ();
975 if (c != '\n'
976 && (continue_flag
977 || c == ' ' || c == '\t' || c == '0'))
980 c = next_char ();
981 while (gfc_is_whitespace (c));
982 if (c != '\n' && c != '!')
984 /* Canonicalize to *$acc. */
985 *start->nextc = '*';
986 openacc_flag = 1;
987 gfc_current_locus = *start;
988 return true;
992 return false;
995 /* Skip comment lines in fixed source mode. We have the same rules as
996 in skip_free_comment(), except that we can have a 'c', 'C' or '*'
997 in column 1, and a '!' cannot be in column 6. Also, we deal with
998 lines with 'd' or 'D' in column 1, if the user requested this. */
1000 static void
1001 skip_fixed_comments (void)
1003 locus start;
1004 int col;
1005 gfc_char_t c;
1007 if (! gfc_at_bol ())
1009 start = gfc_current_locus;
1010 if (! gfc_at_eof ())
1013 c = next_char ();
1014 while (gfc_is_whitespace (c));
1016 if (c == '\n')
1017 gfc_advance_line ();
1018 else if (c == '!')
1019 skip_comment_line ();
1022 if (! gfc_at_bol ())
1024 gfc_current_locus = start;
1025 return;
1029 for (;;)
1031 start = gfc_current_locus;
1032 if (gfc_at_eof ())
1033 break;
1035 c = next_char ();
1036 if (c == '\n')
1038 gfc_advance_line ();
1039 continue;
1042 if (c == '!' || c == 'c' || c == 'C' || c == '*')
1044 if (skip_gcc_attribute (start))
1046 /* Canonicalize to *$omp. */
1047 *start.nextc = '*';
1048 return;
1051 /* If -fopenmp/-fopenacc, we need to handle here 2 things:
1052 1) don't treat !$omp/!$acc|c$omp/c$acc|*$omp / *$acc as comments,
1053 but directives
1054 2) handle OpenMP/OpenACC conditional compilation, where
1055 !$|c$|*$ should be treated as 2 spaces if the characters
1056 in columns 3 to 6 are valid fixed form label columns
1057 characters. */
1058 if (gfc_current_locus.lb != NULL
1059 && continue_line < gfc_linebuf_linenum (gfc_current_locus.lb))
1060 continue_line = gfc_linebuf_linenum (gfc_current_locus.lb);
1062 if ((flag_openmp || flag_openmp_simd) && !flag_openacc)
1064 if (next_char () == '$')
1066 c = next_char ();
1067 if (c == 'o' || c == 'O')
1069 if (skip_fixed_omp_sentinel (&start))
1070 return;
1072 else
1073 goto check_for_digits;
1075 gfc_current_locus = start;
1078 if (flag_openacc && !(flag_openmp || flag_openmp_simd))
1080 if (next_char () == '$')
1082 c = next_char ();
1083 if (c == 'a' || c == 'A')
1085 if (skip_fixed_oacc_sentinel (&start))
1086 return;
1088 else
1089 goto check_for_digits;
1091 gfc_current_locus = start;
1094 if (flag_openacc || flag_openmp || flag_openmp_simd)
1096 if (next_char () == '$')
1098 c = next_char ();
1099 if (c == 'a' || c == 'A')
1101 if (skip_fixed_oacc_sentinel (&start))
1102 return;
1104 else if (c == 'o' || c == 'O')
1106 if (skip_fixed_omp_sentinel (&start))
1107 return;
1109 else
1110 goto check_for_digits;
1112 gfc_current_locus = start;
1115 skip_comment_line ();
1116 continue;
1118 gcc_unreachable ();
1119 check_for_digits:
1121 int digit_seen = 0;
1123 for (col = 3; col < 6; col++, c = next_char ())
1124 if (c == ' ')
1125 continue;
1126 else if (c == '\t')
1128 col = 6;
1129 break;
1131 else if (c < '0' || c > '9')
1132 break;
1133 else
1134 digit_seen = 1;
1136 if (col == 6 && c != '\n'
1137 && ((continue_flag && !digit_seen)
1138 || c == ' ' || c == '\t' || c == '0'))
1140 gfc_current_locus = start;
1141 start.nextc[0] = ' ';
1142 start.nextc[1] = ' ';
1143 continue;
1146 skip_comment_line ();
1147 continue;
1150 if (gfc_option.flag_d_lines != -1 && (c == 'd' || c == 'D'))
1152 if (gfc_option.flag_d_lines == 0)
1154 skip_comment_line ();
1155 continue;
1157 else
1158 *start.nextc = c = ' ';
1161 col = 1;
1163 while (gfc_is_whitespace (c))
1165 c = next_char ();
1166 col++;
1169 if (c == '\n')
1171 gfc_advance_line ();
1172 continue;
1175 if (col != 6 && c == '!')
1177 if (gfc_current_locus.lb != NULL
1178 && continue_line < gfc_linebuf_linenum (gfc_current_locus.lb))
1179 continue_line = gfc_linebuf_linenum (gfc_current_locus.lb);
1180 skip_comment_line ();
1181 continue;
1184 break;
1187 openmp_flag = 0;
1188 openacc_flag = 0;
1189 gcc_attribute_flag = 0;
1190 gfc_current_locus = start;
1194 /* Skips the current line if it is a comment. */
1196 void
1197 gfc_skip_comments (void)
1199 if (gfc_current_form == FORM_FREE)
1200 skip_free_comments ();
1201 else
1202 skip_fixed_comments ();
1206 /* Get the next character from the input, taking continuation lines
1207 and end-of-line comments into account. This implies that comment
1208 lines between continued lines must be eaten here. For higher-level
1209 subroutines, this flattens continued lines into a single logical
1210 line. The in_string flag denotes whether we're inside a character
1211 context or not. */
1213 gfc_char_t
1214 gfc_next_char_literal (gfc_instring in_string)
1216 locus old_loc;
1217 int i, prev_openmp_flag, prev_openacc_flag;
1218 gfc_char_t c;
1220 continue_flag = 0;
1221 prev_openacc_flag = prev_openmp_flag = 0;
1223 restart:
1224 c = next_char ();
1225 if (gfc_at_end ())
1227 continue_count = 0;
1228 return c;
1231 if (gfc_current_form == FORM_FREE)
1233 bool openmp_cond_flag;
1235 if (!in_string && c == '!')
1237 if (gcc_attribute_flag
1238 && memcmp (&gfc_current_locus, &gcc_attribute_locus,
1239 sizeof (gfc_current_locus)) == 0)
1240 goto done;
1242 if (openmp_flag
1243 && memcmp (&gfc_current_locus, &openmp_locus,
1244 sizeof (gfc_current_locus)) == 0)
1245 goto done;
1247 if (openacc_flag
1248 && memcmp (&gfc_current_locus, &openacc_locus,
1249 sizeof (gfc_current_locus)) == 0)
1250 goto done;
1252 /* This line can't be continued */
1255 c = next_char ();
1257 while (c != '\n');
1259 /* Avoid truncation warnings for comment ending lines. */
1260 gfc_current_locus.lb->truncated = 0;
1262 goto done;
1265 /* Check to see if the continuation line was truncated. */
1266 if (warn_line_truncation && gfc_current_locus.lb != NULL
1267 && gfc_current_locus.lb->truncated)
1269 int maxlen = flag_free_line_length;
1270 gfc_char_t *current_nextc = gfc_current_locus.nextc;
1272 gfc_current_locus.lb->truncated = 0;
1273 gfc_current_locus.nextc = gfc_current_locus.lb->line + maxlen;
1274 gfc_warning_now (OPT_Wline_truncation,
1275 "Line truncated at %L", &gfc_current_locus);
1276 gfc_current_locus.nextc = current_nextc;
1279 if (c != '&')
1280 goto done;
1282 /* If the next nonblank character is a ! or \n, we've got a
1283 continuation line. */
1284 old_loc = gfc_current_locus;
1286 c = next_char ();
1287 while (gfc_is_whitespace (c))
1288 c = next_char ();
1290 /* Character constants to be continued cannot have commentary
1291 after the '&'. However, there are cases where we may think we
1292 are still in a string and we are looking for a possible
1293 doubled quote and we end up here. See PR64506. */
1295 if (in_string && c != '\n')
1297 gfc_current_locus = old_loc;
1298 c = '&';
1299 goto done;
1302 if (c != '!' && c != '\n')
1304 gfc_current_locus = old_loc;
1305 c = '&';
1306 goto done;
1309 if (flag_openmp)
1310 prev_openmp_flag = openmp_flag;
1311 if (flag_openacc)
1312 prev_openacc_flag = openacc_flag;
1314 continue_flag = 1;
1315 if (c == '!')
1316 skip_comment_line ();
1317 else
1318 gfc_advance_line ();
1320 if (gfc_at_eof ())
1321 goto not_continuation;
1323 /* We've got a continuation line. If we are on the very next line after
1324 the last continuation, increment the continuation line count and
1325 check whether the limit has been exceeded. */
1326 if (gfc_linebuf_linenum (gfc_current_locus.lb) == continue_line + 1)
1328 if (++continue_count == gfc_option.max_continue_free)
1330 if (gfc_notification_std (GFC_STD_GNU) || pedantic)
1331 gfc_warning (0, "Limit of %d continuations exceeded in "
1332 "statement at %C", gfc_option.max_continue_free);
1336 /* Now find where it continues. First eat any comment lines. */
1337 openmp_cond_flag = skip_free_comments ();
1339 if (gfc_current_locus.lb != NULL
1340 && continue_line < gfc_linebuf_linenum (gfc_current_locus.lb))
1341 continue_line = gfc_linebuf_linenum (gfc_current_locus.lb);
1343 if (flag_openmp)
1344 if (prev_openmp_flag != openmp_flag && !openacc_flag)
1346 gfc_current_locus = old_loc;
1347 openmp_flag = prev_openmp_flag;
1348 c = '&';
1349 goto done;
1352 if (flag_openacc)
1353 if (prev_openacc_flag != openacc_flag && !openmp_flag)
1355 gfc_current_locus = old_loc;
1356 openacc_flag = prev_openacc_flag;
1357 c = '&';
1358 goto done;
1361 /* Now that we have a non-comment line, probe ahead for the
1362 first non-whitespace character. If it is another '&', then
1363 reading starts at the next character, otherwise we must back
1364 up to where the whitespace started and resume from there. */
1366 old_loc = gfc_current_locus;
1368 c = next_char ();
1369 while (gfc_is_whitespace (c))
1370 c = next_char ();
1372 if (openmp_flag && !openacc_flag)
1374 for (i = 0; i < 5; i++, c = next_char ())
1376 gcc_assert (gfc_wide_tolower (c) == (unsigned char) "!$omp"[i]);
1377 if (i == 4)
1378 old_loc = gfc_current_locus;
1380 while (gfc_is_whitespace (c))
1381 c = next_char ();
1383 if (openacc_flag && !openmp_flag)
1385 for (i = 0; i < 5; i++, c = next_char ())
1387 gcc_assert (gfc_wide_tolower (c) == (unsigned char) "!$acc"[i]);
1388 if (i == 4)
1389 old_loc = gfc_current_locus;
1391 while (gfc_is_whitespace (c))
1392 c = next_char ();
1395 /* In case we have an OpenMP directive continued by OpenACC
1396 sentinel, or vice versa, we get both openmp_flag and
1397 openacc_flag on. */
1399 if (openacc_flag && openmp_flag)
1401 int is_openmp = 0;
1402 for (i = 0; i < 5; i++, c = next_char ())
1404 if (gfc_wide_tolower (c) != (unsigned char) "!$acc"[i])
1405 is_openmp = 1;
1406 if (i == 4)
1407 old_loc = gfc_current_locus;
1409 gfc_error (is_openmp ? "Wrong OpenACC continuation at %C: "
1410 "expected !$ACC, got !$OMP"
1411 : "Wrong OpenMP continuation at %C: "
1412 "expected !$OMP, got !$ACC");
1415 if (c != '&')
1417 if (in_string)
1419 if (gfc_current_locus.nextc)
1420 gfc_current_locus.nextc--;
1421 if (warn_ampersand && in_string == INSTRING_WARN)
1422 gfc_warning (OPT_Wampersand,
1423 "Missing %<&%> in continued character "
1424 "constant at %C");
1426 else if (!in_string && (c == '\'' || c == '"'))
1427 goto done;
1428 /* Both !$omp and !$ -fopenmp continuation lines have & on the
1429 continuation line only optionally. */
1430 else if (openmp_flag || openacc_flag || openmp_cond_flag)
1432 if (gfc_current_locus.nextc)
1433 gfc_current_locus.nextc--;
1435 else
1437 c = ' ';
1438 gfc_current_locus = old_loc;
1439 goto done;
1443 else /* Fixed form. */
1445 /* Fixed form continuation. */
1446 if (in_string != INSTRING_WARN && c == '!')
1448 /* Skip comment at end of line. */
1451 c = next_char ();
1453 while (c != '\n');
1455 /* Avoid truncation warnings for comment ending lines. */
1456 gfc_current_locus.lb->truncated = 0;
1459 if (c != '\n')
1460 goto done;
1462 /* Check to see if the continuation line was truncated. */
1463 if (warn_line_truncation && gfc_current_locus.lb != NULL
1464 && gfc_current_locus.lb->truncated)
1466 gfc_current_locus.lb->truncated = 0;
1467 gfc_warning_now (OPT_Wline_truncation,
1468 "Line truncated at %L", &gfc_current_locus);
1471 if (flag_openmp)
1472 prev_openmp_flag = openmp_flag;
1473 if (flag_openacc)
1474 prev_openacc_flag = openacc_flag;
1476 continue_flag = 1;
1477 old_loc = gfc_current_locus;
1479 gfc_advance_line ();
1480 skip_fixed_comments ();
1482 /* See if this line is a continuation line. */
1483 if (flag_openmp && openmp_flag != prev_openmp_flag && !openacc_flag)
1485 openmp_flag = prev_openmp_flag;
1486 goto not_continuation;
1488 if (flag_openacc && openacc_flag != prev_openacc_flag && !openmp_flag)
1490 openacc_flag = prev_openacc_flag;
1491 goto not_continuation;
1494 /* In case we have an OpenMP directive continued by OpenACC
1495 sentinel, or vice versa, we get both openmp_flag and
1496 openacc_flag on. */
1497 if (openacc_flag && openmp_flag)
1499 int is_openmp = 0;
1500 for (i = 0; i < 5; i++)
1502 c = next_char ();
1503 if (gfc_wide_tolower (c) != (unsigned char) "*$acc"[i])
1504 is_openmp = 1;
1506 gfc_error (is_openmp ? "Wrong OpenACC continuation at %C: "
1507 "expected !$ACC, got !$OMP"
1508 : "Wrong OpenMP continuation at %C: "
1509 "expected !$OMP, got !$ACC");
1511 else if (!openmp_flag && !openacc_flag)
1512 for (i = 0; i < 5; i++)
1514 c = next_char ();
1515 if (c != ' ')
1516 goto not_continuation;
1518 else if (openmp_flag)
1519 for (i = 0; i < 5; i++)
1521 c = next_char ();
1522 if (gfc_wide_tolower (c) != (unsigned char) "*$omp"[i])
1523 goto not_continuation;
1525 else if (openacc_flag)
1526 for (i = 0; i < 5; i++)
1528 c = next_char ();
1529 if (gfc_wide_tolower (c) != (unsigned char) "*$acc"[i])
1530 goto not_continuation;
1533 c = next_char ();
1534 if (c == '0' || c == ' ' || c == '\n')
1535 goto not_continuation;
1537 /* We've got a continuation line. If we are on the very next line after
1538 the last continuation, increment the continuation line count and
1539 check whether the limit has been exceeded. */
1540 if (gfc_linebuf_linenum (gfc_current_locus.lb) == continue_line + 1)
1542 if (++continue_count == gfc_option.max_continue_fixed)
1544 if (gfc_notification_std (GFC_STD_GNU) || pedantic)
1545 gfc_warning (0, "Limit of %d continuations exceeded in "
1546 "statement at %C",
1547 gfc_option.max_continue_fixed);
1551 if (gfc_current_locus.lb != NULL
1552 && continue_line < gfc_linebuf_linenum (gfc_current_locus.lb))
1553 continue_line = gfc_linebuf_linenum (gfc_current_locus.lb);
1556 /* Ready to read first character of continuation line, which might
1557 be another continuation line! */
1558 goto restart;
1560 not_continuation:
1561 c = '\n';
1562 gfc_current_locus = old_loc;
1563 end_flag = 0;
1565 done:
1566 if (c == '\n')
1567 continue_count = 0;
1568 continue_flag = 0;
1569 return c;
1573 /* Get the next character of input, folded to lowercase. In fixed
1574 form mode, we also ignore spaces. When matcher subroutines are
1575 parsing character literals, they have to call
1576 gfc_next_char_literal(). */
1578 gfc_char_t
1579 gfc_next_char (void)
1581 gfc_char_t c;
1585 c = gfc_next_char_literal (NONSTRING);
1587 while (gfc_current_form == FORM_FIXED && gfc_is_whitespace (c));
1589 return gfc_wide_tolower (c);
1592 char
1593 gfc_next_ascii_char (void)
1595 gfc_char_t c = gfc_next_char ();
1597 return (gfc_wide_fits_in_byte (c) ? (unsigned char) c
1598 : (unsigned char) UCHAR_MAX);
1602 gfc_char_t
1603 gfc_peek_char (void)
1605 locus old_loc;
1606 gfc_char_t c;
1608 old_loc = gfc_current_locus;
1609 c = gfc_next_char ();
1610 gfc_current_locus = old_loc;
1612 return c;
1616 char
1617 gfc_peek_ascii_char (void)
1619 gfc_char_t c = gfc_peek_char ();
1621 return (gfc_wide_fits_in_byte (c) ? (unsigned char) c
1622 : (unsigned char) UCHAR_MAX);
1626 /* Recover from an error. We try to get past the current statement
1627 and get lined up for the next. The next statement follows a '\n'
1628 or a ';'. We also assume that we are not within a character
1629 constant, and deal with finding a '\'' or '"'. */
1631 void
1632 gfc_error_recovery (void)
1634 gfc_char_t c, delim;
1636 if (gfc_at_eof ())
1637 return;
1639 for (;;)
1641 c = gfc_next_char ();
1642 if (c == '\n' || c == ';')
1643 break;
1645 if (c != '\'' && c != '"')
1647 if (gfc_at_eof ())
1648 break;
1649 continue;
1651 delim = c;
1653 for (;;)
1655 c = next_char ();
1657 if (c == delim)
1658 break;
1659 if (c == '\n')
1660 return;
1661 if (c == '\\')
1663 c = next_char ();
1664 if (c == '\n')
1665 return;
1668 if (gfc_at_eof ())
1669 break;
1674 /* Read ahead until the next character to be read is not whitespace. */
1676 void
1677 gfc_gobble_whitespace (void)
1679 static int linenum = 0;
1680 locus old_loc;
1681 gfc_char_t c;
1685 old_loc = gfc_current_locus;
1686 c = gfc_next_char_literal (NONSTRING);
1687 /* Issue a warning for nonconforming tabs. We keep track of the line
1688 number because the Fortran matchers will often back up and the same
1689 line will be scanned multiple times. */
1690 if (warn_tabs && c == '\t')
1692 int cur_linenum = LOCATION_LINE (gfc_current_locus.lb->location);
1693 if (cur_linenum != linenum)
1695 linenum = cur_linenum;
1696 gfc_warning_now (OPT_Wtabs, "Nonconforming tab character at %C");
1700 while (gfc_is_whitespace (c));
1702 gfc_current_locus = old_loc;
1706 /* Load a single line into pbuf.
1708 If pbuf points to a NULL pointer, it is allocated.
1709 We truncate lines that are too long, unless we're dealing with
1710 preprocessor lines or if the option -ffixed-line-length-none is set,
1711 in which case we reallocate the buffer to fit the entire line, if
1712 need be.
1713 In fixed mode, we expand a tab that occurs within the statement
1714 label region to expand to spaces that leave the next character in
1715 the source region.
1717 If first_char is not NULL, it's a pointer to a single char value holding
1718 the first character of the line, which has already been read by the
1719 caller. This avoids the use of ungetc().
1721 load_line returns whether the line was truncated.
1723 NOTE: The error machinery isn't available at this point, so we can't
1724 easily report line and column numbers consistent with other
1725 parts of gfortran. */
1727 static int
1728 load_line (FILE *input, gfc_char_t **pbuf, int *pbuflen, const int *first_char)
1730 static int linenum = 0, current_line = 1;
1731 int c, maxlen, i, preprocessor_flag, buflen = *pbuflen;
1732 int trunc_flag = 0, seen_comment = 0;
1733 int seen_printable = 0, seen_ampersand = 0, quoted = ' ';
1734 gfc_char_t *buffer;
1735 bool found_tab = false;
1737 /* Determine the maximum allowed line length. */
1738 if (gfc_current_form == FORM_FREE)
1739 maxlen = flag_free_line_length;
1740 else if (gfc_current_form == FORM_FIXED)
1741 maxlen = flag_fixed_line_length;
1742 else
1743 maxlen = 72;
1745 if (*pbuf == NULL)
1747 /* Allocate the line buffer, storing its length into buflen.
1748 Note that if maxlen==0, indicating that arbitrary-length lines
1749 are allowed, the buffer will be reallocated if this length is
1750 insufficient; since 132 characters is the length of a standard
1751 free-form line, we use that as a starting guess. */
1752 if (maxlen > 0)
1753 buflen = maxlen;
1754 else
1755 buflen = 132;
1757 *pbuf = gfc_get_wide_string (buflen + 1);
1760 i = 0;
1761 buffer = *pbuf;
1763 if (first_char)
1764 c = *first_char;
1765 else
1766 c = getc (input);
1768 /* In order to not truncate preprocessor lines, we have to
1769 remember that this is one. */
1770 preprocessor_flag = (c == '#' ? 1 : 0);
1772 for (;;)
1774 if (c == EOF)
1775 break;
1777 if (c == '\n')
1779 /* Check for illegal use of ampersand. See F95 Standard 3.3.1.3. */
1780 if (gfc_current_form == FORM_FREE
1781 && !seen_printable && seen_ampersand)
1783 if (pedantic)
1784 gfc_error_now ("%<&%> not allowed by itself in line %d",
1785 current_line);
1786 else
1787 gfc_warning_now (0, "%<&%> not allowed by itself in line %d",
1788 current_line);
1790 break;
1793 if (c == '\r' || c == '\0')
1794 goto next_char; /* Gobble characters. */
1796 if (c == '&')
1798 if (seen_ampersand)
1800 seen_ampersand = 0;
1801 seen_printable = 1;
1803 else
1804 seen_ampersand = 1;
1807 if ((c != '&' && c != '!' && c != ' ') || (c == '!' && !seen_ampersand))
1808 seen_printable = 1;
1810 /* Is this a fixed-form comment? */
1811 if (gfc_current_form == FORM_FIXED && i == 0
1812 && (c == '*' || c == 'c' || c == 'd'))
1813 seen_comment = 1;
1815 if (quoted == ' ')
1817 if (c == '\'' || c == '"')
1818 quoted = c;
1820 else if (c == quoted)
1821 quoted = ' ';
1823 /* Is this a free-form comment? */
1824 if (c == '!' && quoted == ' ')
1825 seen_comment = 1;
1827 /* Vendor extension: "<tab>1" marks a continuation line. */
1828 if (found_tab)
1830 found_tab = false;
1831 if (c >= '1' && c <= '9')
1833 *(buffer-1) = c;
1834 goto next_char;
1838 if (gfc_current_form == FORM_FIXED && c == '\t' && i < 6)
1840 found_tab = true;
1842 if (warn_tabs && seen_comment == 0 && current_line != linenum)
1844 linenum = current_line;
1845 gfc_warning_now (OPT_Wtabs,
1846 "Nonconforming tab character in column %d "
1847 "of line %d", i+1, linenum);
1850 while (i < 6)
1852 *buffer++ = ' ';
1853 i++;
1856 goto next_char;
1859 *buffer++ = c;
1860 i++;
1862 if (maxlen == 0 || preprocessor_flag)
1864 if (i >= buflen)
1866 /* Reallocate line buffer to double size to hold the
1867 overlong line. */
1868 buflen = buflen * 2;
1869 *pbuf = XRESIZEVEC (gfc_char_t, *pbuf, (buflen + 1));
1870 buffer = (*pbuf) + i;
1873 else if (i >= maxlen)
1875 bool trunc_warn = true;
1877 /* Enhancement, if the very next non-space character is an ampersand
1878 or comment that we would otherwise warn about, don't mark as
1879 truncated. */
1881 /* Truncate the rest of the line. */
1882 for (;;)
1884 c = getc (input);
1885 if (c == '\r' || c == ' ')
1886 continue;
1888 if (c == '\n' || c == EOF)
1889 break;
1891 if (!trunc_warn && c != '!')
1892 trunc_warn = true;
1894 if (trunc_warn && ((gfc_current_form == FORM_FIXED && c == '&')
1895 || c == '!'))
1896 trunc_warn = false;
1898 if (c == '!')
1899 seen_comment = 1;
1901 if (trunc_warn && !seen_comment)
1902 trunc_flag = 1;
1905 c = '\n';
1906 continue;
1909 next_char:
1910 c = getc (input);
1913 /* Pad lines to the selected line length in fixed form. */
1914 if (gfc_current_form == FORM_FIXED
1915 && flag_fixed_line_length != 0
1916 && !preprocessor_flag
1917 && c != EOF)
1919 while (i++ < maxlen)
1920 *buffer++ = ' ';
1923 *buffer = '\0';
1924 *pbuflen = buflen;
1925 current_line++;
1927 return trunc_flag;
1931 /* Get a gfc_file structure, initialize it and add it to
1932 the file stack. */
1934 static gfc_file *
1935 get_file (const char *name, enum lc_reason reason ATTRIBUTE_UNUSED)
1937 gfc_file *f;
1939 f = XCNEW (gfc_file);
1941 f->filename = xstrdup (name);
1943 f->next = file_head;
1944 file_head = f;
1946 f->up = current_file;
1947 if (current_file != NULL)
1948 f->inclusion_line = current_file->line;
1950 linemap_add (line_table, reason, false, f->filename, 1);
1952 return f;
1956 /* Deal with a line from the C preprocessor. The
1957 initial octothorp has already been seen. */
1959 static void
1960 preprocessor_line (gfc_char_t *c)
1962 bool flag[5];
1963 int i, line;
1964 gfc_char_t *wide_filename;
1965 gfc_file *f;
1966 int escaped, unescape;
1967 char *filename;
1969 c++;
1970 while (*c == ' ' || *c == '\t')
1971 c++;
1973 if (*c < '0' || *c > '9')
1974 goto bad_cpp_line;
1976 line = wide_atoi (c);
1978 c = wide_strchr (c, ' ');
1979 if (c == NULL)
1981 /* No file name given. Set new line number. */
1982 current_file->line = line;
1983 return;
1986 /* Skip spaces. */
1987 while (*c == ' ' || *c == '\t')
1988 c++;
1990 /* Skip quote. */
1991 if (*c != '"')
1992 goto bad_cpp_line;
1993 ++c;
1995 wide_filename = c;
1997 /* Make filename end at quote. */
1998 unescape = 0;
1999 escaped = false;
2000 while (*c && ! (!escaped && *c == '"'))
2002 if (escaped)
2003 escaped = false;
2004 else if (*c == '\\')
2006 escaped = true;
2007 unescape++;
2009 ++c;
2012 if (! *c)
2013 /* Preprocessor line has no closing quote. */
2014 goto bad_cpp_line;
2016 *c++ = '\0';
2018 /* Undo effects of cpp_quote_string. */
2019 if (unescape)
2021 gfc_char_t *s = wide_filename;
2022 gfc_char_t *d = gfc_get_wide_string (c - wide_filename - unescape);
2024 wide_filename = d;
2025 while (*s)
2027 if (*s == '\\')
2028 *d++ = *++s;
2029 else
2030 *d++ = *s;
2031 s++;
2033 *d = '\0';
2036 /* Get flags. */
2038 flag[1] = flag[2] = flag[3] = flag[4] = false;
2040 for (;;)
2042 c = wide_strchr (c, ' ');
2043 if (c == NULL)
2044 break;
2046 c++;
2047 i = wide_atoi (c);
2049 if (1 <= i && i <= 4)
2050 flag[i] = true;
2053 /* Convert the filename in wide characters into a filename in narrow
2054 characters. */
2055 filename = gfc_widechar_to_char (wide_filename, -1);
2057 /* Interpret flags. */
2059 if (flag[1]) /* Starting new file. */
2061 f = get_file (filename, LC_RENAME);
2062 add_file_change (f->filename, f->inclusion_line);
2063 current_file = f;
2066 if (flag[2]) /* Ending current file. */
2068 if (!current_file->up
2069 || filename_cmp (current_file->up->filename, filename) != 0)
2071 linemap_line_start (line_table, current_file->line, 80);
2072 /* ??? One could compute the exact column where the filename
2073 starts and compute the exact location here. */
2074 gfc_warning_now_at (linemap_position_for_column (line_table, 1),
2075 0, "file %qs left but not entered",
2076 filename);
2077 current_file->line++;
2078 if (unescape)
2079 free (wide_filename);
2080 free (filename);
2081 return;
2084 add_file_change (NULL, line);
2085 current_file = current_file->up;
2086 linemap_add (line_table, LC_RENAME, false, current_file->filename,
2087 current_file->line);
2090 /* The name of the file can be a temporary file produced by
2091 cpp. Replace the name if it is different. */
2093 if (filename_cmp (current_file->filename, filename) != 0)
2095 /* FIXME: we leak the old filename because a pointer to it may be stored
2096 in the linemap. Alternative could be using GC or updating linemap to
2097 point to the new name, but there is no API for that currently. */
2098 current_file->filename = xstrdup (filename);
2101 /* Set new line number. */
2102 current_file->line = line;
2103 if (unescape)
2104 free (wide_filename);
2105 free (filename);
2106 return;
2108 bad_cpp_line:
2109 linemap_line_start (line_table, current_file->line, 80);
2110 /* ??? One could compute the exact column where the directive
2111 starts and compute the exact location here. */
2112 gfc_warning_now_at (linemap_position_for_column (line_table, 2), 0,
2113 "Illegal preprocessor directive");
2114 current_file->line++;
2118 static bool load_file (const char *, const char *, bool);
2120 /* include_line()-- Checks a line buffer to see if it is an include
2121 line. If so, we call load_file() recursively to load the included
2122 file. We never return a syntax error because a statement like
2123 "include = 5" is perfectly legal. We return false if no include was
2124 processed or true if we matched an include. */
2126 static bool
2127 include_line (gfc_char_t *line)
2129 gfc_char_t quote, *c, *begin, *stop;
2130 char *filename;
2132 c = line;
2134 if (flag_openmp || flag_openmp_simd)
2136 if (gfc_current_form == FORM_FREE)
2138 while (*c == ' ' || *c == '\t')
2139 c++;
2140 if (*c == '!' && c[1] == '$' && (c[2] == ' ' || c[2] == '\t'))
2141 c += 3;
2143 else
2145 if ((*c == '!' || *c == 'c' || *c == 'C' || *c == '*')
2146 && c[1] == '$' && (c[2] == ' ' || c[2] == '\t'))
2147 c += 3;
2151 while (*c == ' ' || *c == '\t')
2152 c++;
2154 if (gfc_wide_strncasecmp (c, "include", 7))
2155 return false;
2157 c += 7;
2158 while (*c == ' ' || *c == '\t')
2159 c++;
2161 /* Find filename between quotes. */
2163 quote = *c++;
2164 if (quote != '"' && quote != '\'')
2165 return false;
2167 begin = c;
2169 while (*c != quote && *c != '\0')
2170 c++;
2172 if (*c == '\0')
2173 return false;
2175 stop = c++;
2177 while (*c == ' ' || *c == '\t')
2178 c++;
2180 if (*c != '\0' && *c != '!')
2181 return false;
2183 /* We have an include line at this point. */
2185 *stop = '\0'; /* It's ok to trash the buffer, as this line won't be
2186 read by anything else. */
2188 filename = gfc_widechar_to_char (begin, -1);
2189 if (!load_file (filename, NULL, false))
2190 exit (FATAL_EXIT_CODE);
2192 free (filename);
2193 return true;
2197 /* Load a file into memory by calling load_line until the file ends. */
2199 static bool
2200 load_file (const char *realfilename, const char *displayedname, bool initial)
2202 gfc_char_t *line;
2203 gfc_linebuf *b;
2204 gfc_file *f;
2205 FILE *input;
2206 int len, line_len;
2207 bool first_line;
2208 struct stat st;
2209 int stat_result;
2210 const char *filename;
2211 /* If realfilename and displayedname are different and non-null then
2212 surely realfilename is the preprocessed form of
2213 displayedname. */
2214 bool preprocessed_p = (realfilename && displayedname
2215 && strcmp (realfilename, displayedname));
2217 filename = displayedname ? displayedname : realfilename;
2219 for (f = current_file; f; f = f->up)
2220 if (filename_cmp (filename, f->filename) == 0)
2222 fprintf (stderr, "%s:%d: Error: File '%s' is being included "
2223 "recursively\n", current_file->filename, current_file->line,
2224 filename);
2225 return false;
2228 if (initial)
2230 if (gfc_src_file)
2232 input = gfc_src_file;
2233 gfc_src_file = NULL;
2235 else
2236 input = gfc_open_file (realfilename);
2238 if (input == NULL)
2240 gfc_error_now ("Can't open file %qs", filename);
2241 return false;
2244 else
2246 input = gfc_open_included_file (realfilename, false, false);
2247 if (input == NULL)
2249 fprintf (stderr, "%s:%d: Error: Can't open included file '%s'\n",
2250 current_file->filename, current_file->line, filename);
2251 return false;
2253 stat_result = stat (realfilename, &st);
2254 if (stat_result == 0 && !S_ISREG(st.st_mode))
2256 fprintf (stderr, "%s:%d: Error: Included path '%s'"
2257 " is not a regular file\n",
2258 current_file->filename, current_file->line, filename);
2259 fclose (input);
2260 return false;
2264 /* Load the file.
2266 A "non-initial" file means a file that is being included. In
2267 that case we are creating an LC_ENTER map.
2269 An "initial" file means a main file; one that is not included.
2270 That file has already got at least one (surely more) line map(s)
2271 created by gfc_init. So the subsequent map created in that case
2272 must have LC_RENAME reason.
2274 This latter case is not true for a preprocessed file. In that
2275 case, although the file is "initial", the line maps created by
2276 gfc_init was used during the preprocessing of the file. Now that
2277 the preprocessing is over and we are being fed the result of that
2278 preprocessing, we need to create a brand new line map for the
2279 preprocessed file, so the reason is going to be LC_ENTER. */
2281 f = get_file (filename, (initial && !preprocessed_p) ? LC_RENAME : LC_ENTER);
2282 if (!initial)
2283 add_file_change (f->filename, f->inclusion_line);
2284 current_file = f;
2285 current_file->line = 1;
2286 line = NULL;
2287 line_len = 0;
2288 first_line = true;
2290 if (initial && gfc_src_preprocessor_lines[0])
2292 preprocessor_line (gfc_src_preprocessor_lines[0]);
2293 free (gfc_src_preprocessor_lines[0]);
2294 gfc_src_preprocessor_lines[0] = NULL;
2295 if (gfc_src_preprocessor_lines[1])
2297 preprocessor_line (gfc_src_preprocessor_lines[1]);
2298 free (gfc_src_preprocessor_lines[1]);
2299 gfc_src_preprocessor_lines[1] = NULL;
2303 for (;;)
2305 int trunc = load_line (input, &line, &line_len, NULL);
2307 len = gfc_wide_strlen (line);
2308 if (feof (input) && len == 0)
2309 break;
2311 /* If this is the first line of the file, it can contain a byte
2312 order mark (BOM), which we will ignore:
2313 FF FE is UTF-16 little endian,
2314 FE FF is UTF-16 big endian,
2315 EF BB BF is UTF-8. */
2316 if (first_line
2317 && ((line_len >= 2 && line[0] == (unsigned char) '\xFF'
2318 && line[1] == (unsigned char) '\xFE')
2319 || (line_len >= 2 && line[0] == (unsigned char) '\xFE'
2320 && line[1] == (unsigned char) '\xFF')
2321 || (line_len >= 3 && line[0] == (unsigned char) '\xEF'
2322 && line[1] == (unsigned char) '\xBB'
2323 && line[2] == (unsigned char) '\xBF')))
2325 int n = line[1] == (unsigned char) '\xBB' ? 3 : 2;
2326 gfc_char_t *new_char = gfc_get_wide_string (line_len);
2328 wide_strcpy (new_char, &line[n]);
2329 free (line);
2330 line = new_char;
2331 len -= n;
2334 /* There are three things this line can be: a line of Fortran
2335 source, an include line or a C preprocessor directive. */
2337 if (line[0] == '#')
2339 /* When -g3 is specified, it's possible that we emit #define
2340 and #undef lines, which we need to pass to the middle-end
2341 so that it can emit correct debug info. */
2342 if (debug_info_level == DINFO_LEVEL_VERBOSE
2343 && (wide_strncmp (line, "#define ", 8) == 0
2344 || wide_strncmp (line, "#undef ", 7) == 0))
2346 else
2348 preprocessor_line (line);
2349 continue;
2353 /* Preprocessed files have preprocessor lines added before the byte
2354 order mark, so first_line is not about the first line of the file
2355 but the first line that's not a preprocessor line. */
2356 first_line = false;
2358 if (include_line (line))
2360 current_file->line++;
2361 continue;
2364 /* Add line. */
2366 b = XCNEWVAR (gfc_linebuf, gfc_linebuf_header_size
2367 + (len + 1) * sizeof (gfc_char_t));
2370 b->location
2371 = linemap_line_start (line_table, current_file->line++, len);
2372 /* ??? We add the location for the maximum column possible here,
2373 because otherwise if the next call creates a new line-map, it
2374 will not reserve space for any offset. */
2375 if (len > 0)
2376 linemap_position_for_column (line_table, len);
2378 b->file = current_file;
2379 b->truncated = trunc;
2380 wide_strcpy (b->line, line);
2382 if (line_head == NULL)
2383 line_head = b;
2384 else
2385 line_tail->next = b;
2387 line_tail = b;
2389 while (file_changes_cur < file_changes_count)
2390 file_changes[file_changes_cur++].lb = b;
2393 /* Release the line buffer allocated in load_line. */
2394 free (line);
2396 fclose (input);
2398 if (!initial)
2399 add_file_change (NULL, current_file->inclusion_line + 1);
2400 current_file = current_file->up;
2401 linemap_add (line_table, LC_LEAVE, 0, NULL, 0);
2402 return true;
2406 /* Open a new file and start scanning from that file. Returns true
2407 if everything went OK, false otherwise. If form == FORM_UNKNOWN
2408 it tries to determine the source form from the filename, defaulting
2409 to free form. */
2411 bool
2412 gfc_new_file (void)
2414 bool result;
2416 if (gfc_cpp_enabled ())
2418 result = gfc_cpp_preprocess (gfc_source_file);
2419 if (!gfc_cpp_preprocess_only ())
2420 result = load_file (gfc_cpp_temporary_file (), gfc_source_file, true);
2422 else
2423 result = load_file (gfc_source_file, NULL, true);
2425 gfc_current_locus.lb = line_head;
2426 gfc_current_locus.nextc = (line_head == NULL) ? NULL : line_head->line;
2428 #if 0 /* Debugging aid. */
2429 for (; line_head; line_head = line_head->next)
2430 printf ("%s:%3d %s\n", LOCATION_FILE (line_head->location),
2431 LOCATION_LINE (line_head->location), line_head->line);
2433 exit (SUCCESS_EXIT_CODE);
2434 #endif
2436 return result;
2439 static char *
2440 unescape_filename (const char *ptr)
2442 const char *p = ptr, *s;
2443 char *d, *ret;
2444 int escaped, unescape = 0;
2446 /* Make filename end at quote. */
2447 escaped = false;
2448 while (*p && ! (! escaped && *p == '"'))
2450 if (escaped)
2451 escaped = false;
2452 else if (*p == '\\')
2454 escaped = true;
2455 unescape++;
2457 ++p;
2460 if (!*p || p[1])
2461 return NULL;
2463 /* Undo effects of cpp_quote_string. */
2464 s = ptr;
2465 d = XCNEWVEC (char, p + 1 - ptr - unescape);
2466 ret = d;
2468 while (s != p)
2470 if (*s == '\\')
2471 *d++ = *++s;
2472 else
2473 *d++ = *s;
2474 s++;
2476 *d = '\0';
2477 return ret;
2480 /* For preprocessed files, if the first tokens are of the form # NUM.
2481 handle the directives so we know the original file name. */
2483 const char *
2484 gfc_read_orig_filename (const char *filename, const char **canon_source_file)
2486 int c, len;
2487 char *dirname, *tmp;
2489 gfc_src_file = gfc_open_file (filename);
2490 if (gfc_src_file == NULL)
2491 return NULL;
2493 c = getc (gfc_src_file);
2495 if (c != '#')
2496 return NULL;
2498 len = 0;
2499 load_line (gfc_src_file, &gfc_src_preprocessor_lines[0], &len, &c);
2501 if (wide_strncmp (gfc_src_preprocessor_lines[0], "# 1 \"", 5) != 0)
2502 return NULL;
2504 tmp = gfc_widechar_to_char (&gfc_src_preprocessor_lines[0][5], -1);
2505 filename = unescape_filename (tmp);
2506 free (tmp);
2507 if (filename == NULL)
2508 return NULL;
2510 c = getc (gfc_src_file);
2512 if (c != '#')
2513 return filename;
2515 len = 0;
2516 load_line (gfc_src_file, &gfc_src_preprocessor_lines[1], &len, &c);
2518 if (wide_strncmp (gfc_src_preprocessor_lines[1], "# 1 \"", 5) != 0)
2519 return filename;
2521 tmp = gfc_widechar_to_char (&gfc_src_preprocessor_lines[1][5], -1);
2522 dirname = unescape_filename (tmp);
2523 free (tmp);
2524 if (dirname == NULL)
2525 return filename;
2527 len = strlen (dirname);
2528 if (len < 3 || dirname[len - 1] != '/' || dirname[len - 2] != '/')
2530 free (dirname);
2531 return filename;
2533 dirname[len - 2] = '\0';
2534 set_src_pwd (dirname);
2536 if (! IS_ABSOLUTE_PATH (filename))
2538 char *p = XCNEWVEC (char, len + strlen (filename));
2540 memcpy (p, dirname, len - 2);
2541 p[len - 2] = '/';
2542 strcpy (p + len - 1, filename);
2543 *canon_source_file = p;
2546 free (dirname);
2547 return filename;