LCOV - differential code coverage report
Current view: top level - src/backend/snowball/libstemmer - utilities.c (source / functions) Coverage Total Hit UBC CBC
Current: Differential Code Coverage 16@8cea358b128 vs 17@8cea358b128 Lines: 58.8 % 294 173 121 173
Current Date: 2024-04-14 14:21:10 Functions: 54.8 % 31 17 14 17
Baseline: 16@8cea358b128 Branches: 46.4 % 248 115 133 115
Baseline Date: 2024-04-14 14:21:09 Line coverage date bins:
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed (240..) days: 58.8 % 294 173 121 173
Function coverage date bins:
(240..) days: 54.8 % 31 17 14 17
Branch coverage date bins:
(240..) days: 46.4 % 248 115 133 115

 Age         Owner                    Branch data    TLA  Line data    Source code
                                  1                 :                : #include "header.h"
                                  2                 :                : 
                                  3                 :                : #define CREATE_SIZE 1
                                  4                 :                : 
 6081 tgl@sss.pgh.pa.us           5                 :CBC          19 : extern symbol * create_s(void) {
                                  6                 :                :     symbol * p;
                                  7                 :             19 :     void * mem = malloc(HEAD + (CREATE_SIZE + 1) * sizeof(symbol));
                                  8         [ -  + ]:             19 :     if (mem == NULL) return NULL;
                                  9                 :             19 :     p = (symbol *) (HEAD + (char *) mem);
                                 10                 :             19 :     CAPACITY(p) = CREATE_SIZE;
 2029                            11                 :             19 :     SET_SIZE(p, 0);
 6081                            12                 :             19 :     return p;
                                 13                 :                : }
                                 14                 :                : 
 6081 tgl@sss.pgh.pa.us          15                 :UBC           0 : extern void lose_s(symbol * p) {
                                 16         [ #  # ]:              0 :     if (p == NULL) return;
                                 17                 :              0 :     free((char *) p - HEAD);
                                 18                 :                : }
                                 19                 :                : 
                                 20                 :                : /*
                                 21                 :                :    new_p = skip_utf8(p, c, l, n); skips n characters forwards from p + c.
                                 22                 :                :    new_p is the new position, or -1 on failure.
                                 23                 :                : 
                                 24                 :                :    -- used to implement hop and next in the utf8 case.
                                 25                 :                : */
                                 26                 :                : 
 1150 peter@eisentraut.org       27                 :CBC       22173 : extern int skip_utf8(const symbol * p, int c, int limit, int n) {
                                 28                 :                :     int b;
                                 29         [ -  + ]:          22173 :     if (n < 0) return -1;
                                 30         [ +  + ]:          47333 :     for (; n > 0; n--) {
                                 31         [ +  + ]:          28807 :         if (c >= limit) return -1;
                                 32                 :          25160 :         b = p[c++];
                                 33         [ -  + ]:          25160 :         if (b >= 0xC0) {   /* 1100 0000 */
 1150 peter@eisentraut.org       34         [ #  # ]:UBC           0 :             while (c < limit) {
                                 35                 :              0 :                 b = p[c];
                                 36   [ #  #  #  # ]:              0 :                 if (b >= 0xC0 || b < 0x80) break;
                                 37                 :                :                 /* break unless b is 10------ */
                                 38                 :              0 :                 c++;
                                 39                 :                :             }
                                 40                 :                :         }
                                 41                 :                :     }
 1150 peter@eisentraut.org       42                 :CBC       18526 :     return c;
                                 43                 :                : }
                                 44                 :                : 
                                 45                 :                : /*
                                 46                 :                :    new_p = skip_b_utf8(p, c, lb, n); skips n characters backwards from p + c - 1
                                 47                 :                :    new_p is the new position, or -1 on failure.
                                 48                 :                : 
                                 49                 :                :    -- used to implement hop and next in the utf8 case.
                                 50                 :                : */
                                 51                 :                : 
                                 52                 :            140 : extern int skip_b_utf8(const symbol * p, int c, int limit, int n) {
                                 53                 :                :     int b;
                                 54         [ -  + ]:            140 :     if (n < 0) return -1;
                                 55         [ +  + ]:            280 :     for (; n > 0; n--) {
                                 56         [ -  + ]:            140 :         if (c <= limit) return -1;
                                 57                 :            140 :         b = p[--c];
                                 58         [ -  + ]:            140 :         if (b >= 0x80) {   /* 1000 0000 */
 1150 peter@eisentraut.org       59         [ #  # ]:UBC           0 :             while (c > limit) {
                                 60                 :              0 :                 b = p[c];
                                 61         [ #  # ]:              0 :                 if (b >= 0xC0) break; /* 1100 0000 */
                                 62                 :              0 :                 c--;
                                 63                 :                :             }
                                 64                 :                :         }
                                 65                 :                :     }
 6081 tgl@sss.pgh.pa.us          66                 :CBC         140 :     return c;
                                 67                 :                : }
                                 68                 :                : 
                                 69                 :                : /* Code for character groupings: utf8 cases */
                                 70                 :                : 
                                 71                 :          33676 : static int get_utf8(const symbol * p, int c, int l, int * slot) {
                                 72                 :                :     int b0, b1, b2;
                                 73         [ +  + ]:          33676 :     if (c >= l) return 0;
                                 74                 :          28516 :     b0 = p[c++];
                                 75   [ -  +  -  - ]:          28516 :     if (b0 < 0xC0 || c == l) {   /* 1100 0000 */
 1746 peter@eisentraut.org       76                 :          28516 :         *slot = b0;
                                 77                 :          28516 :         return 1;
                                 78                 :                :     }
 1746 peter@eisentraut.org       79                 :UBC           0 :     b1 = p[c++] & 0x3F;
 6081 tgl@sss.pgh.pa.us          80   [ #  #  #  # ]:              0 :     if (b0 < 0xE0 || c == l) {   /* 1110 0000 */
 1746 peter@eisentraut.org       81                 :              0 :         *slot = (b0 & 0x1F) << 6 | b1;
                                 82                 :              0 :         return 2;
                                 83                 :                :     }
                                 84                 :              0 :     b2 = p[c++] & 0x3F;
                                 85   [ #  #  #  # ]:              0 :     if (b0 < 0xF0 || c == l) {   /* 1111 0000 */
                                 86                 :              0 :         *slot = (b0 & 0xF) << 12 | b1 << 6 | b2;
                                 87                 :              0 :         return 3;
                                 88                 :                :     }
 1150                            89                 :              0 :     *slot = (b0 & 0x7) << 18 | b1 << 12 | b2 << 6 | (p[c] & 0x3F);
 1746                            90                 :              0 :     return 4;
                                 91                 :                : }
                                 92                 :                : 
 6081 tgl@sss.pgh.pa.us          93                 :CBC        2106 : static int get_b_utf8(const symbol * p, int c, int lb, int * slot) {
                                 94                 :                :     int a, b;
                                 95         [ +  + ]:           2106 :     if (c <= lb) return 0;
 1746 peter@eisentraut.org       96                 :           2049 :     b = p[--c];
                                 97   [ -  +  -  - ]:           2049 :     if (b < 0x80 || c == lb) {   /* 1000 0000 */
                                 98                 :           2049 :         *slot = b;
                                 99                 :           2049 :         return 1;
                                100                 :                :     }
 1746 peter@eisentraut.org      101                 :UBC           0 :     a = b & 0x3F;
                                102                 :              0 :     b = p[--c];
                                103   [ #  #  #  # ]:              0 :     if (b >= 0xC0 || c == lb) {   /* 1100 0000 */
                                104                 :              0 :         *slot = (b & 0x1F) << 6 | a;
                                105                 :              0 :         return 2;
                                106                 :                :     }
                                107                 :              0 :     a |= (b & 0x3F) << 6;
                                108                 :              0 :     b = p[--c];
                                109   [ #  #  #  # ]:              0 :     if (b >= 0xE0 || c == lb) {   /* 1110 0000 */
                                110                 :              0 :         *slot = (b & 0xF) << 12 | a;
                                111                 :              0 :         return 3;
                                112                 :                :     }
 1150                           113                 :              0 :     *slot = (p[--c] & 0x7) << 18 | (b & 0x3F) << 12 | a;
 1746                           114                 :              0 :     return 4;
                                115                 :                : }
                                116                 :                : 
 6081 tgl@sss.pgh.pa.us         117                 :CBC       22120 : extern int in_grouping_U(struct SN_env * z, const unsigned char * s, int min, int max, int repeat) {
                                118                 :                :     do {
                                119                 :                :         int ch;
 1406 peter@eisentraut.org      120                 :          22954 :         int w = get_utf8(z->p, z->c, z->l, & ch);
                                121         [ +  + ]:          35660 :         if (!w) return -1;
                                122   [ +  +  +  +  :          19264 :         if (ch > max || (ch -= min) < 0 || (s[ch >> 3] & (0X1 << (ch & 0X7))) == 0)
                                              +  + ]
                                123                 :          12706 :             return w;
                                124                 :           6558 :         z->c += w;
 6081 tgl@sss.pgh.pa.us         125         [ +  + ]:           6558 :     } while (repeat);
                                126                 :           5724 :     return 0;
                                127                 :                : }
                                128                 :                : 
                                129                 :            403 : extern int in_grouping_b_U(struct SN_env * z, const unsigned char * s, int min, int max, int repeat) {
                                130                 :                :     do {
                                131                 :                :         int ch;
 1406 peter@eisentraut.org      132                 :            403 :         int w = get_b_utf8(z->p, z->c, z->lb, & ch);
                                133         [ -  + ]:            607 :         if (!w) return -1;
                                134   [ +  -  +  -  :            403 :         if (ch > max || (ch -= min) < 0 || (s[ch >> 3] & (0X1 << (ch & 0X7))) == 0)
                                              +  + ]
                                135                 :            204 :             return w;
                                136                 :            199 :         z->c -= w;
 6081 tgl@sss.pgh.pa.us         137         [ -  + ]:            199 :     } while (repeat);
                                138                 :            199 :     return 0;
                                139                 :                : }
                                140                 :                : 
                                141                 :           5634 : extern int out_grouping_U(struct SN_env * z, const unsigned char * s, int min, int max, int repeat) {
                                142                 :                :     do {
                                143                 :                :         int ch;
 1406 peter@eisentraut.org      144                 :          10722 :         int w = get_utf8(z->p, z->c, z->l, & ch);
                                145         [ +  + ]:          14886 :         if (!w) return -1;
                                146   [ +  -  +  +  :           9252 :         if (!(ch > max || (ch -= min) < 0 || (s[ch >> 3] & (0X1 << (ch & 0X7))) == 0))
                                              +  + ]
                                147                 :           4164 :             return w;
                                148                 :           5088 :         z->c += w;
 6081 tgl@sss.pgh.pa.us         149         [ +  - ]:           5088 :     } while (repeat);
 6081 tgl@sss.pgh.pa.us         150                 :UBC           0 :     return 0;
                                151                 :                : }
                                152                 :                : 
 6081 tgl@sss.pgh.pa.us         153                 :CBC        1255 : extern int out_grouping_b_U(struct SN_env * z, const unsigned char * s, int min, int max, int repeat) {
                                154                 :                :     do {
                                155                 :                :         int ch;
 1406 peter@eisentraut.org      156                 :           1703 :         int w = get_b_utf8(z->p, z->c, z->lb, & ch);
                                157         [ +  + ]:           2288 :         if (!w) return -1;
                                158   [ +  -  +  +  :           1646 :         if (!(ch > max || (ch -= min) < 0 || (s[ch >> 3] & (0X1 << (ch & 0X7))) == 0))
                                              +  + ]
                                159                 :            585 :             return w;
                                160                 :           1061 :         z->c -= w;
 6081 tgl@sss.pgh.pa.us         161         [ +  + ]:           1061 :     } while (repeat);
                                162                 :            613 :     return 0;
                                163                 :                : }
                                164                 :                : 
                                165                 :                : /* Code for character groupings: non-utf8 cases */
                                166                 :                : 
 6081 tgl@sss.pgh.pa.us         167                 :UBC           0 : extern int in_grouping(struct SN_env * z, const unsigned char * s, int min, int max, int repeat) {
                                168                 :                :     do {
                                169                 :                :         int ch;
 1406 peter@eisentraut.org      170         [ #  # ]:              0 :         if (z->c >= z->l) return -1;
                                171                 :              0 :         ch = z->p[z->c];
                                172   [ #  #  #  #  :              0 :         if (ch > max || (ch -= min) < 0 || (s[ch >> 3] & (0X1 << (ch & 0X7))) == 0)
                                              #  # ]
                                173                 :              0 :             return 1;
                                174                 :              0 :         z->c++;
 6081 tgl@sss.pgh.pa.us         175         [ #  # ]:              0 :     } while (repeat);
                                176                 :              0 :     return 0;
                                177                 :                : }
                                178                 :                : 
                                179                 :              0 : extern int in_grouping_b(struct SN_env * z, const unsigned char * s, int min, int max, int repeat) {
                                180                 :                :     do {
                                181                 :                :         int ch;
 1406 peter@eisentraut.org      182         [ #  # ]:              0 :         if (z->c <= z->lb) return -1;
                                183                 :              0 :         ch = z->p[z->c - 1];
                                184   [ #  #  #  #  :              0 :         if (ch > max || (ch -= min) < 0 || (s[ch >> 3] & (0X1 << (ch & 0X7))) == 0)
                                              #  # ]
                                185                 :              0 :             return 1;
                                186                 :              0 :         z->c--;
 6081 tgl@sss.pgh.pa.us         187         [ #  # ]:              0 :     } while (repeat);
                                188                 :              0 :     return 0;
                                189                 :                : }
                                190                 :                : 
                                191                 :              0 : extern int out_grouping(struct SN_env * z, const unsigned char * s, int min, int max, int repeat) {
                                192                 :                :     do {
                                193                 :                :         int ch;
 1406 peter@eisentraut.org      194         [ #  # ]:              0 :         if (z->c >= z->l) return -1;
                                195                 :              0 :         ch = z->p[z->c];
                                196   [ #  #  #  #  :              0 :         if (!(ch > max || (ch -= min) < 0 || (s[ch >> 3] & (0X1 << (ch & 0X7))) == 0))
                                              #  # ]
                                197                 :              0 :             return 1;
                                198                 :              0 :         z->c++;
 6081 tgl@sss.pgh.pa.us         199         [ #  # ]:              0 :     } while (repeat);
                                200                 :              0 :     return 0;
                                201                 :                : }
                                202                 :                : 
                                203                 :              0 : extern int out_grouping_b(struct SN_env * z, const unsigned char * s, int min, int max, int repeat) {
                                204                 :                :     do {
                                205                 :                :         int ch;
 1406 peter@eisentraut.org      206         [ #  # ]:              0 :         if (z->c <= z->lb) return -1;
                                207                 :              0 :         ch = z->p[z->c - 1];
                                208   [ #  #  #  #  :              0 :         if (!(ch > max || (ch -= min) < 0 || (s[ch >> 3] & (0X1 << (ch & 0X7))) == 0))
                                              #  # ]
                                209                 :              0 :             return 1;
                                210                 :              0 :         z->c--;
 6081 tgl@sss.pgh.pa.us         211         [ #  # ]:              0 :     } while (repeat);
                                212                 :              0 :     return 0;
                                213                 :                : }
                                214                 :                : 
                                215                 :              0 : extern int eq_s(struct SN_env * z, int s_size, const symbol * s) {
                                216   [ #  #  #  # ]:              0 :     if (z->l - z->c < s_size || memcmp(z->p + z->c, s, s_size * sizeof(symbol)) != 0) return 0;
                                217                 :              0 :     z->c += s_size; return 1;
                                218                 :                : }
                                219                 :                : 
                                220                 :              0 : extern int eq_s_b(struct SN_env * z, int s_size, const symbol * s) {
                                221   [ #  #  #  # ]:              0 :     if (z->c - z->lb < s_size || memcmp(z->p + z->c - s_size, s, s_size * sizeof(symbol)) != 0) return 0;
                                222                 :              0 :     z->c -= s_size; return 1;
                                223                 :                : }
                                224                 :                : 
                                225                 :              0 : extern int eq_v(struct SN_env * z, const symbol * p) {
                                226                 :              0 :     return eq_s(z, SIZE(p), p);
                                227                 :                : }
                                228                 :                : 
                                229                 :              0 : extern int eq_v_b(struct SN_env * z, const symbol * p) {
                                230                 :              0 :     return eq_s_b(z, SIZE(p), p);
                                231                 :                : }
                                232                 :                : 
 6081 tgl@sss.pgh.pa.us         233                 :CBC        2008 : extern int find_among(struct SN_env * z, const struct among * v, int v_size) {
                                234                 :                : 
                                235                 :           2008 :     int i = 0;
                                236                 :           2008 :     int j = v_size;
                                237                 :                : 
                                238                 :           2008 :     int c = z->c; int l = z->l;
 1150 peter@eisentraut.org      239                 :           2008 :     const symbol * q = z->p + c;
                                240                 :                : 
                                241                 :                :     const struct among * w;
                                242                 :                : 
 6081 tgl@sss.pgh.pa.us         243                 :           2008 :     int common_i = 0;
                                244                 :           2008 :     int common_j = 0;
                                245                 :                : 
                                246                 :           2008 :     int first_key_inspected = 0;
                                247                 :                : 
 1406 peter@eisentraut.org      248                 :           5344 :     while (1) {
 6081 tgl@sss.pgh.pa.us         249                 :           7352 :         int k = i + ((j - i) >> 1);
                                250                 :           7352 :         int diff = 0;
                                251                 :           7352 :         int common = common_i < common_j ? common_i : common_j; /* smaller */
                                252                 :           7352 :         w = v + k;
                                253                 :                :         {
                                254         [ +  + ]:           9339 :             int i2; for (i2 = common; i2 < w->s_size; i2++) {
                                255         [ +  + ]:           9321 :                 if (c + common == l) { diff = -1; break; }
                                256                 :           9285 :                 diff = q[common] - w->s[i2];
                                257         [ +  + ]:           9285 :                 if (diff != 0) break;
                                258                 :           1987 :                 common++;
                                259                 :                :             }
                                260                 :                :         }
 1746 peter@eisentraut.org      261         [ +  + ]:           7352 :         if (diff < 0) {
                                262                 :           3315 :             j = k;
                                263                 :           3315 :             common_j = common;
                                264                 :                :         } else {
                                265                 :           4037 :             i = k;
                                266                 :           4037 :             common_i = common;
                                267                 :                :         }
 6081 tgl@sss.pgh.pa.us         268         [ +  + ]:           7352 :         if (j - i <= 1) {
                                269         [ +  + ]:           2173 :             if (i > 0) break; /* v->s has been inspected */
                                270         [ +  + ]:            330 :             if (j == i) break; /* only one item in v */
                                271                 :                : 
                                272                 :                :             /* - but now we need to go round once more to get
                                273                 :                :                v->s inspected. This looks messy, but is actually
                                274                 :                :                the optimal approach.  */
                                275                 :                : 
                                276         [ +  + ]:            252 :             if (first_key_inspected) break;
                                277                 :            165 :             first_key_inspected = 1;
                                278                 :                :         }
                                279                 :                :     }
                                280                 :                :     while (1) {
                                281                 :           2008 :         w = v + i;
                                282         [ +  + ]:           2008 :         if (common_i >= w->s_size) {
                                283                 :             18 :             z->c = c + w->s_size;
                                284         [ +  - ]:             18 :             if (w->function == 0) return w->result;
                                285                 :                :             {
 6081 tgl@sss.pgh.pa.us         286                 :UBC           0 :                 int res = w->function(z);
                                287                 :              0 :                 z->c = c + w->s_size;
                                288         [ #  # ]:              0 :                 if (res) return w->result;
                                289                 :                :             }
                                290                 :                :         }
 6081 tgl@sss.pgh.pa.us         291                 :CBC        1990 :         i = w->substring_i;
                                292         [ +  - ]:           1990 :         if (i < 0) return 0;
                                293                 :                :     }
                                294                 :                : }
                                295                 :                : 
                                296                 :                : /* find_among_b is for backwards processing. Same comments apply */
                                297                 :                : 
                                298                 :           5310 : extern int find_among_b(struct SN_env * z, const struct among * v, int v_size) {
                                299                 :                : 
                                300                 :           5310 :     int i = 0;
                                301                 :           5310 :     int j = v_size;
                                302                 :                : 
                                303                 :           5310 :     int c = z->c; int lb = z->lb;
 1150 peter@eisentraut.org      304                 :           5310 :     const symbol * q = z->p + c - 1;
                                305                 :                : 
                                306                 :                :     const struct among * w;
                                307                 :                : 
 6081 tgl@sss.pgh.pa.us         308                 :           5310 :     int common_i = 0;
                                309                 :           5310 :     int common_j = 0;
                                310                 :                : 
                                311                 :           5310 :     int first_key_inspected = 0;
                                312                 :                : 
 1406 peter@eisentraut.org      313                 :          14037 :     while (1) {
 6081 tgl@sss.pgh.pa.us         314                 :          19347 :         int k = i + ((j - i) >> 1);
                                315                 :          19347 :         int diff = 0;
                                316                 :          19347 :         int common = common_i < common_j ? common_i : common_j;
                                317                 :          19347 :         w = v + k;
                                318                 :                :         {
                                319         [ +  + ]:          30661 :             int i2; for (i2 = w->s_size - 1 - common; i2 >= 0; i2--) {
                                320         [ +  + ]:          29607 :                 if (c - common == lb) { diff = -1; break; }
                                321                 :          29589 :                 diff = q[- common] - w->s[i2];
                                322         [ +  + ]:          29589 :                 if (diff != 0) break;
                                323                 :          11314 :                 common++;
                                324                 :                :             }
                                325                 :                :         }
                                326         [ +  + ]:          19347 :         if (diff < 0) { j = k; common_j = common; }
                                327                 :           9438 :                  else { i = k; common_i = common; }
                                328         [ +  + ]:          19347 :         if (j - i <= 1) {
                                329         [ +  + ]:           6481 :             if (i > 0) break;
                                330         [ +  + ]:           2342 :             if (j == i) break;
                                331         [ +  + ]:           1841 :             if (first_key_inspected) break;
                                332                 :           1171 :             first_key_inspected = 1;
                                333                 :                :         }
                                334                 :                :     }
                                335                 :                :     while (1) {
                                336                 :           6833 :         w = v + i;
                                337         [ +  + ]:           6833 :         if (common_i >= w->s_size) {
                                338                 :           1399 :             z->c = c - w->s_size;
                                339         [ +  - ]:           1399 :             if (w->function == 0) return w->result;
                                340                 :                :             {
 6081 tgl@sss.pgh.pa.us         341                 :UBC           0 :                 int res = w->function(z);
                                342                 :              0 :                 z->c = c - w->s_size;
                                343         [ #  # ]:              0 :                 if (res) return w->result;
                                344                 :                :             }
                                345                 :                :         }
 6081 tgl@sss.pgh.pa.us         346                 :CBC        5434 :         i = w->substring_i;
                                347         [ +  + ]:           5434 :         if (i < 0) return 0;
                                348                 :                :     }
                                349                 :                : }
                                350                 :                : 
                                351                 :                : 
                                352                 :                : /* Increase the size of the buffer pointed to by p to at least n symbols.
                                353                 :                :  * If insufficient memory, returns NULL and frees the old buffer.
                                354                 :                :  */
                                355                 :             19 : static symbol * increase_size(symbol * p, int n) {
                                356                 :                :     symbol * q;
                                357                 :             19 :     int new_size = n + 20;
                                358                 :             19 :     void * mem = realloc((char *) p - HEAD,
                                359                 :                :                          HEAD + (new_size + 1) * sizeof(symbol));
                                360         [ -  + ]:             19 :     if (mem == NULL) {
 6081 tgl@sss.pgh.pa.us         361                 :UBC           0 :         lose_s(p);
                                362                 :              0 :         return NULL;
                                363                 :                :     }
 6081 tgl@sss.pgh.pa.us         364                 :CBC          19 :     q = (symbol *) (HEAD + (char *)mem);
                                365                 :             19 :     CAPACITY(q) = new_size;
                                366                 :             19 :     return q;
                                367                 :                : }
                                368                 :                : 
                                369                 :                : /* to replace symbols between c_bra and c_ket in z->p by the
                                370                 :                :    s_size symbols at s.
                                371                 :                :    Returns 0 on success, -1 on error.
                                372                 :                :    Also, frees z->p (and sets it to NULL) on error.
                                373                 :                : */
                                374                 :           4755 : extern int replace_s(struct SN_env * z, int c_bra, int c_ket, int s_size, const symbol * s, int * adjptr)
                                375                 :                : {
                                376                 :                :     int adjustment;
                                377                 :                :     int len;
                                378         [ -  + ]:           4755 :     if (z->p == NULL) {
 6081 tgl@sss.pgh.pa.us         379                 :UBC           0 :         z->p = create_s();
                                380         [ #  # ]:              0 :         if (z->p == NULL) return -1;
                                381                 :                :     }
 6081 tgl@sss.pgh.pa.us         382                 :CBC        4755 :     adjustment = s_size - (c_ket - c_bra);
                                383                 :           4755 :     len = SIZE(z->p);
                                384         [ +  + ]:           4755 :     if (adjustment != 0) {
                                385         [ +  + ]:           2448 :         if (adjustment + len > CAPACITY(z->p)) {
                                386                 :             19 :             z->p = increase_size(z->p, adjustment + len);
                                387         [ -  + ]:             19 :             if (z->p == NULL) return -1;
                                388                 :                :         }
                                389                 :           2448 :         memmove(z->p + c_ket + adjustment,
                                390                 :           2448 :                 z->p + c_ket,
                                391                 :           2448 :                 (len - c_ket) * sizeof(symbol));
                                392                 :           2448 :         SET_SIZE(z->p, adjustment + len);
                                393                 :           2448 :         z->l += adjustment;
                                394         [ +  + ]:           2448 :         if (z->c >= c_ket)
                                395                 :             55 :             z->c += adjustment;
 1746 peter@eisentraut.org      396         [ -  + ]:           2393 :         else if (z->c > c_bra)
 1746 peter@eisentraut.org      397                 :UBC           0 :             z->c = c_bra;
                                398                 :                :     }
 2029 tgl@sss.pgh.pa.us         399         [ +  + ]:CBC        4755 :     if (s_size) memmove(z->p + c_bra, s, s_size * sizeof(symbol));
 6081                           400         [ +  + ]:           4755 :     if (adjptr != NULL)
                                401                 :              3 :         *adjptr = adjustment;
                                402                 :           4755 :     return 0;
                                403                 :                : }
                                404                 :                : 
                                405                 :           1351 : static int slice_check(struct SN_env * z) {
                                406                 :                : 
                                407         [ +  - ]:           1351 :     if (z->bra < 0 ||
                                408         [ +  - ]:           1351 :         z->bra > z->ket ||
                                409         [ +  - ]:           1351 :         z->ket > z->l ||
                                410         [ +  - ]:           1351 :         z->p == NULL ||
                                411         [ -  + ]:           1351 :         z->l > SIZE(z->p)) /* this line could be removed */
                                412                 :                :     {
                                413                 :                : #if 0
                                414                 :                :         fprintf(stderr, "faulty slice operation:\n");
                                415                 :                :         debug(z, -1, 0);
                                416                 :                : #endif
 6081 tgl@sss.pgh.pa.us         417                 :UBC           0 :         return -1;
                                418                 :                :     }
 6081 tgl@sss.pgh.pa.us         419                 :CBC        1351 :     return 0;
                                420                 :                : }
                                421                 :                : 
                                422                 :           1351 : extern int slice_from_s(struct SN_env * z, int s_size, const symbol * s) {
                                423         [ -  + ]:           1351 :     if (slice_check(z)) return -1;
                                424                 :           1351 :     return replace_s(z, z->bra, z->ket, s_size, s, NULL);
                                425                 :                : }
                                426                 :                : 
 6081 tgl@sss.pgh.pa.us         427                 :UBC           0 : extern int slice_from_v(struct SN_env * z, const symbol * p) {
                                428                 :              0 :     return slice_from_s(z, SIZE(p), p);
                                429                 :                : }
                                430                 :                : 
 6081 tgl@sss.pgh.pa.us         431                 :CBC         599 : extern int slice_del(struct SN_env * z) {
                                432                 :            599 :     return slice_from_s(z, 0, 0);
                                433                 :                : }
                                434                 :                : 
                                435                 :              3 : extern int insert_s(struct SN_env * z, int bra, int ket, int s_size, const symbol * s) {
                                436                 :                :     int adjustment;
                                437         [ -  + ]:              3 :     if (replace_s(z, bra, ket, s_size, s, &adjustment))
 6081 tgl@sss.pgh.pa.us         438                 :UBC           0 :         return -1;
 6081 tgl@sss.pgh.pa.us         439         [ +  - ]:CBC           3 :     if (bra <= z->bra) z->bra += adjustment;
                                440         [ +  - ]:              3 :     if (bra <= z->ket) z->ket += adjustment;
                                441                 :              3 :     return 0;
                                442                 :                : }
                                443                 :                : 
 6081 tgl@sss.pgh.pa.us         444                 :UBC           0 : extern int insert_v(struct SN_env * z, int bra, int ket, const symbol * p) {
 2029                           445                 :              0 :     return insert_s(z, bra, ket, SIZE(p), p);
                                446                 :                : }
                                447                 :                : 
 6081                           448                 :              0 : extern symbol * slice_to(struct SN_env * z, symbol * p) {
                                449         [ #  # ]:              0 :     if (slice_check(z)) {
                                450                 :              0 :         lose_s(p);
                                451                 :              0 :         return NULL;
                                452                 :                :     }
                                453                 :                :     {
                                454                 :              0 :         int len = z->ket - z->bra;
                                455         [ #  # ]:              0 :         if (CAPACITY(p) < len) {
                                456                 :              0 :             p = increase_size(p, len);
                                457         [ #  # ]:              0 :             if (p == NULL)
                                458                 :              0 :                 return NULL;
                                459                 :                :         }
                                460                 :              0 :         memmove(p, z->p + z->bra, len * sizeof(symbol));
                                461                 :              0 :         SET_SIZE(p, len);
                                462                 :                :     }
                                463                 :              0 :     return p;
                                464                 :                : }
                                465                 :                : 
                                466                 :              0 : extern symbol * assign_to(struct SN_env * z, symbol * p) {
                                467                 :              0 :     int len = z->l;
                                468         [ #  # ]:              0 :     if (CAPACITY(p) < len) {
                                469                 :              0 :         p = increase_size(p, len);
                                470         [ #  # ]:              0 :         if (p == NULL)
                                471                 :              0 :             return NULL;
                                472                 :                :     }
                                473                 :              0 :     memmove(p, z->p, len * sizeof(symbol));
                                474                 :              0 :     SET_SIZE(p, len);
                                475                 :              0 :     return p;
                                476                 :                : }
                                477                 :                : 
 2029                           478                 :              0 : extern int len_utf8(const symbol * p) {
                                479                 :              0 :     int size = SIZE(p);
                                480                 :              0 :     int len = 0;
                                481         [ #  # ]:              0 :     while (size--) {
                                482                 :              0 :         symbol b = *p++;
                                483   [ #  #  #  # ]:              0 :         if (b >= 0xC0 || b < 0x80) ++len;
                                484                 :                :     }
                                485                 :              0 :     return len;
                                486                 :                : }
                                487                 :                : 
                                488                 :                : #if 0
                                489                 :                : extern void debug(struct SN_env * z, int number, int line_count) {
                                490                 :                :     int i;
                                491                 :                :     int limit = SIZE(z->p);
                                492                 :                :     /*if (number >= 0) printf("%3d (line %4d): '", number, line_count);*/
                                493                 :                :     if (number >= 0) printf("%3d (line %4d): [%d]'", number, line_count,limit);
                                494                 :                :     for (i = 0; i <= limit; i++) {
                                495                 :                :         if (z->lb == i) printf("{");
                                496                 :                :         if (z->bra == i) printf("[");
                                497                 :                :         if (z->c == i) printf("|");
                                498                 :                :         if (z->ket == i) printf("]");
                                499                 :                :         if (z->l == i) printf("}");
                                500                 :                :         if (i < limit)
                                501                 :                :         {   int ch = z->p[i];
                                502                 :                :             if (ch == 0) ch = '#';
                                503                 :                :             printf("%c", ch);
                                504                 :                :         }
                                505                 :                :     }
                                506                 :                :     printf("'\n");
                                507                 :                : }
                                508                 :                : #endif
        

Generated by: LCOV version 2.1-beta2-3-g6141622