author | Mario de Sousa <msousa@fe.up.pt> |
Fri, 09 Nov 2012 14:34:36 +0000 | |
changeset 724 | d19877568878 |
parent 667 | bd1360f29f15 |
child 964 | 5f4dfe6670da |
permissions | -rw-r--r-- |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
1 |
/* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
2 |
* matiec - a compiler for the programming languages defined in IEC 61131-3 |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
3 |
* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
4 |
* Copyright (C) 2009-2012 Mario de Sousa (msousa@fe.up.pt) |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
5 |
* Copyright (C) 2012 Manuele Conti (conti.ma@alice.it) |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
6 |
* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
7 |
* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
8 |
* This program is free software: you can redistribute it and/or modify |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
9 |
* it under the terms of the GNU General Public License as published by |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
10 |
* the Free Software Foundation, either version 3 of the License, or |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
11 |
* (at your option) any later version. |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
12 |
* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
13 |
* This program is distributed in the hope that it will be useful, |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
14 |
* but WITHOUT ANY WARRANTY; without even the implied warranty of |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
15 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
16 |
* GNU General Public License for more details. |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
17 |
* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
18 |
* You should have received a copy of the GNU General Public License |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
19 |
* along with this program. If not, see <http://www.gnu.org/licenses/>. |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
20 |
* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
21 |
* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
22 |
* This code is made available on the understanding that it will not be |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
23 |
* used in safety-critical situations without a full and competent review. |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
24 |
*/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
25 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
26 |
/* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
27 |
* An IEC 61131-3 compiler. |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
28 |
* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
29 |
* Based on the |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
30 |
* FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10) |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
31 |
* |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
32 |
*/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
33 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
34 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
35 |
/* |
614
31bda4cde875
Fix comment (bug found by Manuele).
Mario de Sousa <msousa@fe.up.pt>
parents:
612
diff
changeset
|
36 |
* Array Range Checking: |
31bda4cde875
Fix comment (bug found by Manuele).
Mario de Sousa <msousa@fe.up.pt>
parents:
612
diff
changeset
|
37 |
* - Check whether array subscript values fall within the allowed range. |
31bda4cde875
Fix comment (bug found by Manuele).
Mario de Sousa <msousa@fe.up.pt>
parents:
612
diff
changeset
|
38 |
* Note that for the checking of subscript values to work correctly, we need to have constant folding working too: |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
39 |
* array_var[8 + 99] can not be checked without constant folding. |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
40 |
*/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
41 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
42 |
|
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
43 |
#include "array_range_check.hh" |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
44 |
#include <limits> // required for std::numeric_limits<XXX> |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
45 |
|
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
46 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
47 |
#define FIRST_(symbol1, symbol2) (((symbol1)->first_order < (symbol2)->first_order) ? (symbol1) : (symbol2)) |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
48 |
#define LAST_(symbol1, symbol2) (((symbol1)->last_order > (symbol2)->last_order) ? (symbol1) : (symbol2)) |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
49 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
50 |
#define STAGE3_ERROR(error_level, symbol1, symbol2, ...) { \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
51 |
if (current_display_error_level >= error_level) { \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
52 |
fprintf(stderr, "%s:%d-%d..%d-%d: error: ", \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
53 |
FIRST_(symbol1,symbol2)->first_file, FIRST_(symbol1,symbol2)->first_line, FIRST_(symbol1,symbol2)->first_column,\ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
54 |
LAST_(symbol1,symbol2) ->last_line, LAST_(symbol1,symbol2) ->last_column);\ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
55 |
fprintf(stderr, __VA_ARGS__); \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
56 |
fprintf(stderr, "\n"); \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
57 |
error_count++; \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
58 |
} \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
59 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
60 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
61 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
62 |
#define STAGE3_WARNING(symbol1, symbol2, ...) { \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
63 |
fprintf(stderr, "%s:%d-%d..%d-%d: warning: ", \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
64 |
FIRST_(symbol1,symbol2)->first_file, FIRST_(symbol1,symbol2)->first_line, FIRST_(symbol1,symbol2)->first_column,\ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
65 |
LAST_(symbol1,symbol2) ->last_line, LAST_(symbol1,symbol2) ->last_column);\ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
66 |
fprintf(stderr, __VA_ARGS__); \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
67 |
fprintf(stderr, "\n"); \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
68 |
warning_found = true; \ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
69 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
70 |
|
612 | 71 |
#define GET_CVALUE(dtype, symbol) ((symbol)->const_value._##dtype.value) |
72 |
#define VALID_CVALUE(dtype, symbol) (symbol_c::cs_const_value == (symbol)->const_value._##dtype.status) |
|
581
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
73 |
|
620
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
74 |
/* The cmp_unsigned_signed function compares two numbers u and s. |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
75 |
* It returns an integer indicating the relationship between the numbers: |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
76 |
* - A zero value indicates that both numbers are equal. |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
77 |
* - A value greater than zero indicates that numbers does not match and |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
78 |
* first has a greater value. |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
79 |
* - A value less than zero indicates that numbers does not match and |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
80 |
* first has a lesser value. |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
81 |
*/ |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
82 |
static inline int cmp_unsigned_signed(const uint64_t u, const int64_t s) { |
621
e3616f6b6959
Remove remaining signed/unsigned comparison error messages when compiling.
Mario de Sousa <msousa@fe.up.pt>
parents:
620
diff
changeset
|
83 |
const uint64_t INT64_MAX_uvar = INT64_MAX; |
e3616f6b6959
Remove remaining signed/unsigned comparison error messages when compiling.
Mario de Sousa <msousa@fe.up.pt>
parents:
620
diff
changeset
|
84 |
if (u <= INT64_MAX_uvar) |
620
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
85 |
return ((int64_t)u - s); |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
86 |
return -1; |
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
87 |
} |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
88 |
|
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
89 |
array_range_check_c::array_range_check_c(symbol_c *ignore) { |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
90 |
error_count = 0; |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
91 |
current_display_error_level = 0; |
661
f537c3315f83
Minor changes needed to build with pedantic flag.
Manuele Conti <conti.ma@alice.it>
parents:
647
diff
changeset
|
92 |
search_varfb_instance_type = NULL; |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
93 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
94 |
|
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
95 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
96 |
|
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
97 |
array_range_check_c::~array_range_check_c(void) { |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
98 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
99 |
|
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
100 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
101 |
|
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
102 |
int array_range_check_c::get_error_count() { |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
103 |
return error_count; |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
104 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
105 |
|
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
106 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
107 |
|
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
108 |
void array_range_check_c::check_dimension_count(array_variable_c *symbol) { |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
109 |
int dimension_count; |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
110 |
symbol_c *var_decl; |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
111 |
|
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
112 |
var_decl = search_varfb_instance_type->get_basetype_decl(symbol->subscripted_variable); |
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
113 |
array_dimension_iterator_c array_dimension_iterator(var_decl); |
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
114 |
for (dimension_count = 0; NULL != array_dimension_iterator.next(); dimension_count++); |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
115 |
if (dimension_count != ((list_c *)symbol->subscript_list)->n) |
583
e1df3781be84
Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt>
parents:
581
diff
changeset
|
116 |
STAGE3_ERROR(0, symbol, symbol, "Number of subscripts/indexes does not match the number of subscripts/indexes in the array's declaration (array has %d indexes)", dimension_count); |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
117 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
118 |
|
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
119 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
120 |
|
581
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
121 |
void array_range_check_c::check_bounds(array_variable_c *symbol) { |
583
e1df3781be84
Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt>
parents:
581
diff
changeset
|
122 |
list_c *l; /* the subscript_list */ |
581
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
123 |
symbol_c *var_decl; |
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
124 |
|
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
125 |
l = (list_c *)symbol->subscript_list; |
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
126 |
var_decl = search_varfb_instance_type->get_basetype_decl(symbol->subscripted_variable); |
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
127 |
array_dimension_iterator_c array_dimension_iterator(var_decl); |
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
128 |
for (int i = 0; i < l->n; i++) { |
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
129 |
subrange_c *dimension = array_dimension_iterator.next(); |
585
be7330d9b65c
Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt>
parents:
583
diff
changeset
|
130 |
/* mismatch between number of indexes/subscripts. This error will be caught in check_dimension_count() so we ignore it. */ |
be7330d9b65c
Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt>
parents:
583
diff
changeset
|
131 |
if (NULL == dimension) |
be7330d9b65c
Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt>
parents:
583
diff
changeset
|
132 |
return; |
599 | 133 |
|
134 |
/* Check lower limit */ |
|
583
e1df3781be84
Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt>
parents:
581
diff
changeset
|
135 |
if ( VALID_CVALUE( int64, l->elements[i]) && VALID_CVALUE( int64, dimension->lower_limit)) |
620
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
136 |
if ( GET_CVALUE( int64, l->elements[i]) < GET_CVALUE( int64, dimension->lower_limit) ) |
646
dd76ce4a7e22
Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt>
parents:
621
diff
changeset
|
137 |
{STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds (should be >= %"PRId64").", GET_CVALUE( int64, dimension->lower_limit)); continue;} |
581
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
138 |
|
599 | 139 |
if ( VALID_CVALUE( int64, l->elements[i]) && VALID_CVALUE(uint64, dimension->lower_limit)) |
620
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
140 |
if ( cmp_unsigned_signed( GET_CVALUE(uint64, dimension->lower_limit), GET_CVALUE( int64, l->elements[i])) > 0 ) |
646
dd76ce4a7e22
Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt>
parents:
621
diff
changeset
|
141 |
{STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds (should be >= %"PRIu64").", GET_CVALUE(uint64, dimension->lower_limit)); continue;} |
599 | 142 |
|
143 |
if ( VALID_CVALUE(uint64, l->elements[i]) && VALID_CVALUE(uint64, dimension->lower_limit)) |
|
144 |
if ( GET_CVALUE(uint64, l->elements[i]) < GET_CVALUE(uint64, dimension->lower_limit)) |
|
646
dd76ce4a7e22
Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt>
parents:
621
diff
changeset
|
145 |
{STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds (should be >= %"PRIu64").", GET_CVALUE(uint64, dimension->lower_limit)); continue;} |
599 | 146 |
|
147 |
if ( VALID_CVALUE(uint64, l->elements[i]) && VALID_CVALUE( int64, dimension->lower_limit)) |
|
620
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
148 |
if ( cmp_unsigned_signed(GET_CVALUE(uint64, l->elements[i]), GET_CVALUE( int64, dimension->lower_limit)) < 0 ) |
646
dd76ce4a7e22
Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt>
parents:
621
diff
changeset
|
149 |
{STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds (should be >= %"PRId64").", GET_CVALUE( int64, dimension->lower_limit)); continue;} |
599 | 150 |
|
151 |
/* Repeat the same check, now for upper limit */ |
|
583
e1df3781be84
Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt>
parents:
581
diff
changeset
|
152 |
if ( VALID_CVALUE( int64, l->elements[i]) && VALID_CVALUE( int64, dimension->upper_limit)) |
e1df3781be84
Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt>
parents:
581
diff
changeset
|
153 |
if ( GET_CVALUE( int64, l->elements[i]) > GET_CVALUE( int64, dimension->upper_limit)) |
646
dd76ce4a7e22
Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt>
parents:
621
diff
changeset
|
154 |
{STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds (should be <= %"PRId64").", GET_CVALUE( int64, dimension->upper_limit)); continue;} |
583
e1df3781be84
Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt>
parents:
581
diff
changeset
|
155 |
|
599 | 156 |
if ( VALID_CVALUE( int64, l->elements[i]) && VALID_CVALUE(uint64, dimension->upper_limit)) |
620
aef32856eeb5
Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it>
parents:
614
diff
changeset
|
157 |
if ( cmp_unsigned_signed( GET_CVALUE(uint64, dimension->upper_limit), GET_CVALUE( int64, l->elements[i])) < 0 ) |
646
dd76ce4a7e22
Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt>
parents:
621
diff
changeset
|
158 |
{STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds (should be <= %"PRIu64").", GET_CVALUE(uint64, dimension->upper_limit)); continue;} |
583
e1df3781be84
Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt>
parents:
581
diff
changeset
|
159 |
|
e1df3781be84
Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt>
parents:
581
diff
changeset
|
160 |
if ( VALID_CVALUE(uint64, l->elements[i]) && VALID_CVALUE(uint64, dimension->upper_limit)) |
e1df3781be84
Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt>
parents:
581
diff
changeset
|
161 |
if ( GET_CVALUE(uint64, l->elements[i]) > GET_CVALUE(uint64, dimension->upper_limit)) |
646
dd76ce4a7e22
Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt>
parents:
621
diff
changeset
|
162 |
{STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds (should be <= %"PRIu64").", GET_CVALUE(uint64, dimension->upper_limit)); continue;} |
594
c8092e909886
Clean up code (remove parsing of integers in stage 4).
Mario de Sousa <msousa@fe.up.pt>
parents:
592
diff
changeset
|
163 |
|
599 | 164 |
if ( VALID_CVALUE(uint64, l->elements[i]) && VALID_CVALUE( int64, dimension->upper_limit)) |
625
c0bda77b37a0
Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b
Laurent Bessard
parents:
621
diff
changeset
|
165 |
if ( cmp_unsigned_signed(GET_CVALUE(uint64, l->elements[i]), GET_CVALUE( int64, dimension->upper_limit)) > 0 ) |
646
dd76ce4a7e22
Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt>
parents:
621
diff
changeset
|
166 |
{STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds (should be <= %"PRId64").", GET_CVALUE( int64, dimension->upper_limit)); continue;} |
599 | 167 |
|
581
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
168 |
} |
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
169 |
} |
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
170 |
|
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
171 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
172 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
173 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
174 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
175 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
176 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
177 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
178 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
179 |
/*************************/ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
180 |
/* B.1 - Common elements */ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
181 |
/*************************/ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
182 |
/**********************/ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
183 |
/* B.1.3 - Data types */ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
184 |
/**********************/ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
185 |
/********************************/ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
186 |
/* B 1.3.3 - Derived data types */ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
187 |
/********************************/ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
188 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
189 |
/* signed_integer DOTDOT signed_integer */ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
190 |
/* dimension will be filled in during stage 3 (array_range_check_c) with the number of elements in this subrange */ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
191 |
// SYM_REF2(subrange_c, lower_limit, upper_limit, unsigned long long int dimension) |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
192 |
void *array_range_check_c::visit(subrange_c *symbol) { |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
193 |
unsigned long long int dimension = 0; // we use unsigned long long instead of uint64_t since it might just happen to be larger than uint64_t in the platform used for compiling this code!! |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
194 |
|
598
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
195 |
/* Determine the size of the array... */ |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
196 |
if (VALID_CVALUE( int64, symbol->upper_limit) && VALID_CVALUE( int64, symbol->lower_limit)) { |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
197 |
// do the sums in such a way that no overflow is possible... even during intermediate steps used by compiler! |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
198 |
// remember that the result (dimension) is unsigned, while the operands are signed!! |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
199 |
// dimension = GET_CVALUE( int64, symbol->upper_limit) - VALID_CVALUE( int64, symbol->lower_limit); |
598
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
200 |
if (GET_CVALUE( int64, symbol->lower_limit) >= 0) { |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
201 |
dimension = GET_CVALUE( int64, symbol->upper_limit) - GET_CVALUE( int64, symbol->lower_limit); |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
202 |
} else { |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
203 |
dimension = -GET_CVALUE( int64, symbol->lower_limit); |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
204 |
dimension += GET_CVALUE( int64, symbol->upper_limit); |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
205 |
} |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
206 |
} else if (VALID_CVALUE(uint64, symbol->upper_limit) && VALID_CVALUE(uint64, symbol->lower_limit)) { |
598
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
207 |
dimension = GET_CVALUE(uint64, symbol->upper_limit) - GET_CVALUE(uint64, symbol->lower_limit); |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
208 |
} else if (VALID_CVALUE(uint64, symbol->upper_limit) && VALID_CVALUE( int64, symbol->lower_limit)) { |
598
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
209 |
if (GET_CVALUE( int64, symbol->lower_limit) >= 0) { |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
210 |
dimension = GET_CVALUE(uint64, symbol->upper_limit) - GET_CVALUE( int64, symbol->lower_limit); |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
211 |
} else { |
598
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
212 |
unsigned long long int lower_ull; |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
213 |
lower_ull = -GET_CVALUE( int64, symbol->lower_limit); |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
214 |
dimension = GET_CVALUE(uint64, symbol->upper_limit) + lower_ull; |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
215 |
if (dimension < lower_ull) |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
216 |
STAGE3_ERROR(0, symbol, symbol, "Number of elements in array subrange exceeds maximum number of elements (%llu).", std::numeric_limits< unsigned long long int >::max()); |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
217 |
} |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
218 |
} else ERROR; |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
219 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
220 |
/* correct value for dimension is actually ---> dimension = upper_limit - lower_limit + 1 |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
221 |
* Up to now, we have only determined dimension = upper_limit - lower_limit |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
222 |
* We must first check whether this last increment will cause an overflow! |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
223 |
*/ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
224 |
if (dimension == std::numeric_limits< unsigned long long int >::max()) |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
225 |
STAGE3_ERROR(0, symbol, symbol, "Number of elements in array subrange exceeds maximum number of elements (%llu).", std::numeric_limits< unsigned long long int >::max()); |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
226 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
227 |
/* correct value for dimension is actually ---> dimension = upper_limit - lower_limit + 1 */ |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
228 |
dimension++; |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
229 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
230 |
symbol->dimension = dimension; |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
231 |
return NULL; |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
232 |
} |
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
233 |
|
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
234 |
|
598
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
235 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
236 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
237 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
238 |
/* integer '(' [array_initial_element] ')' */ |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
239 |
/* array_initial_element may be NULL ! */ |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
240 |
// SYM_REF2(array_initial_elements_c, integer, array_initial_element) |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
241 |
void *array_range_check_c::visit(array_initial_elements_c *symbol) { |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
242 |
if (VALID_CVALUE( int64, symbol->integer) && (GET_CVALUE( int64, symbol->integer) < 0)) |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
243 |
ERROR; /* the IEC 61131-3 syntax guarantees that this value will never be negative! */ |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
244 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
245 |
/* TODO: check that the total number of 'initial values' does not exceed the size of the array! */ |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
246 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
247 |
return NULL; |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
248 |
} |
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
249 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
250 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
251 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
252 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
253 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
254 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
255 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
256 |
|
0b1ee7e7123b
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt>
parents:
594
diff
changeset
|
257 |
|
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
258 |
/*********************/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
259 |
/* B 1.4 - Variables */ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
260 |
/*********************/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
261 |
/*************************************/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
262 |
/* B 1.4.2 - Multi-element variables */ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
263 |
/*************************************/ |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
264 |
void *array_range_check_c::visit(array_variable_c *symbol) { |
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
265 |
check_dimension_count(symbol); |
581
1e158dc9f9c1
Add check array out of bound.
Manuele Conti <conti.ma@alice.it>
parents:
560
diff
changeset
|
266 |
check_bounds(symbol); |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
267 |
return NULL; |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
268 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
269 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
270 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
271 |
/**************************************/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
272 |
/* B 1.5 - Program organisation units */ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
273 |
/**************************************/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
274 |
/***********************/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
275 |
/* B 1.5.1 - Functions */ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
276 |
/***********************/ |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
277 |
// SYM_REF4(function_declaration_c, derived_function_name, type_name, var_declarations_list, function_body) |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
278 |
void *array_range_check_c::visit(function_declaration_c *symbol) { |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
279 |
symbol->var_declarations_list->accept(*this); // required for visiting subrange_c |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
280 |
search_varfb_instance_type = new search_varfb_instance_type_c(symbol); |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
281 |
// search_var_instance_decl = new search_var_instance_decl_c(symbol); |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
282 |
symbol->function_body->accept(*this); |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
283 |
delete search_varfb_instance_type; |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
284 |
// delete search_var_instance_decl; |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
285 |
search_varfb_instance_type = NULL; |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
286 |
// search_var_instance_decl = NULL; |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
287 |
return NULL; |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
288 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
289 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
290 |
/*****************************/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
291 |
/* B 1.5.2 - Function blocks */ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
292 |
/*****************************/ |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
293 |
// SYM_REF3(function_block_declaration_c, fblock_name, var_declarations, fblock_body) |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
294 |
void *array_range_check_c::visit(function_block_declaration_c *symbol) { |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
295 |
symbol->var_declarations->accept(*this); // required for visiting subrange_c |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
296 |
search_varfb_instance_type = new search_varfb_instance_type_c(symbol); |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
297 |
// search_var_instance_decl = new search_var_instance_decl_c(symbol); |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
298 |
symbol->fblock_body->accept(*this); |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
299 |
delete search_varfb_instance_type; |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
300 |
// delete search_var_instance_decl; |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
301 |
search_varfb_instance_type = NULL; |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
302 |
// search_var_instance_decl = NULL; |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
303 |
return NULL; |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
304 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
305 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
306 |
/**********************/ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
307 |
/* B 1.5.3 - Programs */ |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
308 |
/**********************/ |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
309 |
// SYM_REF3(program_declaration_c, program_type_name, var_declarations, function_block_body) |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
310 |
void *array_range_check_c::visit(program_declaration_c *symbol) { |
592
99a284cec1f2
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt>
parents:
585
diff
changeset
|
311 |
symbol->var_declarations->accept(*this); // required for visiting subrange_c |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
312 |
search_varfb_instance_type = new search_varfb_instance_type_c(symbol); |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
313 |
// search_var_instance_decl = new search_var_instance_decl_c(symbol); |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
314 |
symbol->function_block_body->accept(*this); |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
315 |
delete search_varfb_instance_type; |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
316 |
// delete search_var_instance_decl; |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
317 |
search_varfb_instance_type = NULL; |
560
13b5b7faa3d7
Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt>
parents:
559
diff
changeset
|
318 |
// search_var_instance_decl = NULL; |
559
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
319 |
return NULL; |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
320 |
} |
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
321 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
322 |
|
a3b8925e640c
Start sematinc range check class.
Manuele Conti <conti.ma@alice.it>
parents:
diff
changeset
|
323 |