xref: /dflybsd-src/contrib/gcc-8.0/libcpp/directives-only.c (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
1*38fd1498Szrj /* CPP Library - directive only preprocessing for distributed compilation.
2*38fd1498Szrj    Copyright (C) 2007-2018 Free Software Foundation, Inc.
3*38fd1498Szrj    Contributed by Ollie Wild <aaw@google.com>.
4*38fd1498Szrj 
5*38fd1498Szrj This program is free software; you can redistribute it and/or modify it
6*38fd1498Szrj under the terms of the GNU General Public License as published by the
7*38fd1498Szrj Free Software Foundation; either version 3, or (at your option) any
8*38fd1498Szrj later version.
9*38fd1498Szrj 
10*38fd1498Szrj This program is distributed in the hope that it will be useful,
11*38fd1498Szrj but WITHOUT ANY WARRANTY; without even the implied warranty of
12*38fd1498Szrj MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13*38fd1498Szrj GNU General Public License for more details.
14*38fd1498Szrj 
15*38fd1498Szrj You should have received a copy of the GNU General Public License
16*38fd1498Szrj along with this program; see the file COPYING3.  If not see
17*38fd1498Szrj <http://www.gnu.org/licenses/>.  */
18*38fd1498Szrj 
19*38fd1498Szrj #include "config.h"
20*38fd1498Szrj #include "system.h"
21*38fd1498Szrj #include "cpplib.h"
22*38fd1498Szrj #include "internal.h"
23*38fd1498Szrj 
24*38fd1498Szrj /* DO (Directive only) flags. */
25*38fd1498Szrj #define DO_BOL		 (1 << 0) /* At the beginning of a logical line. */
26*38fd1498Szrj #define DO_STRING	 (1 << 1) /* In a string constant. */
27*38fd1498Szrj #define DO_CHAR		 (1 << 2) /* In a character constant. */
28*38fd1498Szrj #define DO_BLOCK_COMMENT (1 << 3) /* In a block comment. */
29*38fd1498Szrj #define DO_LINE_COMMENT	 (1 << 4) /* In a single line "//-style" comment. */
30*38fd1498Szrj 
31*38fd1498Szrj #define DO_LINE_SPECIAL (DO_STRING | DO_CHAR | DO_LINE_COMMENT)
32*38fd1498Szrj #define DO_SPECIAL	(DO_LINE_SPECIAL | DO_BLOCK_COMMENT)
33*38fd1498Szrj 
34*38fd1498Szrj /* Writes out the preprocessed file, handling spacing and paste
35*38fd1498Szrj    avoidance issues.  */
36*38fd1498Szrj void
_cpp_preprocess_dir_only(cpp_reader * pfile,const struct _cpp_dir_only_callbacks * cb)37*38fd1498Szrj _cpp_preprocess_dir_only (cpp_reader *pfile,
38*38fd1498Szrj 			  const struct _cpp_dir_only_callbacks *cb)
39*38fd1498Szrj {
40*38fd1498Szrj   struct cpp_buffer *buffer;
41*38fd1498Szrj   const unsigned char *cur, *base, *next_line, *rlimit;
42*38fd1498Szrj   cppchar_t c, last_c;
43*38fd1498Szrj   unsigned flags;
44*38fd1498Szrj   linenum_type lines;
45*38fd1498Szrj   int col;
46*38fd1498Szrj   source_location loc;
47*38fd1498Szrj 
48*38fd1498Szrj  restart:
49*38fd1498Szrj   /* Buffer initialization ala _cpp_clean_line(). */
50*38fd1498Szrj   buffer = pfile->buffer;
51*38fd1498Szrj   buffer->cur_note = buffer->notes_used = 0;
52*38fd1498Szrj   buffer->cur = buffer->line_base = buffer->next_line;
53*38fd1498Szrj   buffer->need_line = false;
54*38fd1498Szrj 
55*38fd1498Szrj   /* This isn't really needed.  It prevents a compiler warning, though. */
56*38fd1498Szrj   loc = pfile->line_table->highest_line;
57*38fd1498Szrj 
58*38fd1498Szrj   /* Scan initialization. */
59*38fd1498Szrj   next_line = cur = base = buffer->cur;
60*38fd1498Szrj   rlimit = buffer->rlimit;
61*38fd1498Szrj   flags = DO_BOL;
62*38fd1498Szrj   lines = 0;
63*38fd1498Szrj   col = 1;
64*38fd1498Szrj 
65*38fd1498Szrj   for (last_c = '\n', c = *cur; cur < rlimit; last_c = c, c = *++cur, ++col)
66*38fd1498Szrj     {
67*38fd1498Szrj       /* Skip over escaped newlines. */
68*38fd1498Szrj       if (__builtin_expect (c == '\\', false))
69*38fd1498Szrj 	{
70*38fd1498Szrj 	  const unsigned char *tmp = cur + 1;
71*38fd1498Szrj 
72*38fd1498Szrj 	  while (is_nvspace (*tmp) && tmp < rlimit)
73*38fd1498Szrj 	    tmp++;
74*38fd1498Szrj 	  if (*tmp == '\r')
75*38fd1498Szrj 	    tmp++;
76*38fd1498Szrj 	  if (*tmp == '\n' && tmp < rlimit)
77*38fd1498Szrj 	    {
78*38fd1498Szrj 	      CPP_INCREMENT_LINE (pfile, 0);
79*38fd1498Szrj 	      lines++;
80*38fd1498Szrj 	      col = 0;
81*38fd1498Szrj 	      cur = tmp;
82*38fd1498Szrj 	      c = last_c;
83*38fd1498Szrj 	      continue;
84*38fd1498Szrj 	    }
85*38fd1498Szrj 	}
86*38fd1498Szrj 
87*38fd1498Szrj       if (__builtin_expect (last_c == '#', false) && !(flags & DO_SPECIAL))
88*38fd1498Szrj 	{
89*38fd1498Szrj 	  if (c != '#' && (flags & DO_BOL))
90*38fd1498Szrj 	  {
91*38fd1498Szrj 	    struct line_maps *line_table;
92*38fd1498Szrj 
93*38fd1498Szrj 	    if (!pfile->state.skipping && next_line != base)
94*38fd1498Szrj 	      cb->print_lines (lines, base, next_line - base);
95*38fd1498Szrj 
96*38fd1498Szrj 	    /* Prep things for directive handling. */
97*38fd1498Szrj 	    buffer->next_line = cur;
98*38fd1498Szrj 	    buffer->need_line = true;
99*38fd1498Szrj 	    _cpp_get_fresh_line (pfile);
100*38fd1498Szrj 
101*38fd1498Szrj 	    /* Ensure proper column numbering for generated error messages. */
102*38fd1498Szrj 	    buffer->line_base -= col - 1;
103*38fd1498Szrj 
104*38fd1498Szrj 	    _cpp_handle_directive (pfile, 0 /* ignore indented */);
105*38fd1498Szrj 
106*38fd1498Szrj 	    /* Sanitize the line settings.  Duplicate #include's can mess
107*38fd1498Szrj 	       things up. */
108*38fd1498Szrj 	    line_table = pfile->line_table;
109*38fd1498Szrj 	    line_table->highest_location = line_table->highest_line;
110*38fd1498Szrj 
111*38fd1498Szrj 	    /* The if block prevents us from outputing line information when
112*38fd1498Szrj 	       the file ends with a directive and no newline.  Note that we
113*38fd1498Szrj 	       must use pfile->buffer, not buffer. */
114*38fd1498Szrj 	    if (pfile->buffer->next_line < pfile->buffer->rlimit)
115*38fd1498Szrj 	      cb->maybe_print_line (pfile->line_table->highest_line);
116*38fd1498Szrj 
117*38fd1498Szrj 	    goto restart;
118*38fd1498Szrj 	  }
119*38fd1498Szrj 
120*38fd1498Szrj 	  flags &= ~DO_BOL;
121*38fd1498Szrj 	  pfile->mi_valid = false;
122*38fd1498Szrj 	}
123*38fd1498Szrj       else if (__builtin_expect (last_c == '/', false) \
124*38fd1498Szrj 	       && !(flags & DO_SPECIAL) && c != '*' && c != '/')
125*38fd1498Szrj 	{
126*38fd1498Szrj 	  /* If a previous slash is not starting a block comment, clear the
127*38fd1498Szrj 	     DO_BOL flag.  */
128*38fd1498Szrj 	  flags &= ~DO_BOL;
129*38fd1498Szrj 	  pfile->mi_valid = false;
130*38fd1498Szrj 	}
131*38fd1498Szrj 
132*38fd1498Szrj       switch (c)
133*38fd1498Szrj 	{
134*38fd1498Szrj 	case '/':
135*38fd1498Szrj 	  if ((flags & DO_BLOCK_COMMENT) && last_c == '*')
136*38fd1498Szrj 	    {
137*38fd1498Szrj 	      flags &= ~DO_BLOCK_COMMENT;
138*38fd1498Szrj 	      c = 0;
139*38fd1498Szrj 	    }
140*38fd1498Szrj 	  else if (!(flags & DO_SPECIAL) && last_c == '/')
141*38fd1498Szrj 	    flags |= DO_LINE_COMMENT;
142*38fd1498Szrj 	  else if (!(flags & DO_SPECIAL))
143*38fd1498Szrj 	    /* Mark the position for possible error reporting. */
144*38fd1498Szrj 	    loc = linemap_position_for_column (pfile->line_table, col);
145*38fd1498Szrj 
146*38fd1498Szrj 	  break;
147*38fd1498Szrj 
148*38fd1498Szrj 	case '*':
149*38fd1498Szrj 	  if (!(flags & DO_SPECIAL))
150*38fd1498Szrj 	    {
151*38fd1498Szrj 	      if (last_c == '/')
152*38fd1498Szrj 		flags |= DO_BLOCK_COMMENT;
153*38fd1498Szrj 	      else
154*38fd1498Szrj 		{
155*38fd1498Szrj 		  flags &= ~DO_BOL;
156*38fd1498Szrj 		  pfile->mi_valid = false;
157*38fd1498Szrj 		}
158*38fd1498Szrj 	    }
159*38fd1498Szrj 
160*38fd1498Szrj 	  break;
161*38fd1498Szrj 
162*38fd1498Szrj 	case '\'':
163*38fd1498Szrj 	case '"':
164*38fd1498Szrj 	  {
165*38fd1498Szrj 	    unsigned state = (c == '"') ? DO_STRING : DO_CHAR;
166*38fd1498Szrj 
167*38fd1498Szrj 	    if (!(flags & DO_SPECIAL))
168*38fd1498Szrj 	      {
169*38fd1498Szrj 		flags |= state;
170*38fd1498Szrj 		flags &= ~DO_BOL;
171*38fd1498Szrj 		pfile->mi_valid = false;
172*38fd1498Szrj 	      }
173*38fd1498Szrj 	    else if ((flags & state) && last_c != '\\')
174*38fd1498Szrj 	      flags &= ~state;
175*38fd1498Szrj 
176*38fd1498Szrj 	    break;
177*38fd1498Szrj 	  }
178*38fd1498Szrj 
179*38fd1498Szrj 	case '\\':
180*38fd1498Szrj 	  {
181*38fd1498Szrj 	    if ((flags & (DO_STRING | DO_CHAR)) && last_c == '\\')
182*38fd1498Szrj 	      c = 0;
183*38fd1498Szrj 
184*38fd1498Szrj 	    if (!(flags & DO_SPECIAL))
185*38fd1498Szrj 	      {
186*38fd1498Szrj 		flags &= ~DO_BOL;
187*38fd1498Szrj 		pfile->mi_valid = false;
188*38fd1498Szrj 	      }
189*38fd1498Szrj 
190*38fd1498Szrj 	    break;
191*38fd1498Szrj 	  }
192*38fd1498Szrj 
193*38fd1498Szrj 	case '\n':
194*38fd1498Szrj 	  CPP_INCREMENT_LINE (pfile, 0);
195*38fd1498Szrj 	  lines++;
196*38fd1498Szrj 	  col = 0;
197*38fd1498Szrj 	  flags &= ~DO_LINE_SPECIAL;
198*38fd1498Szrj 	  if (!(flags & DO_SPECIAL))
199*38fd1498Szrj 	    flags |= DO_BOL;
200*38fd1498Szrj 	  break;
201*38fd1498Szrj 
202*38fd1498Szrj 	case '#':
203*38fd1498Szrj 	  next_line = cur;
204*38fd1498Szrj 	  /* Don't update DO_BOL yet. */
205*38fd1498Szrj 	  break;
206*38fd1498Szrj 
207*38fd1498Szrj 	case ' ': case '\t': case '\f': case '\v': case '\0':
208*38fd1498Szrj 	  break;
209*38fd1498Szrj 
210*38fd1498Szrj 	default:
211*38fd1498Szrj 	  if (!(flags & DO_SPECIAL))
212*38fd1498Szrj 	    {
213*38fd1498Szrj 	      flags &= ~DO_BOL;
214*38fd1498Szrj 	      pfile->mi_valid = false;
215*38fd1498Szrj 	    }
216*38fd1498Szrj 	  break;
217*38fd1498Szrj 	}
218*38fd1498Szrj     }
219*38fd1498Szrj 
220*38fd1498Szrj   if (flags & DO_BLOCK_COMMENT)
221*38fd1498Szrj     cpp_error_with_line (pfile, CPP_DL_ERROR, loc, 0, "unterminated comment");
222*38fd1498Szrj 
223*38fd1498Szrj   if (!pfile->state.skipping && cur != base)
224*38fd1498Szrj     {
225*38fd1498Szrj       /* If the file was not newline terminated, add rlimit, which is
226*38fd1498Szrj          guaranteed to point to a newline, to the end of our range.  */
227*38fd1498Szrj       if (cur[-1] != '\n')
228*38fd1498Szrj 	{
229*38fd1498Szrj 	  cur++;
230*38fd1498Szrj 	  CPP_INCREMENT_LINE (pfile, 0);
231*38fd1498Szrj 	  lines++;
232*38fd1498Szrj 	}
233*38fd1498Szrj 
234*38fd1498Szrj       cb->print_lines (lines, base, cur - base);
235*38fd1498Szrj     }
236*38fd1498Szrj 
237*38fd1498Szrj   _cpp_pop_buffer (pfile);
238*38fd1498Szrj   if (pfile->buffer)
239*38fd1498Szrj     goto restart;
240*38fd1498Szrj }
241