2009-06-03 Richard Guenther <rguenther@suse.de>
[official-gcc.git] / gcc / fortran / scanner.c
blobcff988367cda6a3d09b6085e5f1d82edec081a3b
1 /* Character scanner.
2 Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
3 Free Software Foundation, Inc.
4 Contributed by Andy Vaught
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 /* Set of subroutines to (ultimately) return the next character to the
23 various matching subroutines. This file's job is to read files and
24 build up lines that are parsed by the parser. This means that we
25 handle continuation lines and "include" lines.
27 The first thing the scanner does is to load an entire file into
28 memory. We load the entire file into memory for a couple reasons.
29 The first is that we want to be able to deal with nonseekable input
30 (pipes, stdin) and there is a lot of backing up involved during
31 parsing.
33 The second is that we want to be able to print the locus of errors,
34 and an error on line 999999 could conflict with something on line
35 one. Given nonseekable input, we've got to store the whole thing.
37 One thing that helps are the column truncation limits that give us
38 an upper bound on the size of individual lines. We don't store the
39 truncated stuff.
41 From the scanner's viewpoint, the higher level subroutines ask for
42 new characters and do a lot of jumping backwards. */
44 #include "config.h"
45 #include "system.h"
46 #include "gfortran.h"
47 #include "toplev.h"
48 #include "debug.h"
49 #include "flags.h"
50 #include "cpp.h"
52 /* Structure for holding module and include file search path. */
53 typedef struct gfc_directorylist
55 char *path;
56 bool use_for_modules;
57 struct gfc_directorylist *next;
59 gfc_directorylist;
61 /* List of include file search directories. */
62 static gfc_directorylist *include_dirs, *intrinsic_modules_dirs;
64 static gfc_file *file_head, *current_file;
66 static int continue_flag, end_flag, openmp_flag;
67 static int continue_count, continue_line;
68 static locus openmp_locus;
70 gfc_source_form gfc_current_form;
71 static gfc_linebuf *line_head, *line_tail;
73 locus gfc_current_locus;
74 const char *gfc_source_file;
75 static FILE *gfc_src_file;
76 static gfc_char_t *gfc_src_preprocessor_lines[2];
78 extern int pedantic;
80 static struct gfc_file_change
82 const char *filename;
83 gfc_linebuf *lb;
84 int line;
85 } *file_changes;
86 size_t file_changes_cur, file_changes_count;
87 size_t file_changes_allocated;
90 /* Functions dealing with our wide characters (gfc_char_t) and
91 sequences of such characters. */
93 int
94 gfc_wide_fits_in_byte (gfc_char_t c)
96 return (c <= UCHAR_MAX);
99 static inline int
100 wide_is_ascii (gfc_char_t c)
102 return (gfc_wide_fits_in_byte (c) && ((unsigned char) c & ~0x7f) == 0);
106 gfc_wide_is_printable (gfc_char_t c)
108 return (gfc_wide_fits_in_byte (c) && ISPRINT ((unsigned char) c));
111 gfc_char_t
112 gfc_wide_tolower (gfc_char_t c)
114 return (wide_is_ascii (c) ? (gfc_char_t) TOLOWER((unsigned char) c) : c);
117 gfc_char_t
118 gfc_wide_toupper (gfc_char_t c)
120 return (wide_is_ascii (c) ? (gfc_char_t) TOUPPER((unsigned char) c) : c);
124 gfc_wide_is_digit (gfc_char_t c)
126 return (c >= '0' && c <= '9');
129 static inline int
130 wide_atoi (gfc_char_t *c)
132 #define MAX_DIGITS 20
133 char buf[MAX_DIGITS+1];
134 int i = 0;
136 while (gfc_wide_is_digit(*c) && i < MAX_DIGITS)
137 buf[i++] = *c++;
138 buf[i] = '\0';
139 return atoi (buf);
142 size_t
143 gfc_wide_strlen (const gfc_char_t *str)
145 size_t i;
147 for (i = 0; str[i]; i++)
150 return i;
153 gfc_char_t *
154 gfc_wide_memset (gfc_char_t *b, gfc_char_t c, size_t len)
156 size_t i;
158 for (i = 0; i < len; i++)
159 b[i] = c;
161 return b;
164 static gfc_char_t *
165 wide_strcpy (gfc_char_t *dest, const gfc_char_t *src)
167 gfc_char_t *d;
169 for (d = dest; (*d = *src) != '\0'; ++src, ++d)
172 return dest;
175 static gfc_char_t *
176 wide_strchr (const gfc_char_t *s, gfc_char_t c)
178 do {
179 if (*s == c)
181 return CONST_CAST(gfc_char_t *, s);
183 } while (*s++);
184 return 0;
187 char *
188 gfc_widechar_to_char (const gfc_char_t *s, int length)
190 size_t len, i;
191 char *res;
193 if (s == NULL)
194 return NULL;
196 /* Passing a negative length is used to indicate that length should be
197 calculated using gfc_wide_strlen(). */
198 len = (length >= 0 ? (size_t) length : gfc_wide_strlen (s));
199 res = XNEWVEC (char, len + 1);
201 for (i = 0; i < len; i++)
203 gcc_assert (gfc_wide_fits_in_byte (s[i]));
204 res[i] = (unsigned char) s[i];
207 res[len] = '\0';
208 return res;
211 gfc_char_t *
212 gfc_char_to_widechar (const char *s)
214 size_t len, i;
215 gfc_char_t *res;
217 if (s == NULL)
218 return NULL;
220 len = strlen (s);
221 res = gfc_get_wide_string (len + 1);
223 for (i = 0; i < len; i++)
224 res[i] = (unsigned char) s[i];
226 res[len] = '\0';
227 return res;
230 static int
231 wide_strncmp (const gfc_char_t *s1, const char *s2, size_t n)
233 gfc_char_t c1, c2;
235 while (n-- > 0)
237 c1 = *s1++;
238 c2 = *s2++;
239 if (c1 != c2)
240 return (c1 > c2 ? 1 : -1);
241 if (c1 == '\0')
242 return 0;
244 return 0;
248 gfc_wide_strncasecmp (const gfc_char_t *s1, const char *s2, size_t n)
250 gfc_char_t c1, c2;
252 while (n-- > 0)
254 c1 = gfc_wide_tolower (*s1++);
255 c2 = TOLOWER (*s2++);
256 if (c1 != c2)
257 return (c1 > c2 ? 1 : -1);
258 if (c1 == '\0')
259 return 0;
261 return 0;
265 /* Main scanner initialization. */
267 void
268 gfc_scanner_init_1 (void)
270 file_head = NULL;
271 line_head = NULL;
272 line_tail = NULL;
274 continue_count = 0;
275 continue_line = 0;
277 end_flag = 0;
281 /* Main scanner destructor. */
283 void
284 gfc_scanner_done_1 (void)
286 gfc_linebuf *lb;
287 gfc_file *f;
289 while(line_head != NULL)
291 lb = line_head->next;
292 gfc_free(line_head);
293 line_head = lb;
296 while(file_head != NULL)
298 f = file_head->next;
299 gfc_free(file_head->filename);
300 gfc_free(file_head);
301 file_head = f;
306 /* Adds path to the list pointed to by list. */
308 static void
309 add_path_to_list (gfc_directorylist **list, const char *path,
310 bool use_for_modules, bool head)
312 gfc_directorylist *dir;
313 const char *p;
315 p = path;
316 while (*p == ' ' || *p == '\t') /* someone might do "-I include" */
317 if (*p++ == '\0')
318 return;
320 if (head || *list == NULL)
322 dir = XCNEW (gfc_directorylist);
323 if (!head)
324 *list = dir;
326 else
328 dir = *list;
329 while (dir->next)
330 dir = dir->next;
332 dir->next = XCNEW (gfc_directorylist);
333 dir = dir->next;
336 dir->next = head ? *list : NULL;
337 if (head)
338 *list = dir;
339 dir->use_for_modules = use_for_modules;
340 dir->path = XCNEWVEC (char, strlen (p) + 2);
341 strcpy (dir->path, p);
342 strcat (dir->path, "/"); /* make '/' last character */
346 void
347 gfc_add_include_path (const char *path, bool use_for_modules, bool file_dir)
349 add_path_to_list (&include_dirs, path, use_for_modules, file_dir);
351 /* For '#include "..."' these directories are automatically searched. */
352 if (!file_dir)
353 gfc_cpp_add_include_path (xstrdup(path), true);
357 void
358 gfc_add_intrinsic_modules_path (const char *path)
360 add_path_to_list (&intrinsic_modules_dirs, path, true, false);
364 /* Release resources allocated for options. */
366 void
367 gfc_release_include_path (void)
369 gfc_directorylist *p;
371 while (include_dirs != NULL)
373 p = include_dirs;
374 include_dirs = include_dirs->next;
375 gfc_free (p->path);
376 gfc_free (p);
379 while (intrinsic_modules_dirs != NULL)
381 p = intrinsic_modules_dirs;
382 intrinsic_modules_dirs = intrinsic_modules_dirs->next;
383 gfc_free (p->path);
384 gfc_free (p);
387 gfc_free (gfc_option.module_dir);
391 static FILE *
392 open_included_file (const char *name, gfc_directorylist *list, bool module)
394 char *fullname;
395 gfc_directorylist *p;
396 FILE *f;
398 for (p = list; p; p = p->next)
400 if (module && !p->use_for_modules)
401 continue;
403 fullname = (char *) alloca(strlen (p->path) + strlen (name) + 1);
404 strcpy (fullname, p->path);
405 strcat (fullname, name);
407 f = gfc_open_file (fullname);
408 if (f != NULL)
409 return f;
412 return NULL;
416 /* Opens file for reading, searching through the include directories
417 given if necessary. If the include_cwd argument is true, we try
418 to open the file in the current directory first. */
420 FILE *
421 gfc_open_included_file (const char *name, bool include_cwd, bool module)
423 FILE *f;
425 if (IS_ABSOLUTE_PATH (name))
426 return gfc_open_file (name);
428 if (include_cwd)
430 f = gfc_open_file (name);
431 if (f != NULL)
432 return f;
435 return open_included_file (name, include_dirs, module);
438 FILE *
439 gfc_open_intrinsic_module (const char *name)
441 if (IS_ABSOLUTE_PATH (name))
442 return gfc_open_file (name);
444 return open_included_file (name, intrinsic_modules_dirs, true);
448 /* Test to see if we're at the end of the main source file. */
451 gfc_at_end (void)
453 return end_flag;
457 /* Test to see if we're at the end of the current file. */
460 gfc_at_eof (void)
462 if (gfc_at_end ())
463 return 1;
465 if (line_head == NULL)
466 return 1; /* Null file */
468 if (gfc_current_locus.lb == NULL)
469 return 1;
471 return 0;
475 /* Test to see if we're at the beginning of a new line. */
478 gfc_at_bol (void)
480 if (gfc_at_eof ())
481 return 1;
483 return (gfc_current_locus.nextc == gfc_current_locus.lb->line);
487 /* Test to see if we're at the end of a line. */
490 gfc_at_eol (void)
492 if (gfc_at_eof ())
493 return 1;
495 return (*gfc_current_locus.nextc == '\0');
498 static void
499 add_file_change (const char *filename, int line)
501 if (file_changes_count == file_changes_allocated)
503 if (file_changes_allocated)
504 file_changes_allocated *= 2;
505 else
506 file_changes_allocated = 16;
507 file_changes = XRESIZEVEC (struct gfc_file_change, file_changes,
508 file_changes_allocated);
510 file_changes[file_changes_count].filename = filename;
511 file_changes[file_changes_count].lb = NULL;
512 file_changes[file_changes_count++].line = line;
515 static void
516 report_file_change (gfc_linebuf *lb)
518 size_t c = file_changes_cur;
519 while (c < file_changes_count
520 && file_changes[c].lb == lb)
522 if (file_changes[c].filename)
523 (*debug_hooks->start_source_file) (file_changes[c].line,
524 file_changes[c].filename);
525 else
526 (*debug_hooks->end_source_file) (file_changes[c].line);
527 ++c;
529 file_changes_cur = c;
532 void
533 gfc_start_source_files (void)
535 /* If the debugger wants the name of the main source file,
536 we give it. */
537 if (debug_hooks->start_end_main_source_file)
538 (*debug_hooks->start_source_file) (0, gfc_source_file);
540 file_changes_cur = 0;
541 report_file_change (gfc_current_locus.lb);
544 void
545 gfc_end_source_files (void)
547 report_file_change (NULL);
549 if (debug_hooks->start_end_main_source_file)
550 (*debug_hooks->end_source_file) (0);
553 /* Advance the current line pointer to the next line. */
555 void
556 gfc_advance_line (void)
558 if (gfc_at_end ())
559 return;
561 if (gfc_current_locus.lb == NULL)
563 end_flag = 1;
564 return;
567 if (gfc_current_locus.lb->next
568 && !gfc_current_locus.lb->next->dbg_emitted)
570 report_file_change (gfc_current_locus.lb->next);
571 gfc_current_locus.lb->next->dbg_emitted = true;
574 gfc_current_locus.lb = gfc_current_locus.lb->next;
576 if (gfc_current_locus.lb != NULL)
577 gfc_current_locus.nextc = gfc_current_locus.lb->line;
578 else
580 gfc_current_locus.nextc = NULL;
581 end_flag = 1;
586 /* Get the next character from the input, advancing gfc_current_file's
587 locus. When we hit the end of the line or the end of the file, we
588 start returning a '\n' in order to complete the current statement.
589 No Fortran line conventions are implemented here.
591 Requiring explicit advances to the next line prevents the parse
592 pointer from being on the wrong line if the current statement ends
593 prematurely. */
595 static gfc_char_t
596 next_char (void)
598 gfc_char_t c;
600 if (gfc_current_locus.nextc == NULL)
601 return '\n';
603 c = *gfc_current_locus.nextc++;
604 if (c == '\0')
606 gfc_current_locus.nextc--; /* Remain on this line. */
607 c = '\n';
610 return c;
614 /* Skip a comment. When we come here the parse pointer is positioned
615 immediately after the comment character. If we ever implement
616 compiler directives withing comments, here is where we parse the
617 directive. */
619 static void
620 skip_comment_line (void)
622 gfc_char_t c;
626 c = next_char ();
628 while (c != '\n');
630 gfc_advance_line ();
635 gfc_define_undef_line (void)
637 char *tmp;
639 /* All lines beginning with '#' are either #define or #undef. */
640 if (debug_info_level != DINFO_LEVEL_VERBOSE || gfc_peek_ascii_char () != '#')
641 return 0;
643 if (wide_strncmp (gfc_current_locus.nextc, "#define ", 8) == 0)
645 tmp = gfc_widechar_to_char (&gfc_current_locus.nextc[8], -1);
646 (*debug_hooks->define) (gfc_linebuf_linenum (gfc_current_locus.lb),
647 tmp);
648 gfc_free (tmp);
651 if (wide_strncmp (gfc_current_locus.nextc, "#undef ", 7) == 0)
653 tmp = gfc_widechar_to_char (&gfc_current_locus.nextc[7], -1);
654 (*debug_hooks->undef) (gfc_linebuf_linenum (gfc_current_locus.lb),
655 tmp);
656 gfc_free (tmp);
659 /* Skip the rest of the line. */
660 skip_comment_line ();
662 return 1;
666 /* Comment lines are null lines, lines containing only blanks or lines
667 on which the first nonblank line is a '!'.
668 Return true if !$ openmp conditional compilation sentinel was
669 seen. */
671 static bool
672 skip_free_comments (void)
674 locus start;
675 gfc_char_t c;
676 int at_bol;
678 for (;;)
680 at_bol = gfc_at_bol ();
681 start = gfc_current_locus;
682 if (gfc_at_eof ())
683 break;
686 c = next_char ();
687 while (gfc_is_whitespace (c));
689 if (c == '\n')
691 gfc_advance_line ();
692 continue;
695 if (c == '!')
697 /* If -fopenmp, we need to handle here 2 things:
698 1) don't treat !$omp as comments, but directives
699 2) handle OpenMP conditional compilation, where
700 !$ should be treated as 2 spaces (for initial lines
701 only if followed by space). */
702 if (gfc_option.flag_openmp && at_bol)
704 locus old_loc = gfc_current_locus;
705 if (next_char () == '$')
707 c = next_char ();
708 if (c == 'o' || c == 'O')
710 if (((c = next_char ()) == 'm' || c == 'M')
711 && ((c = next_char ()) == 'p' || c == 'P'))
713 if ((c = next_char ()) == ' ' || c == '\t'
714 || continue_flag)
716 while (gfc_is_whitespace (c))
717 c = next_char ();
718 if (c != '\n' && c != '!')
720 openmp_flag = 1;
721 openmp_locus = old_loc;
722 gfc_current_locus = start;
723 return false;
726 else
727 gfc_warning_now ("!$OMP at %C starts a commented "
728 "line as it neither is followed "
729 "by a space nor is a "
730 "continuation line");
732 gfc_current_locus = old_loc;
733 next_char ();
734 c = next_char ();
736 if (continue_flag || c == ' ' || c == '\t')
738 gfc_current_locus = old_loc;
739 next_char ();
740 openmp_flag = 0;
741 return true;
744 gfc_current_locus = old_loc;
746 skip_comment_line ();
747 continue;
750 break;
753 if (openmp_flag && at_bol)
754 openmp_flag = 0;
755 gfc_current_locus = start;
756 return false;
760 /* Skip comment lines in fixed source mode. We have the same rules as
761 in skip_free_comment(), except that we can have a 'c', 'C' or '*'
762 in column 1, and a '!' cannot be in column 6. Also, we deal with
763 lines with 'd' or 'D' in column 1, if the user requested this. */
765 static void
766 skip_fixed_comments (void)
768 locus start;
769 int col;
770 gfc_char_t c;
772 if (! gfc_at_bol ())
774 start = gfc_current_locus;
775 if (! gfc_at_eof ())
778 c = next_char ();
779 while (gfc_is_whitespace (c));
781 if (c == '\n')
782 gfc_advance_line ();
783 else if (c == '!')
784 skip_comment_line ();
787 if (! gfc_at_bol ())
789 gfc_current_locus = start;
790 return;
794 for (;;)
796 start = gfc_current_locus;
797 if (gfc_at_eof ())
798 break;
800 c = next_char ();
801 if (c == '\n')
803 gfc_advance_line ();
804 continue;
807 if (c == '!' || c == 'c' || c == 'C' || c == '*')
809 /* If -fopenmp, we need to handle here 2 things:
810 1) don't treat !$omp|c$omp|*$omp as comments, but directives
811 2) handle OpenMP conditional compilation, where
812 !$|c$|*$ should be treated as 2 spaces if the characters
813 in columns 3 to 6 are valid fixed form label columns
814 characters. */
815 if (gfc_current_locus.lb != NULL
816 && continue_line < gfc_linebuf_linenum (gfc_current_locus.lb))
817 continue_line = gfc_linebuf_linenum (gfc_current_locus.lb);
819 if (gfc_option.flag_openmp)
821 if (next_char () == '$')
823 c = next_char ();
824 if (c == 'o' || c == 'O')
826 if (((c = next_char ()) == 'm' || c == 'M')
827 && ((c = next_char ()) == 'p' || c == 'P'))
829 c = next_char ();
830 if (c != '\n'
831 && ((openmp_flag && continue_flag)
832 || c == ' ' || c == '\t' || c == '0'))
835 c = next_char ();
836 while (gfc_is_whitespace (c));
837 if (c != '\n' && c != '!')
839 /* Canonicalize to *$omp. */
840 *start.nextc = '*';
841 openmp_flag = 1;
842 gfc_current_locus = start;
843 return;
848 else
850 int digit_seen = 0;
852 for (col = 3; col < 6; col++, c = next_char ())
853 if (c == ' ')
854 continue;
855 else if (c == '\t')
857 col = 6;
858 break;
860 else if (c < '0' || c > '9')
861 break;
862 else
863 digit_seen = 1;
865 if (col == 6 && c != '\n'
866 && ((continue_flag && !digit_seen)
867 || c == ' ' || c == '\t' || c == '0'))
869 gfc_current_locus = start;
870 start.nextc[0] = ' ';
871 start.nextc[1] = ' ';
872 continue;
876 gfc_current_locus = start;
878 skip_comment_line ();
879 continue;
882 if (gfc_option.flag_d_lines != -1 && (c == 'd' || c == 'D'))
884 if (gfc_option.flag_d_lines == 0)
886 skip_comment_line ();
887 continue;
889 else
890 *start.nextc = c = ' ';
893 col = 1;
895 while (gfc_is_whitespace (c))
897 c = next_char ();
898 col++;
901 if (c == '\n')
903 gfc_advance_line ();
904 continue;
907 if (col != 6 && c == '!')
909 if (gfc_current_locus.lb != NULL
910 && continue_line < gfc_linebuf_linenum (gfc_current_locus.lb))
911 continue_line = gfc_linebuf_linenum (gfc_current_locus.lb);
912 skip_comment_line ();
913 continue;
916 break;
919 openmp_flag = 0;
920 gfc_current_locus = start;
924 /* Skips the current line if it is a comment. */
926 void
927 gfc_skip_comments (void)
929 if (gfc_current_form == FORM_FREE)
930 skip_free_comments ();
931 else
932 skip_fixed_comments ();
936 /* Get the next character from the input, taking continuation lines
937 and end-of-line comments into account. This implies that comment
938 lines between continued lines must be eaten here. For higher-level
939 subroutines, this flattens continued lines into a single logical
940 line. The in_string flag denotes whether we're inside a character
941 context or not. */
943 gfc_char_t
944 gfc_next_char_literal (int in_string)
946 locus old_loc;
947 int i, prev_openmp_flag;
948 gfc_char_t c;
950 continue_flag = 0;
952 restart:
953 c = next_char ();
954 if (gfc_at_end ())
956 continue_count = 0;
957 return c;
960 if (gfc_current_form == FORM_FREE)
962 bool openmp_cond_flag;
964 if (!in_string && c == '!')
966 if (openmp_flag
967 && memcmp (&gfc_current_locus, &openmp_locus,
968 sizeof (gfc_current_locus)) == 0)
969 goto done;
971 /* This line can't be continued */
974 c = next_char ();
976 while (c != '\n');
978 /* Avoid truncation warnings for comment ending lines. */
979 gfc_current_locus.lb->truncated = 0;
981 goto done;
984 if (c != '&')
985 goto done;
987 /* If the next nonblank character is a ! or \n, we've got a
988 continuation line. */
989 old_loc = gfc_current_locus;
991 c = next_char ();
992 while (gfc_is_whitespace (c))
993 c = next_char ();
995 /* Character constants to be continued cannot have commentary
996 after the '&'. */
998 if (in_string && c != '\n')
1000 gfc_current_locus = old_loc;
1001 c = '&';
1002 goto done;
1005 if (c != '!' && c != '\n')
1007 gfc_current_locus = old_loc;
1008 c = '&';
1009 goto done;
1012 prev_openmp_flag = openmp_flag;
1013 continue_flag = 1;
1014 if (c == '!')
1015 skip_comment_line ();
1016 else
1017 gfc_advance_line ();
1019 if (gfc_at_eof())
1020 goto not_continuation;
1022 /* We've got a continuation line. If we are on the very next line after
1023 the last continuation, increment the continuation line count and
1024 check whether the limit has been exceeded. */
1025 if (gfc_linebuf_linenum (gfc_current_locus.lb) == continue_line + 1)
1027 if (++continue_count == gfc_option.max_continue_free)
1029 if (gfc_notification_std (GFC_STD_GNU) || pedantic)
1030 gfc_warning ("Limit of %d continuations exceeded in "
1031 "statement at %C", gfc_option.max_continue_free);
1035 /* Now find where it continues. First eat any comment lines. */
1036 openmp_cond_flag = skip_free_comments ();
1038 if (gfc_current_locus.lb != NULL
1039 && continue_line < gfc_linebuf_linenum (gfc_current_locus.lb))
1040 continue_line = gfc_linebuf_linenum (gfc_current_locus.lb);
1042 if (prev_openmp_flag != openmp_flag)
1044 gfc_current_locus = old_loc;
1045 openmp_flag = prev_openmp_flag;
1046 c = '&';
1047 goto done;
1050 /* Now that we have a non-comment line, probe ahead for the
1051 first non-whitespace character. If it is another '&', then
1052 reading starts at the next character, otherwise we must back
1053 up to where the whitespace started and resume from there. */
1055 old_loc = gfc_current_locus;
1057 c = next_char ();
1058 while (gfc_is_whitespace (c))
1059 c = next_char ();
1061 if (openmp_flag)
1063 for (i = 0; i < 5; i++, c = next_char ())
1065 gcc_assert (gfc_wide_tolower (c) == (unsigned char) "!$omp"[i]);
1066 if (i == 4)
1067 old_loc = gfc_current_locus;
1069 while (gfc_is_whitespace (c))
1070 c = next_char ();
1073 if (c != '&')
1075 if (in_string)
1077 if (gfc_option.warn_ampersand)
1078 gfc_warning_now ("Missing '&' in continued character "
1079 "constant at %C");
1080 gfc_current_locus.nextc--;
1082 /* Both !$omp and !$ -fopenmp continuation lines have & on the
1083 continuation line only optionally. */
1084 else if (openmp_flag || openmp_cond_flag)
1085 gfc_current_locus.nextc--;
1086 else
1088 c = ' ';
1089 gfc_current_locus = old_loc;
1090 goto done;
1094 else
1096 /* Fixed form continuation. */
1097 if (!in_string && c == '!')
1099 /* Skip comment at end of line. */
1102 c = next_char ();
1104 while (c != '\n');
1106 /* Avoid truncation warnings for comment ending lines. */
1107 gfc_current_locus.lb->truncated = 0;
1110 if (c != '\n')
1111 goto done;
1113 prev_openmp_flag = openmp_flag;
1114 continue_flag = 1;
1115 old_loc = gfc_current_locus;
1117 gfc_advance_line ();
1118 skip_fixed_comments ();
1120 /* See if this line is a continuation line. */
1121 if (openmp_flag != prev_openmp_flag)
1123 openmp_flag = prev_openmp_flag;
1124 goto not_continuation;
1127 if (!openmp_flag)
1128 for (i = 0; i < 5; i++)
1130 c = next_char ();
1131 if (c != ' ')
1132 goto not_continuation;
1134 else
1135 for (i = 0; i < 5; i++)
1137 c = next_char ();
1138 if (gfc_wide_tolower (c) != (unsigned char) "*$omp"[i])
1139 goto not_continuation;
1142 c = next_char ();
1143 if (c == '0' || c == ' ' || c == '\n')
1144 goto not_continuation;
1146 /* We've got a continuation line. If we are on the very next line after
1147 the last continuation, increment the continuation line count and
1148 check whether the limit has been exceeded. */
1149 if (gfc_linebuf_linenum (gfc_current_locus.lb) == continue_line + 1)
1151 if (++continue_count == gfc_option.max_continue_fixed)
1153 if (gfc_notification_std (GFC_STD_GNU) || pedantic)
1154 gfc_warning ("Limit of %d continuations exceeded in "
1155 "statement at %C",
1156 gfc_option.max_continue_fixed);
1160 if (gfc_current_locus.lb != NULL
1161 && continue_line < gfc_linebuf_linenum (gfc_current_locus.lb))
1162 continue_line = gfc_linebuf_linenum (gfc_current_locus.lb);
1165 /* Ready to read first character of continuation line, which might
1166 be another continuation line! */
1167 goto restart;
1169 not_continuation:
1170 c = '\n';
1171 gfc_current_locus = old_loc;
1173 done:
1174 if (c == '\n')
1175 continue_count = 0;
1176 continue_flag = 0;
1177 return c;
1181 /* Get the next character of input, folded to lowercase. In fixed
1182 form mode, we also ignore spaces. When matcher subroutines are
1183 parsing character literals, they have to call
1184 gfc_next_char_literal(). */
1186 gfc_char_t
1187 gfc_next_char (void)
1189 gfc_char_t c;
1193 c = gfc_next_char_literal (0);
1195 while (gfc_current_form == FORM_FIXED && gfc_is_whitespace (c));
1197 return gfc_wide_tolower (c);
1200 char
1201 gfc_next_ascii_char (void)
1203 gfc_char_t c = gfc_next_char ();
1205 return (gfc_wide_fits_in_byte (c) ? (unsigned char) c
1206 : (unsigned char) UCHAR_MAX);
1210 gfc_char_t
1211 gfc_peek_char (void)
1213 locus old_loc;
1214 gfc_char_t c;
1216 old_loc = gfc_current_locus;
1217 c = gfc_next_char ();
1218 gfc_current_locus = old_loc;
1220 return c;
1224 char
1225 gfc_peek_ascii_char (void)
1227 gfc_char_t c = gfc_peek_char ();
1229 return (gfc_wide_fits_in_byte (c) ? (unsigned char) c
1230 : (unsigned char) UCHAR_MAX);
1234 /* Recover from an error. We try to get past the current statement
1235 and get lined up for the next. The next statement follows a '\n'
1236 or a ';'. We also assume that we are not within a character
1237 constant, and deal with finding a '\'' or '"'. */
1239 void
1240 gfc_error_recovery (void)
1242 gfc_char_t c, delim;
1244 if (gfc_at_eof ())
1245 return;
1247 for (;;)
1249 c = gfc_next_char ();
1250 if (c == '\n' || c == ';')
1251 break;
1253 if (c != '\'' && c != '"')
1255 if (gfc_at_eof ())
1256 break;
1257 continue;
1259 delim = c;
1261 for (;;)
1263 c = next_char ();
1265 if (c == delim)
1266 break;
1267 if (c == '\n')
1268 return;
1269 if (c == '\\')
1271 c = next_char ();
1272 if (c == '\n')
1273 return;
1276 if (gfc_at_eof ())
1277 break;
1282 /* Read ahead until the next character to be read is not whitespace. */
1284 void
1285 gfc_gobble_whitespace (void)
1287 static int linenum = 0;
1288 locus old_loc;
1289 gfc_char_t c;
1293 old_loc = gfc_current_locus;
1294 c = gfc_next_char_literal (0);
1295 /* Issue a warning for nonconforming tabs. We keep track of the line
1296 number because the Fortran matchers will often back up and the same
1297 line will be scanned multiple times. */
1298 if (!gfc_option.warn_tabs && c == '\t')
1300 int cur_linenum = LOCATION_LINE (gfc_current_locus.lb->location);
1301 if (cur_linenum != linenum)
1303 linenum = cur_linenum;
1304 gfc_warning_now ("Nonconforming tab character at %C");
1308 while (gfc_is_whitespace (c));
1310 gfc_current_locus = old_loc;
1314 /* Load a single line into pbuf.
1316 If pbuf points to a NULL pointer, it is allocated.
1317 We truncate lines that are too long, unless we're dealing with
1318 preprocessor lines or if the option -ffixed-line-length-none is set,
1319 in which case we reallocate the buffer to fit the entire line, if
1320 need be.
1321 In fixed mode, we expand a tab that occurs within the statement
1322 label region to expand to spaces that leave the next character in
1323 the source region.
1325 If first_char is not NULL, it's a pointer to a single char value holding
1326 the first character of the line, which has already been read by the
1327 caller. This avoids the use of ungetc().
1329 load_line returns whether the line was truncated.
1331 NOTE: The error machinery isn't available at this point, so we can't
1332 easily report line and column numbers consistent with other
1333 parts of gfortran. */
1335 static int
1336 load_line (FILE *input, gfc_char_t **pbuf, int *pbuflen, const int *first_char)
1338 static int linenum = 0, current_line = 1;
1339 int c, maxlen, i, preprocessor_flag, buflen = *pbuflen;
1340 int trunc_flag = 0, seen_comment = 0;
1341 int seen_printable = 0, seen_ampersand = 0;
1342 gfc_char_t *buffer;
1343 bool found_tab = false;
1345 /* Determine the maximum allowed line length. */
1346 if (gfc_current_form == FORM_FREE)
1347 maxlen = gfc_option.free_line_length;
1348 else if (gfc_current_form == FORM_FIXED)
1349 maxlen = gfc_option.fixed_line_length;
1350 else
1351 maxlen = 72;
1353 if (*pbuf == NULL)
1355 /* Allocate the line buffer, storing its length into buflen.
1356 Note that if maxlen==0, indicating that arbitrary-length lines
1357 are allowed, the buffer will be reallocated if this length is
1358 insufficient; since 132 characters is the length of a standard
1359 free-form line, we use that as a starting guess. */
1360 if (maxlen > 0)
1361 buflen = maxlen;
1362 else
1363 buflen = 132;
1365 *pbuf = gfc_get_wide_string (buflen + 1);
1368 i = 0;
1369 buffer = *pbuf;
1371 if (first_char)
1372 c = *first_char;
1373 else
1374 c = getc (input);
1376 /* In order to not truncate preprocessor lines, we have to
1377 remember that this is one. */
1378 preprocessor_flag = (c == '#' ? 1 : 0);
1380 for (;;)
1382 if (c == EOF)
1383 break;
1385 if (c == '\n')
1387 /* Check for illegal use of ampersand. See F95 Standard 3.3.1.3. */
1388 if (gfc_current_form == FORM_FREE
1389 && !seen_printable && seen_ampersand)
1391 if (pedantic)
1392 gfc_error_now ("'&' not allowed by itself in line %d",
1393 current_line);
1394 else
1395 gfc_warning_now ("'&' not allowed by itself in line %d",
1396 current_line);
1398 break;
1401 if (c == '\r' || c == '\0')
1402 goto next_char; /* Gobble characters. */
1404 if (c == '&')
1406 if (seen_ampersand)
1408 seen_ampersand = 0;
1409 seen_printable = 1;
1411 else
1412 seen_ampersand = 1;
1415 if ((c != '&' && c != '!' && c != ' ') || (c == '!' && !seen_ampersand))
1416 seen_printable = 1;
1418 /* Is this a fixed-form comment? */
1419 if (gfc_current_form == FORM_FIXED && i == 0
1420 && (c == '*' || c == 'c' || c == 'd'))
1421 seen_comment = 1;
1423 /* Vendor extension: "<tab>1" marks a continuation line. */
1424 if (found_tab)
1426 found_tab = false;
1427 if (c >= '1' && c <= '9')
1429 *(buffer-1) = c;
1430 goto next_char;
1434 if (gfc_current_form == FORM_FIXED && c == '\t' && i < 6)
1436 found_tab = true;
1438 if (!gfc_option.warn_tabs && seen_comment == 0
1439 && current_line != linenum)
1441 linenum = current_line;
1442 gfc_warning_now ("Nonconforming tab character in column %d "
1443 "of line %d", i+1, linenum);
1446 while (i < 6)
1448 *buffer++ = ' ';
1449 i++;
1452 goto next_char;
1455 *buffer++ = c;
1456 i++;
1458 if (maxlen == 0 || preprocessor_flag)
1460 if (i >= buflen)
1462 /* Reallocate line buffer to double size to hold the
1463 overlong line. */
1464 buflen = buflen * 2;
1465 *pbuf = XRESIZEVEC (gfc_char_t, *pbuf, (buflen + 1));
1466 buffer = (*pbuf) + i;
1469 else if (i >= maxlen)
1471 /* Truncate the rest of the line. */
1472 for (;;)
1474 c = getc (input);
1475 if (c == '\r')
1476 continue;
1478 if (c == '\n' || c == EOF)
1479 break;
1481 trunc_flag = 1;
1484 c = '\n';
1485 continue;
1488 next_char:
1489 c = getc (input);
1492 /* Pad lines to the selected line length in fixed form. */
1493 if (gfc_current_form == FORM_FIXED
1494 && gfc_option.fixed_line_length != 0
1495 && !preprocessor_flag
1496 && c != EOF)
1498 while (i++ < maxlen)
1499 *buffer++ = ' ';
1502 *buffer = '\0';
1503 *pbuflen = buflen;
1504 current_line++;
1506 return trunc_flag;
1510 /* Get a gfc_file structure, initialize it and add it to
1511 the file stack. */
1513 static gfc_file *
1514 get_file (const char *name, enum lc_reason reason ATTRIBUTE_UNUSED)
1516 gfc_file *f;
1518 f = XCNEW (gfc_file);
1520 f->filename = xstrdup (name);
1522 f->next = file_head;
1523 file_head = f;
1525 f->up = current_file;
1526 if (current_file != NULL)
1527 f->inclusion_line = current_file->line;
1529 linemap_add (line_table, reason, false, f->filename, 1);
1531 return f;
1535 /* Deal with a line from the C preprocessor. The
1536 initial octothorp has already been seen. */
1538 static void
1539 preprocessor_line (gfc_char_t *c)
1541 bool flag[5];
1542 int i, line;
1543 gfc_char_t *wide_filename;
1544 gfc_file *f;
1545 int escaped, unescape;
1546 char *filename;
1548 c++;
1549 while (*c == ' ' || *c == '\t')
1550 c++;
1552 if (*c < '0' || *c > '9')
1553 goto bad_cpp_line;
1555 line = wide_atoi (c);
1557 c = wide_strchr (c, ' ');
1558 if (c == NULL)
1560 /* No file name given. Set new line number. */
1561 current_file->line = line;
1562 return;
1565 /* Skip spaces. */
1566 while (*c == ' ' || *c == '\t')
1567 c++;
1569 /* Skip quote. */
1570 if (*c != '"')
1571 goto bad_cpp_line;
1572 ++c;
1574 wide_filename = c;
1576 /* Make filename end at quote. */
1577 unescape = 0;
1578 escaped = false;
1579 while (*c && ! (!escaped && *c == '"'))
1581 if (escaped)
1582 escaped = false;
1583 else if (*c == '\\')
1585 escaped = true;
1586 unescape++;
1588 ++c;
1591 if (! *c)
1592 /* Preprocessor line has no closing quote. */
1593 goto bad_cpp_line;
1595 *c++ = '\0';
1597 /* Undo effects of cpp_quote_string. */
1598 if (unescape)
1600 gfc_char_t *s = wide_filename;
1601 gfc_char_t *d = gfc_get_wide_string (c - wide_filename - unescape);
1603 wide_filename = d;
1604 while (*s)
1606 if (*s == '\\')
1607 *d++ = *++s;
1608 else
1609 *d++ = *s;
1610 s++;
1612 *d = '\0';
1615 /* Get flags. */
1617 flag[1] = flag[2] = flag[3] = flag[4] = false;
1619 for (;;)
1621 c = wide_strchr (c, ' ');
1622 if (c == NULL)
1623 break;
1625 c++;
1626 i = wide_atoi (c);
1628 if (1 <= i && i <= 4)
1629 flag[i] = true;
1632 /* Convert the filename in wide characters into a filename in narrow
1633 characters. */
1634 filename = gfc_widechar_to_char (wide_filename, -1);
1636 /* Interpret flags. */
1638 if (flag[1]) /* Starting new file. */
1640 f = get_file (filename, LC_RENAME);
1641 add_file_change (f->filename, f->inclusion_line);
1642 current_file = f;
1645 if (flag[2]) /* Ending current file. */
1647 if (!current_file->up
1648 || strcmp (current_file->up->filename, filename) != 0)
1650 gfc_warning_now ("%s:%d: file %s left but not entered",
1651 current_file->filename, current_file->line,
1652 filename);
1653 if (unescape)
1654 gfc_free (wide_filename);
1655 gfc_free (filename);
1656 return;
1659 add_file_change (NULL, line);
1660 current_file = current_file->up;
1661 linemap_add (line_table, LC_RENAME, false, current_file->filename,
1662 current_file->line);
1665 /* The name of the file can be a temporary file produced by
1666 cpp. Replace the name if it is different. */
1668 if (strcmp (current_file->filename, filename) != 0)
1670 /* FIXME: we leak the old filename because a pointer to it may be stored
1671 in the linemap. Alternative could be using GC or updating linemap to
1672 point to the new name, but there is no API for that currently. */
1673 current_file->filename = xstrdup (filename);
1676 /* Set new line number. */
1677 current_file->line = line;
1678 if (unescape)
1679 gfc_free (wide_filename);
1680 gfc_free (filename);
1681 return;
1683 bad_cpp_line:
1684 gfc_warning_now ("%s:%d: Illegal preprocessor directive",
1685 current_file->filename, current_file->line);
1686 current_file->line++;
1690 static gfc_try load_file (const char *, const char *, bool);
1692 /* include_line()-- Checks a line buffer to see if it is an include
1693 line. If so, we call load_file() recursively to load the included
1694 file. We never return a syntax error because a statement like
1695 "include = 5" is perfectly legal. We return false if no include was
1696 processed or true if we matched an include. */
1698 static bool
1699 include_line (gfc_char_t *line)
1701 gfc_char_t quote, *c, *begin, *stop;
1702 char *filename;
1704 c = line;
1706 if (gfc_option.flag_openmp)
1708 if (gfc_current_form == FORM_FREE)
1710 while (*c == ' ' || *c == '\t')
1711 c++;
1712 if (*c == '!' && c[1] == '$' && (c[2] == ' ' || c[2] == '\t'))
1713 c += 3;
1715 else
1717 if ((*c == '!' || *c == 'c' || *c == 'C' || *c == '*')
1718 && c[1] == '$' && (c[2] == ' ' || c[2] == '\t'))
1719 c += 3;
1723 while (*c == ' ' || *c == '\t')
1724 c++;
1726 if (gfc_wide_strncasecmp (c, "include", 7))
1727 return false;
1729 c += 7;
1730 while (*c == ' ' || *c == '\t')
1731 c++;
1733 /* Find filename between quotes. */
1735 quote = *c++;
1736 if (quote != '"' && quote != '\'')
1737 return false;
1739 begin = c;
1741 while (*c != quote && *c != '\0')
1742 c++;
1744 if (*c == '\0')
1745 return false;
1747 stop = c++;
1749 while (*c == ' ' || *c == '\t')
1750 c++;
1752 if (*c != '\0' && *c != '!')
1753 return false;
1755 /* We have an include line at this point. */
1757 *stop = '\0'; /* It's ok to trash the buffer, as this line won't be
1758 read by anything else. */
1760 filename = gfc_widechar_to_char (begin, -1);
1761 load_file (filename, NULL, false);
1762 gfc_free (filename);
1763 return true;
1767 /* Load a file into memory by calling load_line until the file ends. */
1769 static gfc_try
1770 load_file (const char *realfilename, const char *displayedname, bool initial)
1772 gfc_char_t *line;
1773 gfc_linebuf *b;
1774 gfc_file *f;
1775 FILE *input;
1776 int len, line_len;
1777 bool first_line;
1778 const char *filename;
1780 filename = displayedname ? displayedname : realfilename;
1782 for (f = current_file; f; f = f->up)
1783 if (strcmp (filename, f->filename) == 0)
1785 fprintf (stderr, "%s:%d: Error: File '%s' is being included "
1786 "recursively\n", current_file->filename, current_file->line,
1787 filename);
1788 return FAILURE;
1791 if (initial)
1793 if (gfc_src_file)
1795 input = gfc_src_file;
1796 gfc_src_file = NULL;
1798 else
1799 input = gfc_open_file (realfilename);
1800 if (input == NULL)
1802 gfc_error_now ("Can't open file '%s'", filename);
1803 return FAILURE;
1806 else
1808 input = gfc_open_included_file (realfilename, false, false);
1809 if (input == NULL)
1811 fprintf (stderr, "%s:%d: Error: Can't open included file '%s'\n",
1812 current_file->filename, current_file->line, filename);
1813 return FAILURE;
1817 /* Load the file. */
1819 f = get_file (filename, initial ? LC_RENAME : LC_ENTER);
1820 if (!initial)
1821 add_file_change (f->filename, f->inclusion_line);
1822 current_file = f;
1823 current_file->line = 1;
1824 line = NULL;
1825 line_len = 0;
1826 first_line = true;
1828 if (initial && gfc_src_preprocessor_lines[0])
1830 preprocessor_line (gfc_src_preprocessor_lines[0]);
1831 gfc_free (gfc_src_preprocessor_lines[0]);
1832 gfc_src_preprocessor_lines[0] = NULL;
1833 if (gfc_src_preprocessor_lines[1])
1835 preprocessor_line (gfc_src_preprocessor_lines[1]);
1836 gfc_free (gfc_src_preprocessor_lines[1]);
1837 gfc_src_preprocessor_lines[1] = NULL;
1841 for (;;)
1843 int trunc = load_line (input, &line, &line_len, NULL);
1845 len = gfc_wide_strlen (line);
1846 if (feof (input) && len == 0)
1847 break;
1849 /* If this is the first line of the file, it can contain a byte
1850 order mark (BOM), which we will ignore:
1851 FF FE is UTF-16 little endian,
1852 FE FF is UTF-16 big endian,
1853 EF BB BF is UTF-8. */
1854 if (first_line
1855 && ((line_len >= 2 && line[0] == (unsigned char) '\xFF'
1856 && line[1] == (unsigned char) '\xFE')
1857 || (line_len >= 2 && line[0] == (unsigned char) '\xFE'
1858 && line[1] == (unsigned char) '\xFF')
1859 || (line_len >= 3 && line[0] == (unsigned char) '\xEF'
1860 && line[1] == (unsigned char) '\xBB'
1861 && line[2] == (unsigned char) '\xBF')))
1863 int n = line[1] == (unsigned char) '\xBB' ? 3 : 2;
1864 gfc_char_t *new_char = gfc_get_wide_string (line_len);
1866 wide_strcpy (new_char, &line[n]);
1867 gfc_free (line);
1868 line = new_char;
1869 len -= n;
1872 /* There are three things this line can be: a line of Fortran
1873 source, an include line or a C preprocessor directive. */
1875 if (line[0] == '#')
1877 /* When -g3 is specified, it's possible that we emit #define
1878 and #undef lines, which we need to pass to the middle-end
1879 so that it can emit correct debug info. */
1880 if (debug_info_level == DINFO_LEVEL_VERBOSE
1881 && (wide_strncmp (line, "#define ", 8) == 0
1882 || wide_strncmp (line, "#undef ", 7) == 0))
1884 else
1886 preprocessor_line (line);
1887 continue;
1891 /* Preprocessed files have preprocessor lines added before the byte
1892 order mark, so first_line is not about the first line of the file
1893 but the first line that's not a preprocessor line. */
1894 first_line = false;
1896 if (include_line (line))
1898 current_file->line++;
1899 continue;
1902 /* Add line. */
1904 b = (gfc_linebuf *) gfc_getmem (gfc_linebuf_header_size
1905 + (len + 1) * sizeof (gfc_char_t));
1907 b->location
1908 = linemap_line_start (line_table, current_file->line++, 120);
1909 b->file = current_file;
1910 b->truncated = trunc;
1911 wide_strcpy (b->line, line);
1913 if (line_head == NULL)
1914 line_head = b;
1915 else
1916 line_tail->next = b;
1918 line_tail = b;
1920 while (file_changes_cur < file_changes_count)
1921 file_changes[file_changes_cur++].lb = b;
1924 /* Release the line buffer allocated in load_line. */
1925 gfc_free (line);
1927 fclose (input);
1929 if (!initial)
1930 add_file_change (NULL, current_file->inclusion_line + 1);
1931 current_file = current_file->up;
1932 linemap_add (line_table, LC_LEAVE, 0, NULL, 0);
1933 return SUCCESS;
1937 /* Open a new file and start scanning from that file. Returns SUCCESS
1938 if everything went OK, FAILURE otherwise. If form == FORM_UNKNOWN
1939 it tries to determine the source form from the filename, defaulting
1940 to free form. */
1942 gfc_try
1943 gfc_new_file (void)
1945 gfc_try result;
1947 if (gfc_cpp_enabled ())
1949 result = gfc_cpp_preprocess (gfc_source_file);
1950 if (!gfc_cpp_preprocess_only ())
1951 result = load_file (gfc_cpp_temporary_file (), gfc_source_file, true);
1953 else
1954 result = load_file (gfc_source_file, NULL, true);
1956 gfc_current_locus.lb = line_head;
1957 gfc_current_locus.nextc = (line_head == NULL) ? NULL : line_head->line;
1959 #if 0 /* Debugging aid. */
1960 for (; line_head; line_head = line_head->next)
1961 printf ("%s:%3d %s\n", LOCATION_FILE (line_head->location),
1962 LOCATION_LINE (line_head->location), line_head->line);
1964 exit (0);
1965 #endif
1967 return result;
1970 static char *
1971 unescape_filename (const char *ptr)
1973 const char *p = ptr, *s;
1974 char *d, *ret;
1975 int escaped, unescape = 0;
1977 /* Make filename end at quote. */
1978 escaped = false;
1979 while (*p && ! (! escaped && *p == '"'))
1981 if (escaped)
1982 escaped = false;
1983 else if (*p == '\\')
1985 escaped = true;
1986 unescape++;
1988 ++p;
1991 if (!*p || p[1])
1992 return NULL;
1994 /* Undo effects of cpp_quote_string. */
1995 s = ptr;
1996 d = XCNEWVEC (char, p + 1 - ptr - unescape);
1997 ret = d;
1999 while (s != p)
2001 if (*s == '\\')
2002 *d++ = *++s;
2003 else
2004 *d++ = *s;
2005 s++;
2007 *d = '\0';
2008 return ret;
2011 /* For preprocessed files, if the first tokens are of the form # NUM.
2012 handle the directives so we know the original file name. */
2014 const char *
2015 gfc_read_orig_filename (const char *filename, const char **canon_source_file)
2017 int c, len;
2018 char *dirname, *tmp;
2020 gfc_src_file = gfc_open_file (filename);
2021 if (gfc_src_file == NULL)
2022 return NULL;
2024 c = getc (gfc_src_file);
2026 if (c != '#')
2027 return NULL;
2029 len = 0;
2030 load_line (gfc_src_file, &gfc_src_preprocessor_lines[0], &len, &c);
2032 if (wide_strncmp (gfc_src_preprocessor_lines[0], "# 1 \"", 5) != 0)
2033 return NULL;
2035 tmp = gfc_widechar_to_char (&gfc_src_preprocessor_lines[0][5], -1);
2036 filename = unescape_filename (tmp);
2037 gfc_free (tmp);
2038 if (filename == NULL)
2039 return NULL;
2041 c = getc (gfc_src_file);
2043 if (c != '#')
2044 return filename;
2046 len = 0;
2047 load_line (gfc_src_file, &gfc_src_preprocessor_lines[1], &len, &c);
2049 if (wide_strncmp (gfc_src_preprocessor_lines[1], "# 1 \"", 5) != 0)
2050 return filename;
2052 tmp = gfc_widechar_to_char (&gfc_src_preprocessor_lines[1][5], -1);
2053 dirname = unescape_filename (tmp);
2054 gfc_free (tmp);
2055 if (dirname == NULL)
2056 return filename;
2058 len = strlen (dirname);
2059 if (len < 3 || dirname[len - 1] != '/' || dirname[len - 2] != '/')
2061 gfc_free (dirname);
2062 return filename;
2064 dirname[len - 2] = '\0';
2065 set_src_pwd (dirname);
2067 if (! IS_ABSOLUTE_PATH (filename))
2069 char *p = XCNEWVEC (char, len + strlen (filename));
2071 memcpy (p, dirname, len - 2);
2072 p[len - 2] = '/';
2073 strcpy (p + len - 1, filename);
2074 *canon_source_file = p;
2077 gfc_free (dirname);
2078 return filename;