Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 1 | #include "asn1fix_internal.h" |
| 2 | |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 3 | #define ADD_TAG(skip, newtag) do { \ |
| 4 | void *__p; \ |
Lev Walkin | 188ed2c | 2004-09-13 08:31:01 +0000 | [diff] [blame] | 5 | if(skip && !(flags & AFT_FULL_COLLECT)) { \ |
Lev Walkin | 906654e | 2004-09-10 15:49:15 +0000 | [diff] [blame] | 6 | if(newtag.tag_mode != TM_IMPLICIT) \ |
| 7 | skip--; \ |
| 8 | break; \ |
| 9 | } else { \ |
| 10 | if(newtag.tag_mode == TM_IMPLICIT) \ |
| 11 | skip++; \ |
| 12 | } \ |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 13 | __p = realloc((*tags), \ |
| 14 | sizeof(struct asn1p_type_tag_s) * (count + 1)); \ |
| 15 | if(!__p) return -1; \ |
| 16 | *tags = __p; \ |
| 17 | (*tags)[count++] = newtag; \ |
| 18 | if((flags & AFT_FETCH_OUTMOST)) return count; \ |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 19 | } while(0) |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 20 | |
Lev Walkin | 59b176e | 2005-11-26 11:25:14 +0000 | [diff] [blame] | 21 | /* X.691, #22.2 */ |
| 22 | static int asn1f_fetch_minimal_choice_root_tag(arg_t *arg, struct asn1p_type_tag_s *tag, enum asn1f_aft_flags_e flags); |
| 23 | |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 24 | static int |
| 25 | asn1f_fetch_tags_impl(arg_t *arg, struct asn1p_type_tag_s **tags, int count, int skip, enum asn1f_aft_flags_e flags) { |
| 26 | asn1p_expr_t *expr = arg->expr; |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 27 | |
Lev Walkin | 9c2285a | 2006-03-09 08:49:26 +0000 | [diff] [blame] | 28 | DEBUG("Fetching tag from %s: meta %d, type %s", expr->Identifier, |
| 29 | expr->meta_type, expr->expr_type); |
| 30 | |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 31 | /* If this type is tagged, add this tag first */ |
| 32 | if(expr->tag.tag_class != TC_NOCLASS) |
| 33 | ADD_TAG(skip, expr->tag); |
| 34 | |
| 35 | /* REMOVE ME */ |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 36 | if(expr->expr_type == A1TC_EXTENSIBLE) { |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 37 | struct asn1p_type_tag_s tt; |
| 38 | memset(&tt, 0, sizeof(tt)); |
| 39 | tt.tag_class = -1; |
| 40 | ADD_TAG(skip, tt); |
| 41 | return count; |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 42 | } |
| 43 | |
| 44 | if(expr->meta_type == AMT_TYPE) { |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 45 | struct asn1p_type_tag_s tt; |
| 46 | memset(&tt, 0, sizeof(tt)); |
| 47 | tt.tag_class = TC_UNIVERSAL; |
| 48 | tt.tag_value = expr_type2uclass_value[expr->expr_type]; |
| 49 | if(tt.tag_value == 0) { |
| 50 | if(expr->expr_type == ASN_TYPE_ANY |
| 51 | && (flags & AFT_IMAGINARY_ANY)) |
| 52 | tt.tag_value = -1; |
Lev Walkin | 59b176e | 2005-11-26 11:25:14 +0000 | [diff] [blame] | 53 | else if(expr->expr_type != ASN_CONSTR_CHOICE) |
| 54 | return -1; |
| 55 | else if(count) return count; |
| 56 | else if((flags & AFT_CANON_CHOICE) == 0) |
| 57 | return -1; |
| 58 | else if(asn1f_fetch_minimal_choice_root_tag(arg, |
| 59 | &tt, flags)) |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 60 | return -1; |
Lev Walkin | d541c25 | 2004-09-05 10:36:22 +0000 | [diff] [blame] | 61 | } |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 62 | ADD_TAG(skip, tt); |
| 63 | return count; |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 64 | } |
| 65 | |
| 66 | if(expr->meta_type == AMT_TYPEREF) { |
Lev Walkin | 906654e | 2004-09-10 15:49:15 +0000 | [diff] [blame] | 67 | asn1p_expr_t *nexpr; |
Lev Walkin | 59b176e | 2005-11-26 11:25:14 +0000 | [diff] [blame] | 68 | DEBUG("Following the reference %s", expr->Identifier); |
Lev Walkin | a00d6b3 | 2006-03-21 03:40:38 +0000 | [diff] [blame] | 69 | nexpr = asn1f_lookup_symbol(arg, expr->module, expr->rhs_pspecs, expr->reference); |
Lev Walkin | 906654e | 2004-09-10 15:49:15 +0000 | [diff] [blame] | 70 | if(nexpr == NULL) { |
| 71 | if(errno != EEXIST) /* -fknown-extern-type */ |
| 72 | return -1; |
| 73 | if(!count) |
| 74 | return 0; /* OK */ |
| 75 | if((*tags)[count-1].tag_mode == TM_IMPLICIT) { |
| 76 | WARNING("Tagging mode for %s " |
| 77 | "is IMPLICIT, assuming %s " |
| 78 | "has exactly one tag", |
| 79 | expr->Identifier, |
| 80 | asn1f_printable_reference(expr->reference) |
| 81 | ); |
| 82 | return count; |
| 83 | } |
| 84 | FATAL("Tagging mode %s -> %s " |
| 85 | "dangerously incompatible", |
| 86 | expr->Identifier, |
| 87 | asn1f_printable_reference(expr->reference) |
| 88 | ); |
| 89 | return -1; |
| 90 | } else { |
| 91 | arg->expr = nexpr; |
| 92 | } |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 93 | if(expr->_mark & TM_RECURSION) |
| 94 | return -1; |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 95 | expr->_mark |= TM_RECURSION; |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 96 | count = asn1f_fetch_tags_impl(arg, tags, count, skip, flags); |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 97 | expr->_mark &= ~TM_RECURSION; |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 98 | return count; |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 99 | } |
| 100 | |
Lev Walkin | 59b176e | 2005-11-26 11:25:14 +0000 | [diff] [blame] | 101 | DEBUG("No tags discovered for type %d", expr->expr_type); |
| 102 | |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 103 | return -1; |
| 104 | } |
| 105 | |
Lev Walkin | 59b176e | 2005-11-26 11:25:14 +0000 | [diff] [blame] | 106 | static int |
| 107 | asn1f_fetch_minimal_choice_root_tag(arg_t *arg, struct asn1p_type_tag_s *tag, enum asn1f_aft_flags_e flags) { |
| 108 | struct asn1p_type_tag_s min_tag; |
| 109 | asn1p_expr_t *v; |
| 110 | |
| 111 | memset(&min_tag, 0, sizeof(min_tag)); |
| 112 | min_tag.tag_class = TC_PRIVATE + 1; |
| 113 | |
| 114 | TQ_FOR(v, &(arg->expr->members), next) { |
| 115 | arg_t tmparg = *arg; |
| 116 | struct asn1p_type_tag_s *tags = 0; |
| 117 | int count; |
| 118 | |
| 119 | if(v->expr_type == A1TC_EXTENSIBLE) |
| 120 | break; /* Search only within extension root */ |
| 121 | |
| 122 | tmparg.expr = v; |
| 123 | count = asn1f_fetch_tags_impl(&tmparg, &tags, 0, 0, flags); |
| 124 | if(count <= 0) continue; |
| 125 | |
| 126 | if(tags[0].tag_class < min_tag.tag_class) |
| 127 | min_tag = tags[0]; |
| 128 | else if(tags[0].tag_class == min_tag.tag_class |
| 129 | && tags[0].tag_value < min_tag.tag_value) |
| 130 | min_tag = tags[0]; |
| 131 | free(tags); |
| 132 | } |
| 133 | |
| 134 | if(min_tag.tag_class == TC_PRIVATE + 1) |
| 135 | return -1; |
| 136 | else |
| 137 | *tag = min_tag; |
| 138 | return 0; |
| 139 | } |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 140 | |
| 141 | int |
Lev Walkin | 59b176e | 2005-11-26 11:25:14 +0000 | [diff] [blame] | 142 | asn1f_fetch_outmost_tag(asn1p_t *asn, asn1p_module_t *mod, asn1p_expr_t *expr, struct asn1p_type_tag_s *tag, enum asn1f_aft_flags_e flags) { |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 143 | struct asn1p_type_tag_s *tags; |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 144 | int count; |
| 145 | |
Lev Walkin | 59b176e | 2005-11-26 11:25:14 +0000 | [diff] [blame] | 146 | flags |= AFT_FETCH_OUTMOST; |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 147 | |
| 148 | count = asn1f_fetch_tags(asn, mod, expr, &tags, flags); |
| 149 | if(count <= 0) return count; |
| 150 | |
| 151 | *tag = tags[0]; |
| 152 | free(tags); |
| 153 | |
| 154 | return 0; |
| 155 | } |
| 156 | |
| 157 | int |
| 158 | asn1f_fetch_tags(asn1p_t *asn, asn1p_module_t *mod, asn1p_expr_t *expr, struct asn1p_type_tag_s **tags_r, enum asn1f_aft_flags_e flags) { |
| 159 | arg_t arg; |
| 160 | struct asn1p_type_tag_s *tags = 0; |
| 161 | int count; |
| 162 | |
| 163 | memset(&arg, 0, sizeof(arg)); |
| 164 | arg.asn = asn; |
| 165 | arg.mod = mod; |
| 166 | arg.expr = expr; |
| 167 | |
| 168 | count = asn1f_fetch_tags_impl(&arg, &tags, 0, 0, flags); |
Markus Elfring | f3d1861 | 2016-03-15 08:35:24 +0100 | [diff] [blame] | 169 | if (count <= 0) { |
Lev Walkin | 8945e0e | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 170 | free(tags); |
| 171 | tags = 0; |
| 172 | } |
| 173 | *tags_r = tags; |
| 174 | return count; |
| 175 | } |