Branch data Line data Source code
1 : : /* Expression parser.
2 : : Copyright (C) 2000-2025 Free Software Foundation, Inc.
3 : : Contributed by Andy Vaught
4 : :
5 : : This file is part of GCC.
6 : :
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.
11 : :
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.
16 : :
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/>. */
20 : :
21 : : #include "config.h"
22 : : #include "system.h"
23 : : #include "coretypes.h"
24 : : #include "gfortran.h"
25 : : #include "arith.h"
26 : : #include "match.h"
27 : :
28 : : static const char expression_syntax[] = N_("Syntax error in expression at %C");
29 : :
30 : :
31 : : /* Match a user-defined operator name. This is a normal name with a
32 : : few restrictions. The error_flag controls whether an error is
33 : : raised if 'true' or 'false' are used or not. */
34 : :
35 : : match
36 : 11284268 : gfc_match_defined_op_name (char *result, int error_flag)
37 : : {
38 : 11284268 : static const char * const badops[] = {
39 : : "and", "or", "not", "eqv", "neqv", "eq", "ne", "ge", "le", "lt", "gt",
40 : : NULL
41 : : };
42 : :
43 : 11284268 : char name[GFC_MAX_SYMBOL_LEN + 1];
44 : 11284268 : locus old_loc;
45 : 11284268 : match m;
46 : 11284268 : int i;
47 : :
48 : 11284268 : old_loc = gfc_current_locus;
49 : :
50 : 11284268 : m = gfc_match (" . %n .", name);
51 : 11284268 : if (m != MATCH_YES)
52 : : return m;
53 : :
54 : : /* .true. and .false. have interpretations as constants. Trying to
55 : : use these as operators will fail at a later time. */
56 : :
57 : 45775 : if (strcmp (name, "true") == 0 || strcmp (name, "false") == 0)
58 : : {
59 : 44939 : if (error_flag)
60 : 0 : goto error;
61 : 44939 : gfc_current_locus = old_loc;
62 : 44939 : return MATCH_NO;
63 : : }
64 : :
65 : 10031 : for (i = 0; badops[i]; i++)
66 : 9196 : if (strcmp (badops[i], name) == 0)
67 : 1 : goto error;
68 : :
69 : 4398 : for (i = 0; name[i]; i++)
70 : 3599 : if (!ISALPHA (name[i]))
71 : : {
72 : 36 : gfc_error ("Bad character %qc in OPERATOR name at %C", name[i]);
73 : 36 : return MATCH_ERROR;
74 : : }
75 : :
76 : 799 : strcpy (result, name);
77 : 799 : return MATCH_YES;
78 : :
79 : 1 : error:
80 : 1 : gfc_error ("The name %qs cannot be used as a defined operator at %C",
81 : : name);
82 : :
83 : 1 : gfc_current_locus = old_loc;
84 : 1 : return MATCH_ERROR;
85 : : }
86 : :
87 : :
88 : : /* Match a user defined operator. The symbol found must be an
89 : : operator already. */
90 : :
91 : : static match
92 : 11282803 : match_defined_operator (gfc_user_op **result)
93 : : {
94 : 11282803 : char name[GFC_MAX_SYMBOL_LEN + 1];
95 : 11282803 : match m;
96 : :
97 : 11282803 : m = gfc_match_defined_op_name (name, 0);
98 : 11282803 : if (m != MATCH_YES)
99 : : return m;
100 : :
101 : 404 : *result = gfc_get_uop (name);
102 : 404 : return MATCH_YES;
103 : : }
104 : :
105 : :
106 : : /* Check to see if the given operator is next on the input. If this
107 : : is not the case, the parse pointer remains where it was. */
108 : :
109 : : static int
110 : 72853922 : next_operator (gfc_intrinsic_op t)
111 : : {
112 : 72853922 : gfc_intrinsic_op u;
113 : 72853922 : locus old_loc;
114 : :
115 : 72853922 : old_loc = gfc_current_locus;
116 : 72853922 : if (gfc_match_intrinsic_op (&u) == MATCH_YES && t == u)
117 : : return 1;
118 : :
119 : 72054960 : gfc_current_locus = old_loc;
120 : 72054960 : return 0;
121 : : }
122 : :
123 : :
124 : : /* Call the INTRINSIC_PARENTHESES function. This is both
125 : : used explicitly, as below, or by resolve.cc to generate
126 : : temporaries. */
127 : :
128 : : gfc_expr *
129 : 54411 : gfc_get_parentheses (gfc_expr *e)
130 : : {
131 : 54411 : gfc_expr *e2;
132 : :
133 : 54411 : e2 = gfc_get_operator_expr (&e->where, INTRINSIC_PARENTHESES, e, NULL);
134 : 54411 : e2->ts = e->ts;
135 : 54411 : e2->rank = e->rank;
136 : 54411 : e2->corank = e->corank;
137 : :
138 : 54411 : return e2;
139 : : }
140 : :
141 : :
142 : : /* Match a primary expression. */
143 : :
144 : : static match
145 : 6733706 : match_primary (gfc_expr **result)
146 : : {
147 : 6733706 : match m;
148 : 6733706 : gfc_expr *e;
149 : :
150 : 6733706 : m = gfc_match_literal_constant (result, 0);
151 : 6733706 : if (m != MATCH_NO)
152 : : return m;
153 : :
154 : 4159939 : m = gfc_match_array_constructor (result);
155 : 4159939 : if (m != MATCH_NO)
156 : : return m;
157 : :
158 : 4035797 : m = gfc_match_rvalue (result);
159 : 4035797 : if (m != MATCH_NO)
160 : : return m;
161 : :
162 : : /* Match an expression in parentheses. */
163 : 196249 : if (gfc_match_char ('(') != MATCH_YES)
164 : : return MATCH_NO;
165 : :
166 : 54135 : m = gfc_match_expr (&e);
167 : 54135 : if (m == MATCH_NO)
168 : 65 : goto syntax;
169 : 54070 : if (m == MATCH_ERROR)
170 : : return m;
171 : :
172 : 54065 : m = gfc_match_char (')');
173 : 54065 : if (m == MATCH_NO)
174 : 2342 : gfc_error ("Expected a right parenthesis in expression at %C");
175 : :
176 : : /* Now we have the expression inside the parentheses, build the
177 : : expression pointing to it. By 7.1.7.2, any expression in
178 : : parentheses shall be treated as a data entity. */
179 : 54065 : *result = gfc_get_parentheses (e);
180 : :
181 : 54065 : if (m != MATCH_YES)
182 : : {
183 : 2342 : gfc_free_expr (*result);
184 : 2342 : return MATCH_ERROR;
185 : : }
186 : :
187 : : return MATCH_YES;
188 : :
189 : 65 : syntax:
190 : 65 : gfc_error (expression_syntax);
191 : 65 : return MATCH_ERROR;
192 : : }
193 : :
194 : :
195 : : /* Match a level 1 expression. */
196 : :
197 : : static match
198 : 6733706 : match_level_1 (gfc_expr **result)
199 : : {
200 : 6733706 : gfc_user_op *uop;
201 : 6733706 : gfc_expr *e, *f;
202 : 6733706 : locus where;
203 : 6733706 : match m;
204 : :
205 : 6733706 : gfc_gobble_whitespace ();
206 : 6733706 : where = gfc_current_locus;
207 : 6733706 : uop = NULL;
208 : 6733706 : m = match_defined_operator (&uop);
209 : 6733706 : if (m == MATCH_ERROR)
210 : : return m;
211 : :
212 : 6733706 : m = match_primary (&e);
213 : 6733706 : if (m != MATCH_YES)
214 : : return m;
215 : :
216 : 5985153 : if (uop == NULL)
217 : 5984929 : *result = e;
218 : : else
219 : : {
220 : 224 : f = gfc_get_operator_expr (&where, INTRINSIC_USER, e, NULL);
221 : 224 : f->value.op.uop = uop;
222 : 224 : *result = f;
223 : : }
224 : :
225 : : return MATCH_YES;
226 : : }
227 : :
228 : :
229 : : /* As a GNU extension we support an expanded level-2 expression syntax.
230 : : Via this extension we support (arbitrary) nesting of unary plus and
231 : : minus operations following unary and binary operators, such as **.
232 : : The grammar of section 7.1.1.3 is effectively rewritten as:
233 : :
234 : : R704 mult-operand is level-1-expr [ power-op ext-mult-operand ]
235 : : R704' ext-mult-operand is add-op ext-mult-operand
236 : : or mult-operand
237 : : R705 add-operand is add-operand mult-op ext-mult-operand
238 : : or mult-operand
239 : : R705' ext-add-operand is add-op ext-add-operand
240 : : or add-operand
241 : : R706 level-2-expr is [ level-2-expr ] add-op ext-add-operand
242 : : or add-operand
243 : : */
244 : :
245 : : static match match_ext_mult_operand (gfc_expr **result);
246 : : static match match_ext_add_operand (gfc_expr **result);
247 : :
248 : : static int
249 : 12708580 : match_add_op (void)
250 : : {
251 : 12708580 : if (next_operator (INTRINSIC_MINUS))
252 : : return -1;
253 : 12504416 : if (next_operator (INTRINSIC_PLUS))
254 : 67673 : return 1;
255 : : return 0;
256 : : }
257 : :
258 : :
259 : : static match
260 : 6733706 : match_mult_operand (gfc_expr **result)
261 : : {
262 : : /* Workaround -Wmaybe-uninitialized false positive during
263 : : profiledbootstrap by initializing them. */
264 : 6733706 : gfc_expr *e = NULL, *exp, *r;
265 : 6733706 : locus where;
266 : 6733706 : match m;
267 : :
268 : 6733706 : m = match_level_1 (&e);
269 : 6733706 : if (m != MATCH_YES)
270 : : return m;
271 : :
272 : 5985153 : if (!next_operator (INTRINSIC_POWER))
273 : : {
274 : 5917702 : *result = e;
275 : 5917702 : return MATCH_YES;
276 : : }
277 : :
278 : 67451 : where = gfc_current_locus;
279 : :
280 : 67451 : m = match_ext_mult_operand (&exp);
281 : 67451 : if (m == MATCH_NO)
282 : 0 : gfc_error ("Expected exponent in expression at %C");
283 : 67451 : if (m != MATCH_YES)
284 : : {
285 : 1 : gfc_free_expr (e);
286 : 1 : return MATCH_ERROR;
287 : : }
288 : :
289 : 67450 : r = gfc_power (e, exp);
290 : 67450 : if (r == NULL)
291 : : {
292 : 0 : gfc_free_expr (e);
293 : 0 : gfc_free_expr (exp);
294 : 0 : return MATCH_ERROR;
295 : : }
296 : :
297 : 67450 : r->where = where;
298 : 67450 : *result = r;
299 : :
300 : 67450 : return MATCH_YES;
301 : : }
302 : :
303 : :
304 : : static match
305 : 205880 : match_ext_mult_operand (gfc_expr **result)
306 : : {
307 : 205880 : gfc_expr *all, *e;
308 : 205880 : locus where;
309 : 205880 : match m;
310 : 205880 : int i;
311 : :
312 : 205880 : where = gfc_current_locus;
313 : 205880 : i = match_add_op ();
314 : :
315 : 205880 : if (i == 0)
316 : 205867 : return match_mult_operand (result);
317 : :
318 : 13 : if (gfc_notification_std (GFC_STD_GNU) == ERROR)
319 : : {
320 : 0 : gfc_error ("Extension: Unary operator following "
321 : : "arithmetic operator (use parentheses) at %C");
322 : 0 : return MATCH_ERROR;
323 : : }
324 : : else
325 : 13 : gfc_warning (0, "Extension: Unary operator following "
326 : : "arithmetic operator (use parentheses) at %C");
327 : :
328 : 13 : m = match_ext_mult_operand (&e);
329 : 13 : if (m != MATCH_YES)
330 : : return m;
331 : :
332 : 13 : if (i == -1)
333 : 7 : all = gfc_uminus (e);
334 : : else
335 : 6 : all = gfc_uplus (e);
336 : :
337 : 13 : if (all == NULL)
338 : : {
339 : 0 : gfc_free_expr (e);
340 : 0 : return MATCH_ERROR;
341 : : }
342 : :
343 : 13 : all->where = where;
344 : 13 : *result = all;
345 : 13 : return MATCH_YES;
346 : : }
347 : :
348 : :
349 : : static match
350 : 6527839 : match_add_operand (gfc_expr **result)
351 : : {
352 : 6527839 : gfc_expr *all, *e, *total;
353 : 6527839 : locus where, old_loc;
354 : 6527839 : match m;
355 : 6527839 : gfc_intrinsic_op i;
356 : :
357 : 6527839 : m = match_mult_operand (&all);
358 : 6527839 : if (m != MATCH_YES)
359 : : return m;
360 : :
361 : 5997523 : for (;;)
362 : : {
363 : : /* Build up a string of products or quotients. */
364 : :
365 : 5917694 : old_loc = gfc_current_locus;
366 : :
367 : 5917694 : if (next_operator (INTRINSIC_TIMES))
368 : : i = INTRINSIC_TIMES;
369 : : else
370 : : {
371 : 5850607 : if (next_operator (INTRINSIC_DIVIDE))
372 : : i = INTRINSIC_DIVIDE;
373 : : else
374 : : break;
375 : : }
376 : :
377 : 138416 : where = gfc_current_locus;
378 : :
379 : 138416 : m = match_ext_mult_operand (&e);
380 : 138416 : if (m == MATCH_NO)
381 : : {
382 : 58579 : gfc_current_locus = old_loc;
383 : 58579 : break;
384 : : }
385 : :
386 : 79837 : if (m == MATCH_ERROR)
387 : : {
388 : 0 : gfc_free_expr (all);
389 : 0 : return MATCH_ERROR;
390 : : }
391 : :
392 : 79837 : if (i == INTRINSIC_TIMES)
393 : 67087 : total = gfc_multiply (all, e);
394 : : else
395 : 12750 : total = gfc_divide (all, e);
396 : :
397 : 79837 : if (total == NULL)
398 : : {
399 : 8 : gfc_free_expr (all);
400 : 8 : gfc_free_expr (e);
401 : 8 : return MATCH_ERROR;
402 : : }
403 : :
404 : 79829 : all = total;
405 : 79829 : all->where = where;
406 : : }
407 : :
408 : 5837857 : *result = all;
409 : 5837857 : return MATCH_YES;
410 : : }
411 : :
412 : :
413 : : static match
414 : 271824 : match_ext_add_operand (gfc_expr **result)
415 : : {
416 : 271824 : gfc_expr *all, *e;
417 : 271824 : locus where;
418 : 271824 : match m;
419 : 271824 : int i;
420 : :
421 : 271824 : where = gfc_current_locus;
422 : 271824 : i = match_add_op ();
423 : :
424 : 271824 : if (i == 0)
425 : 271824 : return match_add_operand (result);
426 : :
427 : 0 : if (gfc_notification_std (GFC_STD_GNU) == ERROR)
428 : : {
429 : 0 : gfc_error ("Extension: Unary operator following "
430 : : "arithmetic operator (use parentheses) at %C");
431 : 0 : return MATCH_ERROR;
432 : : }
433 : : else
434 : 0 : gfc_warning (0, "Extension: Unary operator following "
435 : : "arithmetic operator (use parentheses) at %C");
436 : :
437 : 0 : m = match_ext_add_operand (&e);
438 : 0 : if (m != MATCH_YES)
439 : : return m;
440 : :
441 : 0 : if (i == -1)
442 : 0 : all = gfc_uminus (e);
443 : : else
444 : 0 : all = gfc_uplus (e);
445 : :
446 : 0 : if (all == NULL)
447 : : {
448 : 0 : gfc_free_expr (e);
449 : 0 : return MATCH_ERROR;
450 : : }
451 : :
452 : 0 : all->where = where;
453 : 0 : *result = all;
454 : 0 : return MATCH_YES;
455 : : }
456 : :
457 : :
458 : : /* Match a level 2 expression. */
459 : :
460 : : static match
461 : 6393020 : match_level_2 (gfc_expr **result)
462 : : {
463 : 6393020 : gfc_expr *all, *e, *total;
464 : 6393020 : locus where;
465 : 6393020 : match m;
466 : 6393020 : int i;
467 : :
468 : 6393020 : where = gfc_current_locus;
469 : 6393020 : i = match_add_op ();
470 : :
471 : 6393020 : if (i != 0)
472 : : {
473 : 137005 : m = match_ext_add_operand (&e);
474 : 137005 : if (m == MATCH_NO)
475 : : {
476 : 8 : gfc_error (expression_syntax);
477 : 8 : m = MATCH_ERROR;
478 : : }
479 : : }
480 : : else
481 : 6256015 : m = match_add_operand (&e);
482 : :
483 : 6393020 : if (m != MATCH_YES)
484 : 689979 : return m;
485 : :
486 : 5703041 : if (i == 0)
487 : 5566050 : all = e;
488 : : else
489 : : {
490 : 136991 : if (i == -1)
491 : 136621 : all = gfc_uminus (e);
492 : : else
493 : 370 : all = gfc_uplus (e);
494 : :
495 : 136991 : if (all == NULL)
496 : : {
497 : 1 : gfc_free_expr (e);
498 : 1 : return MATCH_ERROR;
499 : : }
500 : : }
501 : :
502 : 5703040 : all->where = where;
503 : :
504 : : /* Append add-operands to the sum. */
505 : :
506 : 5972672 : for (;;)
507 : : {
508 : 5837856 : where = gfc_current_locus;
509 : 5837856 : i = match_add_op ();
510 : 5837856 : if (i == 0)
511 : : break;
512 : :
513 : 134819 : m = match_ext_add_operand (&e);
514 : 134819 : if (m == MATCH_NO)
515 : 0 : gfc_error (expression_syntax);
516 : 134819 : if (m != MATCH_YES)
517 : : {
518 : 3 : gfc_free_expr (all);
519 : 3 : return MATCH_ERROR;
520 : : }
521 : :
522 : 134816 : if (i == -1)
523 : 67522 : total = gfc_subtract (all, e);
524 : : else
525 : 67294 : total = gfc_add (all, e);
526 : :
527 : 134816 : if (total == NULL)
528 : : {
529 : 0 : gfc_free_expr (all);
530 : 0 : gfc_free_expr (e);
531 : 0 : return MATCH_ERROR;
532 : : }
533 : :
534 : 134816 : all = total;
535 : 134816 : all->where = where;
536 : : }
537 : :
538 : 5703037 : *result = all;
539 : 5703037 : return MATCH_YES;
540 : : }
541 : :
542 : :
543 : : /* Match a level three expression. */
544 : :
545 : : static match
546 : 6387884 : match_level_3 (gfc_expr **result)
547 : : {
548 : 6387884 : gfc_expr *all, *e, *total = NULL;
549 : 6387884 : locus where;
550 : 6387884 : match m;
551 : :
552 : 6387884 : m = match_level_2 (&all);
553 : 6387884 : if (m != MATCH_YES)
554 : : return m;
555 : :
556 : 5708165 : for (;;)
557 : : {
558 : 5703036 : if (!next_operator (INTRINSIC_CONCAT))
559 : : break;
560 : :
561 : 5136 : where = gfc_current_locus;
562 : :
563 : 5136 : m = match_level_2 (&e);
564 : 5136 : if (m == MATCH_NO)
565 : 0 : gfc_error (expression_syntax);
566 : 5136 : if (m != MATCH_YES)
567 : : {
568 : 6 : gfc_free_expr (all);
569 : 6 : return MATCH_ERROR;
570 : : }
571 : :
572 : 5130 : total = gfc_concat (all, e);
573 : 5130 : if (total == NULL)
574 : : {
575 : 1 : gfc_free_expr (all);
576 : 1 : gfc_free_expr (e);
577 : 1 : return MATCH_ERROR;
578 : : }
579 : :
580 : 5129 : all = total;
581 : 5129 : all->where = where;
582 : : }
583 : :
584 : 5697900 : *result = all;
585 : 5697900 : return MATCH_YES;
586 : : }
587 : :
588 : :
589 : : /* Match a level 4 expression. */
590 : :
591 : : static match
592 : 5478913 : match_level_4 (gfc_expr **result)
593 : : {
594 : 5478913 : gfc_expr *left, *right, *r;
595 : 5478913 : gfc_intrinsic_op i;
596 : 5478913 : locus old_loc;
597 : 5478913 : locus where;
598 : 5478913 : match m;
599 : :
600 : 5478913 : m = match_level_3 (&left);
601 : 5478913 : if (m != MATCH_YES)
602 : : return m;
603 : :
604 : 4788929 : old_loc = gfc_current_locus;
605 : :
606 : 4788929 : if (gfc_match_intrinsic_op (&i) != MATCH_YES)
607 : : {
608 : 3758470 : *result = left;
609 : 3758470 : return MATCH_YES;
610 : : }
611 : :
612 : 1030459 : if (i != INTRINSIC_EQ && i != INTRINSIC_NE && i != INTRINSIC_GE
613 : 391226 : && i != INTRINSIC_LE && i != INTRINSIC_LT && i != INTRINSIC_GT
614 : 348185 : && i != INTRINSIC_EQ_OS && i != INTRINSIC_NE_OS && i != INTRINSIC_GE_OS
615 : 137152 : && i != INTRINSIC_LE_OS && i != INTRINSIC_LT_OS && i != INTRINSIC_GT_OS)
616 : : {
617 : 121488 : gfc_current_locus = old_loc;
618 : 121488 : *result = left;
619 : 121488 : return MATCH_YES;
620 : : }
621 : :
622 : 908971 : where = gfc_current_locus;
623 : :
624 : 908971 : m = match_level_3 (&right);
625 : 908971 : if (m == MATCH_NO)
626 : 0 : gfc_error (expression_syntax);
627 : 908971 : if (m != MATCH_YES)
628 : : {
629 : 0 : gfc_free_expr (left);
630 : 0 : return MATCH_ERROR;
631 : : }
632 : :
633 : 908971 : switch (i)
634 : : {
635 : 32350 : case INTRINSIC_EQ:
636 : 32350 : case INTRINSIC_EQ_OS:
637 : 32350 : r = gfc_eq (left, right, i);
638 : 32350 : break;
639 : :
640 : 813258 : case INTRINSIC_NE:
641 : 813258 : case INTRINSIC_NE_OS:
642 : 813258 : r = gfc_ne (left, right, i);
643 : 813258 : break;
644 : :
645 : 11031 : case INTRINSIC_LT:
646 : 11031 : case INTRINSIC_LT_OS:
647 : 11031 : r = gfc_lt (left, right, i);
648 : 11031 : break;
649 : :
650 : 7377 : case INTRINSIC_LE:
651 : 7377 : case INTRINSIC_LE_OS:
652 : 7377 : r = gfc_le (left, right, i);
653 : 7377 : break;
654 : :
655 : 40297 : case INTRINSIC_GT:
656 : 40297 : case INTRINSIC_GT_OS:
657 : 40297 : r = gfc_gt (left, right, i);
658 : 40297 : break;
659 : :
660 : 4658 : case INTRINSIC_GE:
661 : 4658 : case INTRINSIC_GE_OS:
662 : 4658 : r = gfc_ge (left, right, i);
663 : 4658 : break;
664 : :
665 : 0 : default:
666 : 0 : gfc_internal_error ("match_level_4(): Bad operator");
667 : : }
668 : :
669 : 908971 : if (r == NULL)
670 : : {
671 : 0 : gfc_free_expr (left);
672 : 0 : gfc_free_expr (right);
673 : 0 : return MATCH_ERROR;
674 : : }
675 : :
676 : 908971 : r->where = where;
677 : 908971 : *result = r;
678 : :
679 : 908971 : return MATCH_YES;
680 : : }
681 : :
682 : :
683 : : static match
684 : 5478913 : match_and_operand (gfc_expr **result)
685 : : {
686 : 5478913 : gfc_expr *e, *r;
687 : 5478913 : locus where;
688 : 5478913 : match m;
689 : 5478913 : int i;
690 : :
691 : 5478913 : i = next_operator (INTRINSIC_NOT);
692 : 5478913 : where = gfc_current_locus;
693 : :
694 : 5478913 : m = match_level_4 (&e);
695 : 5478913 : if (m != MATCH_YES)
696 : : return m;
697 : :
698 : 4788929 : r = e;
699 : 4788929 : if (i)
700 : : {
701 : 76290 : r = gfc_not (e);
702 : 76290 : if (r == NULL)
703 : : {
704 : 0 : gfc_free_expr (e);
705 : 0 : return MATCH_ERROR;
706 : : }
707 : : }
708 : :
709 : 4788929 : r->where = where;
710 : 4788929 : *result = r;
711 : :
712 : 4788929 : return MATCH_YES;
713 : : }
714 : :
715 : :
716 : : static match
717 : 5462140 : match_or_operand (gfc_expr **result)
718 : : {
719 : 5462140 : gfc_expr *all, *e, *total;
720 : 5462140 : locus where;
721 : 5462140 : match m;
722 : :
723 : 5462140 : m = match_and_operand (&all);
724 : 5462140 : if (m != MATCH_YES)
725 : : return m;
726 : :
727 : 4805702 : for (;;)
728 : : {
729 : 4788929 : if (!next_operator (INTRINSIC_AND))
730 : : break;
731 : 16773 : where = gfc_current_locus;
732 : :
733 : 16773 : m = match_and_operand (&e);
734 : 16773 : if (m == MATCH_NO)
735 : 0 : gfc_error (expression_syntax);
736 : 16773 : if (m != MATCH_YES)
737 : : {
738 : 0 : gfc_free_expr (all);
739 : 0 : return MATCH_ERROR;
740 : : }
741 : :
742 : 16773 : total = gfc_and (all, e);
743 : 16773 : if (total == NULL)
744 : : {
745 : 0 : gfc_free_expr (all);
746 : 0 : gfc_free_expr (e);
747 : 0 : return MATCH_ERROR;
748 : : }
749 : :
750 : 16773 : all = total;
751 : 16773 : all->where = where;
752 : : }
753 : :
754 : 4772156 : *result = all;
755 : 4772156 : return MATCH_YES;
756 : : }
757 : :
758 : :
759 : : static match
760 : 5263190 : match_equiv_operand (gfc_expr **result)
761 : : {
762 : 5263190 : gfc_expr *all, *e, *total;
763 : 5263190 : locus where;
764 : 5263190 : match m;
765 : :
766 : 5263190 : m = match_or_operand (&all);
767 : 5263190 : if (m != MATCH_YES)
768 : : return m;
769 : :
770 : 4971106 : for (;;)
771 : : {
772 : 4772156 : if (!next_operator (INTRINSIC_OR))
773 : : break;
774 : 198950 : where = gfc_current_locus;
775 : :
776 : 198950 : m = match_or_operand (&e);
777 : 198950 : if (m == MATCH_NO)
778 : 0 : gfc_error (expression_syntax);
779 : 198950 : if (m != MATCH_YES)
780 : : {
781 : 0 : gfc_free_expr (all);
782 : 0 : return MATCH_ERROR;
783 : : }
784 : :
785 : 198950 : total = gfc_or (all, e);
786 : 198950 : if (total == NULL)
787 : : {
788 : 0 : gfc_free_expr (all);
789 : 0 : gfc_free_expr (e);
790 : 0 : return MATCH_ERROR;
791 : : }
792 : :
793 : 198950 : all = total;
794 : 198950 : all->where = where;
795 : : }
796 : :
797 : 4573206 : *result = all;
798 : 4573206 : return MATCH_YES;
799 : : }
800 : :
801 : :
802 : : /* Match a level 5 expression. */
803 : :
804 : : static match
805 : 5239081 : match_level_5 (gfc_expr **result)
806 : : {
807 : 5239081 : gfc_expr *all, *e, *total;
808 : 5239081 : locus where;
809 : 5239081 : match m;
810 : 5239081 : gfc_intrinsic_op i;
811 : :
812 : 5239081 : m = match_equiv_operand (&all);
813 : 5239081 : if (m != MATCH_YES)
814 : : return m;
815 : :
816 : 4597315 : for (;;)
817 : : {
818 : 4573206 : if (next_operator (INTRINSIC_EQV))
819 : : i = INTRINSIC_EQV;
820 : : else
821 : : {
822 : 4571232 : if (next_operator (INTRINSIC_NEQV))
823 : : i = INTRINSIC_NEQV;
824 : : else
825 : : break;
826 : : }
827 : :
828 : 24109 : where = gfc_current_locus;
829 : :
830 : 24109 : m = match_equiv_operand (&e);
831 : 24109 : if (m == MATCH_NO)
832 : 0 : gfc_error (expression_syntax);
833 : 24109 : if (m != MATCH_YES)
834 : : {
835 : 0 : gfc_free_expr (all);
836 : 0 : return MATCH_ERROR;
837 : : }
838 : :
839 : 24109 : if (i == INTRINSIC_EQV)
840 : 1974 : total = gfc_eqv (all, e);
841 : : else
842 : 22135 : total = gfc_neqv (all, e);
843 : :
844 : 24109 : if (total == NULL)
845 : : {
846 : 0 : gfc_free_expr (all);
847 : 0 : gfc_free_expr (e);
848 : 0 : return MATCH_ERROR;
849 : : }
850 : :
851 : 24109 : all = total;
852 : 24109 : all->where = where;
853 : : }
854 : :
855 : 4549097 : *result = all;
856 : 4549097 : return MATCH_YES;
857 : : }
858 : :
859 : :
860 : : /* Match an expression. At this level, we are stringing together
861 : : level 5 expressions separated by binary operators. */
862 : :
863 : : match
864 : 5238902 : gfc_match_expr (gfc_expr **result)
865 : : {
866 : 5238902 : gfc_expr *all, *e;
867 : 5238902 : gfc_user_op *uop;
868 : 5238902 : locus where;
869 : 5238902 : match m;
870 : :
871 : 5238902 : m = match_level_5 (&all);
872 : 5238902 : if (m != MATCH_YES)
873 : : return m;
874 : :
875 : 4549276 : for (;;)
876 : : {
877 : 4549097 : uop = NULL;
878 : 4549097 : m = match_defined_operator (&uop);
879 : 4549097 : if (m == MATCH_NO)
880 : : break;
881 : 215 : if (m == MATCH_ERROR)
882 : : {
883 : 36 : gfc_free_expr (all);
884 : 36 : return MATCH_ERROR;
885 : : }
886 : :
887 : 179 : where = gfc_current_locus;
888 : :
889 : 179 : m = match_level_5 (&e);
890 : 179 : if (m == MATCH_NO)
891 : 0 : gfc_error (expression_syntax);
892 : 179 : if (m != MATCH_YES)
893 : : {
894 : 0 : gfc_free_expr (all);
895 : 0 : return MATCH_ERROR;
896 : : }
897 : :
898 : 179 : all = gfc_get_operator_expr (&where, INTRINSIC_USER, all, e);
899 : 179 : all->value.op.uop = uop;
900 : : }
901 : :
902 : 4548882 : *result = all;
903 : 4548882 : return MATCH_YES;
904 : : }
|
