Code coverage tests

This page documents the degree to which the PARI/GP source code is tested by our public test suite, distributed with the source distribution in directory src/test/. This is measured by the gcov utility; we then process gcov output using the lcov frond-end.

We test a few variants depending on Configure flags on the pari.math.u-bordeaux1.fr machine (x86_64 architecture), and agregate them in the final report:

The target is 90% coverage for all mathematical modules (given that branches depending on DEBUGLEVEL or DEBUGMEM are not covered). This script is run to produce the results below.

LCOV - code coverage report
Current view: top level - language - default.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.8.0 lcov report (development 16358-a11f489) Lines: 186 451 41.2 %
Date: 2014-04-11 Functions: 26 56 46.4 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 70 309 22.7 %

           Branch data     Line data    Source code
       1                 :            : /* Copyright (C) 2000  The PARI group.
       2                 :            : 
       3                 :            : This file is part of the PARI/GP package.
       4                 :            : 
       5                 :            : PARI/GP is free software; you can redistribute it and/or modify it under the
       6                 :            : terms of the GNU General Public License as published by the Free Software
       7                 :            : Foundation. It is distributed in the hope that it will be useful, but WITHOUT
       8                 :            : ANY WARRANTY WHATSOEVER.
       9                 :            : 
      10                 :            : Check the License for details. You should have received a copy of it, along
      11                 :            : with the package; see the file 'COPYING'. If not, write to the Free Software
      12                 :            : Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */
      13                 :            : #include "pari.h"
      14                 :            : #include "paripriv.h"
      15                 :            : 
      16                 :            : /* Simple-minded parsing utilities. These are forbidden to use the GP stack
      17                 :            :  * which may not exist at this point [e.g upon GP initialization]  */
      18                 :            : 
      19                 :            : #ifdef MAXPATHLEN
      20                 :            : #  define GET_SEP_SIZE MAXPATHLEN
      21                 :            : #else
      22                 :            : #  define GET_SEP_SIZE 128
      23                 :            : #endif
      24                 :            : 
      25                 :            : /* Return all chars, up to next separator
      26                 :            :  * [as strtok but must handle verbatim character string] */
      27                 :            : char*
      28                 :       2004 : get_sep(const char *t)
      29                 :            : {
      30                 :            :   static char buf[GET_SEP_SIZE], *lim = buf + GET_SEP_SIZE;
      31                 :       2004 :   char *s = buf;
      32                 :       2004 :   int outer = 1;
      33                 :            : 
      34                 :            :   for(;;)
      35                 :            :   {
      36   [ -  +  -  +  :       6428 :     switch(*s++ = *t++)
                      + ]
      37                 :            :     {
      38                 :            :       case '"':
      39                 :          0 :         outer = !outer; break;
      40                 :            :       case '\0':
      41                 :       1999 :         return buf;
      42                 :            :       case ';':
      43         [ #  # ]:          0 :         if (outer) { s[-1] = 0; return buf; }
      44                 :          0 :         break;
      45                 :            :       case '\\': /* gobble next char */
      46         [ -  + ]:          5 :         if (s == lim) break;
      47         [ +  - ]:          5 :         if (! (*s++ = *t++) ) return buf;
      48                 :            :     }
      49         [ -  + ]:       4424 :     if (s == lim)
      50                 :          0 :       pari_err(e_MISC,"get_sep: argument too long (< %ld chars)", GET_SEP_SIZE);
      51                 :       6428 :   }
      52                 :            : }
      53                 :            : 
      54                 :            : static ulong
      55                 :          5 : safe_mul(ulong x, ulong y)
      56                 :            : {
      57                 :            :   ulong z;
      58                 :            :   LOCAL_HIREMAINDER;
      59                 :          5 :   z = mulll(x, y);
      60 [ +  - ][ +  - ]:          5 :   return hiremainder? 0: z;
      61                 :            : }
      62                 :            : 
      63                 :            : /* "atoul" + optional [kmg] suffix */
      64                 :            : static ulong
      65                 :       1806 : my_int(char *s)
      66                 :            : {
      67                 :       1806 :   ulong n = 0;
      68                 :       1806 :   char *p = s;
      69                 :            : 
      70         [ +  + ]:       5850 :   while (isdigit((int)*p)) {
      71                 :            :     ulong m;
      72         [ -  + ]:       4044 :     if (n > (~0UL / 10)) pari_err(e_SYNTAX,"integer too large",s,s);
      73                 :       4044 :     n *= 10; m = n;
      74                 :       4044 :     n += *p++ - '0';
      75         [ -  + ]:       4044 :     if (n < m) pari_err(e_SYNTAX,"integer too large",s,s);
      76                 :            :   }
      77         [ +  + ]:       1806 :   if (n)
      78                 :            :   {
      79   [ -  +  -  + ]:       1801 :     switch(*p)
      80                 :            :     {
      81                 :          0 :       case 'k': case 'K': n = safe_mul(n,1000UL);       p++; break;
      82                 :          5 :       case 'm': case 'M': n = safe_mul(n,1000000UL);    p++; break;
      83                 :          0 :       case 'g': case 'G': n = safe_mul(n,1000000000UL); p++; break;
      84                 :            :     }
      85         [ -  + ]:       1801 :     if (!n) pari_err(e_SYNTAX,"integer too large",s,s);
      86                 :            :   }
      87         [ -  + ]:       1806 :   if (*p) pari_err(e_SYNTAX,"I was expecting an integer here", s, s);
      88                 :       1806 :   return n;
      89                 :            : }
      90                 :            : 
      91                 :            : long
      92                 :        143 : get_int(const char *s, long dflt)
      93                 :            : {
      94                 :        143 :   char *p = get_sep(s);
      95                 :            :   long n;
      96                 :        143 :   int minus = 0;
      97                 :            : 
      98         [ -  + ]:        143 :   if (*p == '-') { minus = 1; p++; }
      99         [ -  + ]:        143 :   if (!isdigit((int)*p)) return dflt;
     100                 :            : 
     101                 :        143 :   n = (long)my_int(p);
     102         [ -  + ]:        143 :   if (n < 0) pari_err(e_SYNTAX,"integer too large",s,s);
     103         [ -  + ]:        143 :   return minus? -n: n;
     104                 :            : }
     105                 :            : 
     106                 :            : ulong
     107                 :       1663 : get_uint(const char *s)
     108                 :            : {
     109                 :       1663 :   char *p = get_sep(s);
     110         [ -  + ]:       1663 :   if (*p == '-') pari_err(e_SYNTAX,"arguments must be positive integers",s,s);
     111                 :       1663 :   return my_int(p);
     112                 :            : }
     113                 :            : 
     114                 :            : /********************************************************************/
     115                 :            : /*                                                                  */
     116                 :            : /*                            DEFAULTS                              */
     117                 :            : /*                                                                  */
     118                 :            : /********************************************************************/
     119                 :            : 
     120                 :            : long
     121                 :          0 : getrealprecision(void)
     122                 :            : {
     123                 :          0 :   return GP_DATA->fmt->sigd;
     124                 :            : }
     125                 :            : 
     126                 :            : long
     127                 :          0 : setrealprecision(long n, long *prec)
     128                 :            : {
     129                 :          0 :   GP_DATA->fmt->sigd = n;
     130                 :          0 :   *prec = precreal = ndec2prec(n);
     131                 :          0 :   return n;
     132                 :            : }
     133                 :            : 
     134                 :            : GEN
     135                 :        143 : sd_toggle(const char *v, long flag, const char *s, int *ptn)
     136                 :            : {
     137                 :        143 :   int state = *ptn;
     138         [ +  - ]:        143 :   if (v)
     139                 :            :   {
     140                 :        143 :     int n = (int)get_int(v,0);
     141         [ -  + ]:        143 :     if (n == state) return gnil;
     142         [ -  + ]:        143 :     if (n != !state)
     143                 :            :     {
     144                 :          0 :       char *t = stack_malloc(64 + strlen(s));
     145                 :          0 :       (void)sprintf(t, "default: incorrect value for %s [0:off / 1:on]", s);
     146                 :          0 :       pari_err(e_SYNTAX, t, v,v);
     147                 :            :     }
     148                 :        143 :     state = *ptn = n;
     149                 :            :   }
     150      [ -  +  + ]:        143 :   switch(flag)
     151                 :            :   {
     152                 :          0 :     case d_RETURN: return utoi(state);
     153                 :            :     case d_ACKNOWLEDGE:
     154         [ +  - ]:        108 :       if (state) pari_printf("   %s = 1 (on)\n", s);
     155                 :          0 :       else       pari_printf("   %s = 0 (off)\n", s);
     156                 :        108 :       break;
     157                 :            :   }
     158                 :        143 :   return gnil;
     159                 :            : }
     160                 :            : 
     161                 :            : static void
     162                 :       1663 : sd_ulong_init(const char *v, const char *s, ulong *ptn, ulong Min, ulong Max)
     163                 :            : {
     164         [ +  - ]:       1663 :   if (v)
     165                 :            :   {
     166                 :       1663 :     ulong n = get_uint(v);
     167 [ +  - ][ -  + ]:       1663 :     if (n > Max || n < Min)
     168                 :            :     {
     169                 :          0 :       char *buf = stack_malloc(strlen(s) + 2 * 20 + 40);
     170                 :          0 :       (void)sprintf(buf, "default: incorrect value for %s [%lu-%lu]",
     171                 :            :                     s, Min, Max);
     172                 :          0 :       pari_err(e_SYNTAX, buf, v,v);
     173                 :            :     }
     174                 :       1663 :     *ptn = n;
     175                 :            :   }
     176                 :       1663 : }
     177                 :            : 
     178                 :            : /* msg is NULL or NULL-terminated array with msg[0] != NULL. */
     179                 :            : GEN
     180                 :         55 : sd_ulong(const char *v, long flag, const char *s, ulong *ptn, ulong Min, ulong Max,
     181                 :            :          const char **msg)
     182                 :            : {
     183                 :         55 :   ulong n = *ptn;
     184                 :         55 :   sd_ulong_init(v, s, ptn, Min, Max);
     185      [ -  -  + ]:         55 :   switch(flag)
     186                 :            :   {
     187                 :            :     case d_RETURN:
     188                 :          0 :       return utoi(*ptn);
     189                 :            :     case d_ACKNOWLEDGE:
     190 [ #  # ][ #  # ]:          0 :       if (!v || *ptn != n) {
     191         [ #  # ]:          0 :         if (!msg)         /* no specific message */
     192                 :          0 :           pari_printf("   %s = %lu\n", s, *ptn);
     193         [ #  # ]:          0 :         else if (!msg[1]) /* single message, always printed */
     194                 :          0 :           pari_printf("   %s = %lu %s\n", s, *ptn, msg[0]);
     195                 :            :         else              /* print (new)-n-th message */
     196                 :          0 :           pari_printf("   %s = %lu %s\n", s, *ptn, msg[*ptn]);
     197                 :            :       }
     198                 :          0 :       break;
     199                 :            :   }
     200                 :         55 :   return gnil;
     201                 :            : }
     202                 :            : 
     203                 :            : GEN
     204                 :       1608 : sd_realprecision(const char *v, long flag)
     205                 :            : {
     206                 :       1608 :   pariout_t *fmt = GP_DATA->fmt;
     207         [ +  - ]:       1608 :   if (v)
     208                 :            :   {
     209                 :       1608 :     ulong newnb = fmt->sigd, prec;
     210                 :       1608 :     sd_ulong_init(v, "realprecision", &newnb, 1, prec2ndec(LGBITS));
     211         [ +  + ]:       1608 :     if (fmt->sigd == (long)newnb) return gnil;
     212         [ +  - ]:       1408 :     if (fmt->sigd >= 0) fmt->sigd = newnb;
     213                 :       1408 :     prec = (ulong)ndec2prec(newnb);
     214         [ +  + ]:       1408 :     if (prec == precreal) return gnil;
     215                 :       1608 :     precreal = prec;
     216                 :            :   }
     217         [ -  + ]:       1404 :   if (flag == d_RETURN) return stoi(prec2ndec(precreal));
     218         [ +  + ]:       1404 :   if (flag == d_ACKNOWLEDGE)
     219                 :            :   {
     220                 :        155 :     long n = prec2ndec(precreal);
     221                 :        155 :     pari_printf("   realprecision = %ld significant digits", n);
     222         [ -  + ]:        155 :     if (fmt->sigd < 0)
     223                 :          0 :       pari_puts(" (all digits displayed)");
     224         [ +  + ]:        155 :     else if (n != fmt->sigd)
     225                 :         20 :       pari_printf(" (%ld digits displayed)", fmt->sigd);
     226                 :        155 :     pari_putc('\n');
     227                 :            :   }
     228                 :       1608 :   return gnil;
     229                 :            : }
     230                 :            : 
     231                 :            : GEN
     232                 :         15 : sd_seriesprecision(const char *v, long flag)
     233                 :            : {
     234                 :         15 :   const char *msg[] = {"significant terms", NULL};
     235                 :         15 :   return sd_ulong(v,flag,"seriesprecision",&precdl, 1,LGBITS,msg);
     236                 :            : }
     237                 :            : 
     238                 :            : static long
     239                 :          0 : gp_get_color(char **st)
     240                 :            : {
     241                 :          0 :   char *s, *v = *st;
     242                 :            :   int trans;
     243                 :            :   long c;
     244         [ #  # ]:          0 :   if (isdigit((int)*v))
     245                 :          0 :     { c = atol(v); trans = 1; } /* color on transparent background */
     246                 :            :   else
     247                 :            :   {
     248         [ #  # ]:          0 :     if (*v == '[')
     249                 :            :     {
     250                 :            :       const char *a[3];
     251                 :          0 :       long i = 0;
     252 [ #  # ][ #  # ]:          0 :       for (a[0] = s = ++v; *s && *s != ']'; s++)
     253         [ #  # ]:          0 :         if (*s == ',') { *s = 0; a[++i] = s+1; }
     254         [ #  # ]:          0 :       if (*s != ']') pari_err(e_SYNTAX,"expected character: ']'",s, *st);
     255         [ #  # ]:          0 :       *s = 0; for (i++; i<3; i++) a[i] = "";
     256                 :            :       /*    properties    |   color    | background */
     257                 :          0 :       c = (atoi(a[2])<<8) | atoi(a[0]) | (atoi(a[1])<<4);
     258                 :          0 :       trans = (*(a[1]) == 0);
     259                 :          0 :       v = s + 1;
     260                 :            :     }
     261                 :          0 :     else { c = c_NONE; trans = 0; }
     262                 :            :   }
     263         [ #  # ]:          0 :   if (trans) c = c | (1L<<12);
     264 [ #  # ][ #  # ]:          0 :   while (*v && *v++ != ',') /* empty */;
     265         [ #  # ]:          0 :   if (c != c_NONE) disable_color = 0;
     266                 :          0 :   *st = v; return c;
     267                 :            : }
     268                 :            : 
     269                 :            : /* 1: error, 2: history, 3: prompt, 4: input, 5: output, 6: help, 7: timer */
     270                 :            : GEN
     271                 :          0 : sd_colors(const char *v, long flag)
     272                 :            : {
     273                 :            :   long c,l;
     274 [ #  # ][ #  # ]:          0 :   if (v && !(GP_DATA->flags & (gpd_EMACS|gpd_TEXMACS)))
     275                 :            :   {
     276                 :            :     char *v0, *s;
     277                 :          0 :     disable_color=1;
     278                 :          0 :     l = strlen(v);
     279 [ #  # ][ #  # ]:          0 :     if (l <= 2 && strncmp(v, "no", l) == 0)
     280                 :          0 :       v = "";
     281 [ #  # ][ #  # ]:          0 :     if (l <= 6 && strncmp(v, "darkbg", l) == 0)
     282                 :          0 :       v = "1, 5, 3, 7, 6, 2, 3"; /* Assume recent ReadLine. */
     283 [ #  # ][ #  # ]:          0 :     if (l <= 7 && strncmp(v, "lightbg", l) == 0)
     284                 :          0 :       v = "1, 6, 3, 4, 5, 2, 3"; /* Assume recent ReadLine. */
     285 [ #  # ][ #  # ]:          0 :     if (l <= 8 && strncmp(v, "brightfg", l) == 0)      /* Good for windows consoles */
     286                 :          0 :       v = "9, 13, 11, 15, 14, 10, 11";
     287 [ #  # ][ #  # ]:          0 :     if (l <= 6 && strncmp(v, "boldfg", l) == 0)        /* Good for darkbg consoles */
     288                 :          0 :       v = "[1,,1], [5,,1], [3,,1], [7,,1], [6,,1], , [2,,1]";
     289                 :          0 :     v0 = s = filtre(v, 0);
     290         [ #  # ]:          0 :     for (c=c_ERR; c < c_LAST; c++)
     291                 :          0 :       gp_colors[c] = gp_get_color(&s);
     292                 :          0 :     pari_free(v0);
     293                 :            :   }
     294 [ #  # ][ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE || flag == d_RETURN)
     295                 :            :   {
     296                 :          0 :     char s[128], *t = s;
     297                 :            :     long col[3], n;
     298         [ #  # ]:          0 :     for (*t=0,c=c_ERR; c < c_LAST; c++)
     299                 :            :     {
     300                 :          0 :       n = gp_colors[c];
     301         [ #  # ]:          0 :       if (n == c_NONE)
     302                 :          0 :         sprintf(t,"no");
     303                 :            :       else
     304                 :            :       {
     305                 :          0 :         decode_color(n,col);
     306         [ #  # ]:          0 :         if (n & (1L<<12))
     307                 :            :         {
     308         [ #  # ]:          0 :           if (col[0])
     309                 :          0 :             sprintf(t,"[%ld,,%ld]",col[1],col[0]);
     310                 :            :           else
     311                 :          0 :             sprintf(t,"%ld",col[1]);
     312                 :            :         }
     313                 :            :         else
     314                 :          0 :           sprintf(t,"[%ld,%ld,%ld]",col[1],col[2],col[0]);
     315                 :            :       }
     316                 :          0 :       t += strlen(t);
     317         [ #  # ]:          0 :       if (c < c_LAST - 1) { *t++=','; *t++=' '; }
     318                 :            :     }
     319         [ #  # ]:          0 :     if (flag==d_RETURN) return strtoGENstr(s);
     320                 :          0 :     pari_printf("   colors = \"%s\"\n",s);
     321                 :            :   }
     322                 :          0 :   return gnil;
     323                 :            : }
     324                 :            : 
     325                 :            : GEN
     326                 :          0 : sd_format(const char *v, long flag)
     327                 :            : {
     328                 :          0 :   pariout_t *fmt = GP_DATA->fmt;
     329         [ #  # ]:          0 :   if (v)
     330                 :            :   {
     331                 :          0 :     char c = *v;
     332 [ #  # ][ #  # ]:          0 :     if (c!='e' && c!='f' && c!='g')
                 [ #  # ]
     333                 :          0 :       pari_err(e_SYNTAX,"default: inexistent format",v,v);
     334                 :          0 :     fmt->format = c; v++;
     335                 :            : 
     336         [ #  # ]:          0 :     if (isdigit((int)*v))
     337         [ #  # ]:          0 :       { while (isdigit((int)*v)) v++; } /* FIXME: skip obsolete field width */
     338         [ #  # ]:          0 :     if (*v++ == '.')
     339                 :            :     {
     340         [ #  # ]:          0 :       if (*v == '-') fmt->sigd = -1;
     341                 :            :       else
     342         [ #  # ]:          0 :         if (isdigit((int)*v)) fmt->sigd=atol(v);
     343                 :            :     }
     344                 :            :   }
     345         [ #  # ]:          0 :   if (flag == d_RETURN)
     346                 :            :   {
     347                 :          0 :     char *s = stack_malloc(64);
     348                 :          0 :     (void)sprintf(s, "%c.%ld", fmt->format, fmt->sigd);
     349                 :          0 :     return strtoGENstr(s);
     350                 :            :   }
     351         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     352                 :          0 :     pari_printf("   format = %c.%ld\n", fmt->format, fmt->sigd);
     353                 :          0 :   return gnil;
     354                 :            : }
     355                 :            : 
     356                 :            : GEN
     357                 :          5 : sd_compatible(const char *v, long flag)
     358                 :            : {
     359                 :          5 :   const char *msg[] = {
     360                 :            :     "(no backward compatibility)",
     361                 :            :     "(warn when using obsolete functions)",
     362                 :            :     "(use old functions, don't ignore case)",
     363                 :            :     "(use old functions, ignore case)", NULL
     364                 :            :   };
     365                 :          5 :   ulong old = compatible;
     366                 :          5 :   GEN r = sd_ulong(v,flag,"compatible",&compatible, 0,3,msg);
     367                 :            : 
     368 [ +  - ][ +  - ]:          5 :   if (old != compatible && flag != d_INITRC && gp_init_functions())
                 [ +  - ]
     369                 :          5 :     pari_warn(warner,"user functions re-initialized");
     370                 :          5 :   return r;
     371                 :            : }
     372                 :            : 
     373                 :            : GEN
     374                 :          0 : sd_secure(const char *v, long flag)
     375                 :            : {
     376 [ #  # ][ #  # ]:          0 :   if (v && GP_DATA->secure)
     377                 :          0 :     pari_ask_confirm("[secure mode]: About to modify the 'secure' flag");
     378                 :          0 :   return sd_toggle(v,flag,"secure", &(GP_DATA->secure));
     379                 :            : }
     380                 :            : 
     381                 :            : GEN
     382                 :          0 : sd_debug(const char *v, long flag)
     383                 :          0 : { return sd_ulong(v,flag,"debug",&DEBUGLEVEL, 0,20,NULL); }
     384                 :            : 
     385                 :            : GEN
     386                 :          0 : sd_debugfiles(const char *v, long flag)
     387                 :          0 : { return sd_ulong(v,flag,"debugfiles",&DEBUGFILES, 0,20,NULL); }
     388                 :            : 
     389                 :            : GEN
     390                 :          0 : sd_debugmem(const char *v, long flag)
     391                 :          0 : { return sd_ulong(v,flag,"debugmem",&DEBUGMEM, 0,20,NULL); }
     392                 :            : 
     393                 :            : /* set D->hist to size = s / total = t */
     394                 :            : static void
     395                 :        837 : init_hist(gp_data *D, size_t s, ulong t)
     396                 :            : {
     397                 :        837 :   gp_hist *H = D->hist;
     398                 :        837 :   H->total = t;
     399                 :        837 :   H->size = s;
     400                 :        837 :   H->v = (gp_hist_cell*)pari_calloc(s * sizeof(gp_hist_cell));
     401                 :        837 : }
     402                 :            : GEN
     403                 :         10 : sd_histsize(const char *s, long flag)
     404                 :            : {
     405                 :         10 :   gp_hist *H = GP_DATA->hist;
     406                 :         10 :   ulong n = H->size;
     407                 :         10 :   GEN r = sd_ulong(s,flag,"histsize",&n, 1,
     408                 :            :                      (LONG_MAX / sizeof(long)) - 1,NULL);
     409         [ +  - ]:         10 :   if (n != H->size)
     410                 :            :   {
     411                 :         10 :     const ulong total = H->total;
     412                 :            :     long g, h, k, kmin;
     413                 :         10 :     gp_hist_cell *v = H->v, *w; /* v = old data, w = new one */
     414                 :         10 :     size_t sv = H->size, sw;
     415                 :            : 
     416                 :         10 :     init_hist(GP_DATA, n, total);
     417         [ -  + ]:         10 :     if (!total) return r;
     418                 :            : 
     419                 :         10 :     w = H->v;
     420                 :         10 :     sw= H->size;
     421                 :            :     /* copy relevant history entries */
     422                 :         10 :     g     = (total-1) % sv;
     423                 :         10 :     h = k = (total-1) % sw;
     424                 :         10 :     kmin = k - minss(sw, sv);
     425         [ +  + ]:         20 :     for ( ; k > kmin; k--, g--, h--)
     426                 :            :     {
     427                 :         10 :       w[h]   = v[g];
     428                 :         10 :       v[g].z = NULL;
     429         [ +  + ]:         10 :       if (!g) g = sv;
     430         [ +  + ]:         10 :       if (!h) h = sw;
     431                 :            :     }
     432                 :            :     /* clean up */
     433         [ +  + ]:         60 :     for ( ; v[g].z; g--)
     434                 :            :     {
     435                 :         50 :       gunclone(v[g].z);
     436         [ +  + ]:         50 :       if (!g) g = sv;
     437                 :            :     }
     438                 :         10 :     pari_free((void*)v);
     439                 :            :   }
     440                 :         10 :   return r;
     441                 :            : }
     442                 :            : 
     443                 :            : static void
     444                 :          0 : TeX_define(const char *s, const char *def) {
     445                 :          0 :   fprintf(pari_logfile, "\\ifx\\%s\\undefined\n  \\def\\%s{%s}\\fi\n", s,s,def);
     446                 :          0 : }
     447                 :            : static void
     448                 :          0 : TeX_define2(const char *s, const char *def) {
     449                 :          0 :   fprintf(pari_logfile, "\\ifx\\%s\\undefined\n  \\def\\%s#1#2{%s}\\fi\n", s,s,def);
     450                 :          0 : }
     451                 :            : 
     452                 :            : static FILE *
     453                 :          0 : open_logfile(const char *s) {
     454                 :          0 :   FILE *log = fopen(s, "a");
     455         [ #  # ]:          0 :   if (!log) pari_err_FILE("logfile",s);
     456                 :            : #ifndef WINCE
     457                 :          0 :   setbuf(log,(char *)NULL);
     458                 :            : #endif
     459                 :          0 :   return log;
     460                 :            : }
     461                 :            : 
     462                 :            : GEN
     463                 :          0 : sd_log(const char *v, long flag)
     464                 :            : {
     465                 :          0 :   const char *msg[] = {
     466                 :            :       "(off)",
     467                 :            :       "(on)",
     468                 :            :       "(on with colors)",
     469                 :            :       "(TeX output)", NULL
     470                 :            :   };
     471                 :          0 :   ulong oldstyle = logstyle;
     472                 :          0 :   GEN res = sd_ulong(v,flag,"log", &logstyle, 0, 3, msg);
     473                 :            : 
     474         [ #  # ]:          0 :   if (!oldstyle != !logstyle)                /* Compare converts to boolean */
     475                 :            :   { /* toggled LOG */
     476         [ #  # ]:          0 :     if (oldstyle)
     477                 :            :     { /* close log */
     478         [ #  # ]:          0 :       if (flag == d_ACKNOWLEDGE)
     479                 :          0 :         pari_printf("   [logfile was \"%s\"]\n", current_logfile);
     480                 :          0 :       fclose(pari_logfile); pari_logfile = NULL;
     481                 :            :     }
     482                 :            :     else
     483                 :          0 :       pari_logfile = open_logfile(current_logfile);
     484                 :            :   }
     485 [ #  # ][ #  # ]:          0 :   if (pari_logfile && oldstyle != logstyle && logstyle == logstyle_TeX)
                 [ #  # ]
     486                 :            :   {
     487                 :          0 :     TeX_define("PARIbreak",
     488                 :            :                "\\hskip 0pt plus \\hsize\\relax\\discretionary{}{}{}");
     489                 :          0 :     TeX_define("PARIpromptSTART", "\\vskip\\medskipamount\\bgroup\\bf");
     490                 :          0 :     TeX_define("PARIpromptEND", "\\egroup\\bgroup\\tt");
     491                 :          0 :     TeX_define("PARIinputEND", "\\egroup");
     492                 :          0 :     TeX_define2("PARIout",
     493                 :            :                 "\\vskip\\smallskipamount$\\displaystyle{\\tt\\%#1} = #2$");
     494                 :            :   }
     495                 :          0 :   return res;
     496                 :            : }
     497                 :            : 
     498                 :            : GEN
     499                 :          0 : sd_TeXstyle(const char *v, long flag)
     500                 :            : {
     501                 :          0 :   const char *msg[] = { "(bits 0x2/0x4 control output of \\left/\\PARIbreak)",
     502                 :            :                         NULL };
     503                 :          0 :   ulong n = GP_DATA->fmt->TeXstyle;
     504                 :          0 :   GEN z = sd_ulong(v,flag,"TeXstyle", &n, 0, 7, msg);
     505                 :          0 :   GP_DATA->fmt->TeXstyle = n; return z;
     506                 :            : }
     507                 :            : 
     508                 :            : GEN
     509                 :          0 : sd_nbthreads(const char *v, long flag)
     510                 :          0 : { return sd_ulong(v,flag,"nbthreads",&pari_mt_nbthreads, 1,LONG_MAX,NULL); }
     511                 :            : 
     512                 :            : GEN
     513                 :          0 : sd_output(const char *v, long flag)
     514                 :            : {
     515                 :          0 :   const char *msg[] = {"(raw)", "(prettymatrix)", "(prettyprint)",
     516                 :            :                  "(external prettyprint)", NULL};
     517                 :          0 :   ulong n = GP_DATA->fmt->prettyp;
     518                 :          0 :   GEN z = sd_ulong(v,flag,"output", &n, 0,3,msg);
     519                 :          0 :   GP_DATA->fmt->prettyp = n;
     520                 :          0 :   GP_DATA->fmt->sp = (n != f_RAW);
     521                 :          0 :   return z;
     522                 :            : }
     523                 :            : 
     524                 :            : GEN
     525                 :          0 : sd_parisizemax(const char *v, long flag)
     526                 :            : {
     527                 :          0 :   ulong size = pari_mainstack->vsize, n = size;
     528                 :          0 :   GEN r = sd_ulong(v,flag,"parisizemax",&n, 0,LONG_MAX,NULL);
     529 [ #  # ][ #  # ]:          0 :   if (n && n<10000)
     530                 :          0 :     r = sd_ulong(v,flag,"parisizemax",&n, 10000,LONG_MAX,NULL);
     531         [ #  # ]:          0 :   if (n != size) {
     532                 :          0 :     pari_mainstack->vsize = n;
     533         [ #  # ]:          0 :     if (flag == d_INITRC)
     534                 :          0 :       paristack_alloc(pari_mainstack->rsize, n);
     535                 :            :     else
     536                 :          0 :       parivstack_resize(n);
     537                 :            :   }
     538                 :          0 :   return r;
     539                 :            : }
     540                 :            : 
     541                 :            : GEN
     542                 :         15 : sd_parisize(const char *v, long flag)
     543                 :            : {
     544                 :         15 :   ulong rsize = pari_mainstack->rsize, n = rsize;
     545                 :         15 :   GEN r = sd_ulong(v,flag,"parisize",&n, 10000,LONG_MAX,NULL);
     546         [ +  - ]:         15 :   if (n != rsize) {
     547         [ +  - ]:         15 :     if (pari_mainstack->vsize==0)
     548                 :            :     {
     549                 :         15 :       pari_mainstack->rsize = n;
     550         [ -  + ]:         15 :       if (flag == d_INITRC)
     551                 :          0 :         paristack_alloc(n, 0);
     552                 :            :       else
     553                 :         15 :         parivstack_resize(n);
     554                 :            :     } else
     555                 :            :     {
     556         [ #  # ]:          0 :       if (flag == d_INITRC)
     557                 :          0 :         paristack_alloc(n, pari_mainstack->vsize);
     558                 :            :       else
     559                 :          0 :         paristack_resize(n);
     560                 :            :     }
     561                 :            :   }
     562                 :          0 :   return r;
     563                 :            : }
     564                 :            : 
     565                 :            : GEN
     566                 :          0 : sd_threadsize(const char *v, long flag)
     567                 :            : {
     568                 :          0 :   ulong size = GP_DATA->threadsize, n = size;
     569                 :          0 :   GEN r = sd_ulong(v,flag,"threadsize",&n, 0,LONG_MAX,NULL);
     570         [ #  # ]:          0 :   if (n != size)
     571                 :          0 :     GP_DATA->threadsize = n;
     572                 :          0 :   return r;
     573                 :            : }
     574                 :            : 
     575                 :            : GEN
     576                 :         10 : sd_primelimit(const char *v, long flag)
     577                 :         10 : { return sd_ulong(v,flag,"primelimit",&(GP_DATA->primelimit),
     578                 :            :                   0,2*(ulong)(LONG_MAX-1024) + 1,NULL); }
     579                 :            : 
     580                 :            : GEN
     581                 :          0 : sd_simplify(const char *v, long flag)
     582                 :          0 : { return sd_toggle(v,flag,"simplify", &(GP_DATA->simplify)); }
     583                 :            : 
     584                 :            : GEN
     585                 :          0 : sd_strictmatch(const char *v, long flag)
     586                 :          0 : { return sd_toggle(v,flag,"strictmatch", &(GP_DATA->strictmatch)); }
     587                 :            : 
     588                 :            : GEN
     589                 :          5 : sd_strictargs(const char *v, long flag)
     590                 :          5 : { return sd_toggle(v,flag,"strictargs", &(GP_DATA->strictargs)); }
     591                 :            : 
     592                 :            : GEN
     593                 :          0 : sd_string(const char *v, long flag, const char *s, char **pstr)
     594                 :            : {
     595                 :          0 :   char *old = *pstr;
     596         [ #  # ]:          0 :   if (v)
     597                 :            :   {
     598                 :          0 :     char *str, *ev = path_expand(v);
     599                 :          0 :     long l = strlen(ev) + 256;
     600                 :          0 :     str = (char *) pari_malloc(l);
     601                 :          0 :     strftime_expand(ev,str, l-1); pari_free(ev);
     602         [ #  # ]:          0 :     if (GP_DATA->secure)
     603                 :            :     {
     604                 :          0 :       char *msg=pari_sprintf("[secure mode]: About to change %s to '%s'",s,str);
     605                 :          0 :       pari_ask_confirm(msg);
     606                 :          0 :       pari_free(msg);
     607                 :            :     }
     608         [ #  # ]:          0 :     if (old) pari_free(old);
     609                 :          0 :     *pstr = old = pari_strdup(str);
     610                 :          0 :     pari_free(str);
     611                 :            :   }
     612         [ #  # ]:          0 :   else if (!old) old = (char*)"<undefined>";
     613         [ #  # ]:          0 :   if (flag == d_RETURN) return strtoGENstr(old);
     614         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE) pari_printf("   %s = \"%s\"\n",s,old);
     615                 :          0 :   return gnil;
     616                 :            : }
     617                 :            : 
     618                 :            : GEN
     619                 :          0 : sd_logfile(const char *v, long flag)
     620                 :            : {
     621                 :          0 :   GEN r = sd_string(v, flag, "logfile", &current_logfile);
     622 [ #  # ][ #  # ]:          0 :   if (v && pari_logfile)
     623                 :            :   {
     624                 :          0 :     FILE *log = open_logfile(current_logfile);
     625                 :          0 :     fclose(pari_logfile); pari_logfile = log;
     626                 :            :   }
     627                 :          0 :   return r;
     628                 :            : }
     629                 :            : 
     630                 :            : GEN
     631                 :          0 : sd_factor_add_primes(const char *v, long flag)
     632                 :          0 : { return sd_toggle(v,flag,"factor_add_primes", &factor_add_primes); }
     633                 :            : 
     634                 :            : GEN
     635                 :          0 : sd_factor_proven(const char *v, long flag)
     636                 :          0 : { return sd_toggle(v,flag,"factor_proven", &factor_proven); }
     637                 :            : 
     638                 :            : GEN
     639                 :         10 : sd_new_galois_format(const char *v, long flag)
     640                 :         10 : { return sd_toggle(v,flag,"new_galois_format", &new_galois_format); }
     641                 :            : 
     642                 :            : GEN
     643                 :          9 : sd_datadir(const char *v, long flag)
     644                 :            : {
     645                 :            :   const char *str;
     646         [ -  + ]:          9 :   if (v)
     647                 :            :   {
     648         [ #  # ]:          0 :     if (pari_datadir) pari_free(pari_datadir);
     649                 :          0 :     pari_datadir = path_expand(v);
     650                 :            :   }
     651         [ +  - ]:          9 :   str = pari_datadir? pari_datadir: "none";
     652         [ +  - ]:          9 :   if (flag == d_RETURN) return strtoGENstr(str);
     653         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     654                 :          0 :     pari_printf("   datadir = \"%s\"\n", str);
     655                 :          9 :   return gnil;
     656                 :            : }
     657                 :            : 
     658                 :            : static GEN
     659                 :          0 : sd_PATH(const char *v, long flag, const char* s, gp_path *p)
     660                 :            : {
     661         [ #  # ]:          0 :   if (v)
     662                 :            :   {
     663                 :          0 :     pari_free((void*)p->PATH);
     664                 :          0 :     p->PATH = pari_strdup(v);
     665         [ #  # ]:          0 :     if (flag == d_INITRC) return gnil;
     666                 :          0 :     gp_expand_path(p);
     667                 :            :   }
     668         [ #  # ]:          0 :   if (flag == d_RETURN) return strtoGENstr(p->PATH);
     669         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     670                 :          0 :     pari_printf("   %s = \"%s\"\n", s, p->PATH);
     671                 :          0 :   return gnil;
     672                 :            : }
     673                 :            : GEN
     674                 :          0 : sd_path(const char *v, long flag)
     675                 :          0 : { return sd_PATH(v, flag, "path", GP_DATA->path); }
     676                 :            : GEN
     677                 :          0 : sd_sopath(char *v, int flag)
     678                 :          0 : { return sd_PATH(v, flag, "sopath", GP_DATA->sopath); }
     679                 :            : 
     680                 :            : static const char *DFT_PRETTYPRINTER = "tex2mail -TeX -noindent -ragged -by_par";
     681                 :            : GEN
     682                 :          0 : sd_prettyprinter(const char *v, long flag)
     683                 :            : {
     684                 :          0 :   gp_pp *pp = GP_DATA->pp;
     685 [ #  # ][ #  # ]:          0 :   if (v && !(GP_DATA->flags & gpd_TEXMACS))
     686                 :            :   {
     687                 :          0 :     char *old = pp->cmd;
     688                 :          0 :     int cancel = (!strcmp(v,"no"));
     689                 :            : 
     690         [ #  # ]:          0 :     if (GP_DATA->secure)
     691                 :          0 :       pari_err(e_MISC,"[secure mode]: can't modify 'prettyprinter' default (to %s)",v);
     692         [ #  # ]:          0 :     if (!strcmp(v,"yes")) v = DFT_PRETTYPRINTER;
     693 [ #  # ][ #  # ]:          0 :     if (old && strcmp(old,v) && pp->file)
                 [ #  # ]
     694                 :            :     {
     695                 :            :       pariFILE *f;
     696         [ #  # ]:          0 :       if (cancel) f = NULL;
     697                 :            :       else
     698                 :            :       {
     699                 :          0 :         f = try_pipe(v, mf_OUT);
     700         [ #  # ]:          0 :         if (!f)
     701                 :            :         {
     702                 :          0 :           pari_warn(warner,"broken prettyprinter: '%s'",v);
     703                 :          0 :           return gnil;
     704                 :            :         }
     705                 :            :       }
     706                 :          0 :       pari_fclose(pp->file);
     707                 :          0 :       pp->file = f;
     708                 :            :     }
     709         [ #  # ]:          0 :     pp->cmd = cancel? NULL: pari_strdup(v);
     710         [ #  # ]:          0 :     if (old) pari_free(old);
     711         [ #  # ]:          0 :     if (flag == d_INITRC) return gnil;
     712                 :            :   }
     713         [ #  # ]:          0 :   if (flag == d_RETURN)
     714         [ #  # ]:          0 :     return strtoGENstr(pp->cmd? pp->cmd: "");
     715         [ #  # ]:          0 :   if (flag == d_ACKNOWLEDGE)
     716         [ #  # ]:          0 :     pari_printf("   prettyprinter = \"%s\"\n",pp->cmd? pp->cmd: "");
     717                 :          0 :   return gnil;
     718                 :            : }
     719                 :            : 
     720                 :            : /* compare entrees s1 s2 according to the associated function name */
     721                 :            : static int
     722                 :          0 : compare_name(const void *s1, const void *s2) {
     723                 :          0 :   entree *e1 = *(entree**)s1, *e2 = *(entree**)s2;
     724                 :          0 :   return strcmp(e1->name, e2->name);
     725                 :            : }
     726                 :            : /* return all entries with class '16' */
     727                 :            : static void
     728                 :          0 : defaults_list(pari_stack *s)
     729                 :            : {
     730                 :            :   entree *ep;
     731                 :            :   long i;
     732         [ #  # ]:          0 :   for (i = 0; i < functions_tblsz; i++)
     733         [ #  # ]:          0 :     for (ep = defaults_hash[i]; ep; ep = ep->next)
     734         [ #  # ]:          0 :       if (ep->menu == 16) pari_stack_pushp(s, ep);
     735                 :          0 : }
     736                 :            : /* ep associated to function f of arity 2. Call f(v,flag) */
     737                 :            : static GEN
     738                 :       1544 : call_f2(entree *ep, const char *v, long flag)
     739                 :       1544 : { return ((GEN (*)(const char*,long))ep->value)(v, flag); }
     740                 :            : GEN
     741                 :       1544 : setdefault(const char *s, const char *v, long flag)
     742                 :            : {
     743                 :            :   entree *ep;
     744         [ -  + ]:       1544 :   if (!s)
     745                 :            :   { /* list all defaults */
     746                 :            :     pari_stack st;
     747                 :            :     entree **L;
     748                 :            :     long i;
     749                 :          0 :     pari_stack_init(&st, sizeof(*L), (void**)&L);
     750                 :          0 :     defaults_list(&st);
     751                 :          0 :     qsort (L, st.n, sizeof(*L), compare_name);
     752         [ #  # ]:          0 :     for (i = 0; i < st.n; i++) (void)call_f2(L[i], NULL, d_ACKNOWLEDGE);
     753                 :          0 :     pari_stack_delete(&st);
     754                 :          0 :     return gnil;
     755                 :            :   }
     756                 :       1544 :   ep = is_entry_intern(s, defaults_hash, NULL);
     757         [ -  + ]:       1544 :   if (!ep)
     758                 :            :   {
     759                 :          0 :     pari_err(e_MISC,"unknown default: %s",s);
     760                 :          0 :     return NULL; /* not reached */
     761                 :            :   }
     762                 :       1544 :   return call_f2(ep, v, flag);
     763                 :            : }
     764                 :            : int
     765                 :         20 : pari_is_default(const char *s)
     766                 :         20 : { return !!is_entry_intern(s, defaults_hash, NULL); }
     767                 :            : 
     768                 :            : GEN
     769         [ +  + ]:       1544 : default0(const char *a, const char *b) { return setdefault(a,b, b? d_SILENT: d_RETURN); }
     770                 :            : 
     771                 :            : /********************************************************************/
     772                 :            : /*                                                                  */
     773                 :            : /*                     INITIALIZE GP_DATA                           */
     774                 :            : /*                                                                  */
     775                 :            : /********************************************************************/
     776                 :            : /* initialize path */
     777                 :            : static void
     778                 :       1654 : init_path(gp_path *path, const char *v)
     779                 :            : {
     780                 :       1654 :   path->PATH = pari_strdup(v);
     781                 :       1654 :   path->dirs = NULL;
     782                 :       1654 : }
     783                 :            : 
     784                 :            : /* initialize D->fmt */
     785                 :            : static void
     786                 :        827 : init_fmt(gp_data *D)
     787                 :            : {
     788                 :            : #ifdef LONG_IS_64BIT
     789                 :            :   static pariout_t DFLT_OUTPUT = { 'g', 38, 1, f_PRETTYMAT, 0 };
     790                 :            : #else
     791                 :            :   static pariout_t DFLT_OUTPUT = { 'g', 28, 1, f_PRETTYMAT, 0 };
     792                 :            : #endif
     793                 :        827 :   D->fmt = &DFLT_OUTPUT;
     794                 :        827 : }
     795                 :            : 
     796                 :            : /* initialize D->pp */
     797                 :            : static void
     798                 :        827 : init_pp(gp_data *D)
     799                 :            : {
     800                 :        827 :   gp_pp *p = D->pp;
     801                 :        827 :   p->cmd = pari_strdup(DFT_PRETTYPRINTER);
     802                 :        827 :   p->file = NULL;
     803                 :        827 : }
     804                 :            : 
     805                 :            : gp_data *
     806                 :        827 : default_gp_data(void)
     807                 :            : {
     808                 :            :   static gp_data __GPDATA, *D = &__GPDATA;
     809                 :            :   static gp_hist __HIST;
     810                 :            :   static gp_pp   __PP;
     811                 :            :   static gp_path __PATH, __SOPATH;
     812                 :            :   static pari_timer __T;
     813                 :            : 
     814                 :        827 :   D->flags       = 0;
     815                 :        827 :   D->primelimit  = 500000;
     816                 :            : 
     817                 :            :   /* GP-specific */
     818                 :        827 :   D->breakloop   = 1;
     819                 :        827 :   D->echo        = 0;
     820                 :        827 :   D->lim_lines   = 0;
     821                 :        827 :   D->linewrap    = 0;
     822                 :        827 :   D->recover     = 1;
     823                 :        827 :   D->chrono      = 0;
     824                 :            : 
     825                 :        827 :   D->strictargs  = 0;
     826                 :        827 :   D->strictmatch = 1;
     827                 :        827 :   D->simplify    = 1;
     828                 :        827 :   D->secure      = 0;
     829                 :        827 :   D->use_readline= 0;
     830                 :        827 :   D->T    = &__T;
     831                 :        827 :   D->hist = &__HIST;
     832                 :        827 :   D->pp   = &__PP;
     833                 :        827 :   D->path = &__PATH;
     834                 :        827 :   D->sopath=&__SOPATH;
     835                 :        827 :   init_fmt(D);
     836                 :        827 :   init_hist(D, 5000, 0);
     837                 :        827 :   init_path(D->path, pari_default_path());
     838                 :        827 :   init_path(D->sopath, "");
     839                 :        827 :   init_pp(D);
     840                 :        827 :   return D;
     841                 :            : }

Generated by: LCOV version 1.9