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 - parsec.h (source / functions) Hit Total Coverage
Test: PARI/GP v2.8.0 lcov report (development 16393-29b9383) Lines: 102 116 87.9 %
Date: 2014-04-24 Functions: 17 18 94.4 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 22 34 64.7 %

           Branch data     Line data    Source code
       1                 :            : /* Copyright (C) 2006-2008  The PARI group.
       2                 :            : 
       3                 :            : This file is part of the PARI 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                 :            : 
      14                 :            : #include "pari.h"
      15                 :            : #include "paripriv.h"
      16                 :            : BEGINEXTERN
      17                 :            : #include "parse.h"
      18                 :            : ENDEXTERN
      19                 :            : #include "anal.h"
      20                 :            : #include "tree.h"
      21                 :            : 
      22                 :            : static THREAD int pari_once;
      23                 :            : static THREAD long pari_discarded;
      24                 :            : static THREAD const char *pari_lex_start, *pari_unused_chars;
      25                 :            : static THREAD GEN pari_lasterror;
      26                 :            : 
      27                 :         55 : static void pari_error(YYLTYPE *yylloc, char **lex, const char *s)
      28                 :            : {
      29                 :            :   (void) yylloc; (void) lex;
      30         [ +  + ]:         55 :   if (pari_lasterror) cgiv(pari_lasterror);
      31                 :         55 :   pari_lasterror=strtoGENstr(s);
      32                 :         55 : }
      33                 :            : 
      34                 :            : static THREAD pari_stack s_node;
      35                 :            : THREAD node *pari_tree;
      36                 :            : 
      37                 :            : void
      38                 :        832 : pari_init_parser(void)
      39                 :            : {
      40                 :            :   long i;
      41                 :        832 :   const char *opname[]={"_||_", "_&&_", "_===_", "_==_", "_!=_", "_>=_", "_>_", "_<=_", "_<_", "_-_","_+_","_<<_", "_>>_", "_%_", "_\\/_", "_\\_", "_/_", "_*_","_^_","__","_--","_++","_-=_", "_+=_", "_<<=_", "_>>=_", "_%=_", "_\\/=_", "_\\=_", "_/=_", "_*=_","+_","-_","!_","_!","_'","_~","[_.._]","[_|_<-_,_]","[_|_<-_,_;_]","%","%#","#_",""};
      42                 :            : 
      43                 :        832 :   pari_stack_init(&s_node,sizeof(*pari_tree),(void **)&pari_tree);
      44                 :        832 :   pari_stack_alloc(&s_node,OPnboperator);
      45                 :        832 :   parsestate_reset();
      46         [ +  + ]:      36608 :   for (i=0;i<OPnboperator;i++)
      47                 :            :   {
      48                 :      35776 :     pari_tree[i].f    = Fconst;
      49                 :      35776 :     pari_tree[i].x    = CSTentry;
      50                 :      35776 :     pari_tree[i].y    = -1;
      51                 :      35776 :     pari_tree[i].str  = opname[i];
      52                 :      35776 :     pari_tree[i].len  = strlen(opname[i]);
      53                 :      35776 :     pari_tree[i].flags= 0;
      54                 :            :   }
      55                 :        832 : }
      56                 :            : void
      57                 :        820 : pari_close_parser(void) { pari_stack_delete(&s_node); }
      58                 :            : 
      59                 :            : static void
      60                 :          0 : unused_chars(const char *lex, int strict)
      61                 :            : {
      62                 :          0 :   long n = 2 * term_width() - (17+19+1); /* Warning + unused... + . */
      63         [ #  # ]:          0 :   if (strict) compile_err("unused characters", lex);
      64         [ #  # ]:          0 :   if ((long)strlen(lex) > n) /* at most 2 lines */
      65                 :          0 :     pari_warn(warner, "unused characters: %.*s[+++]", n-5, lex);
      66                 :            :   else
      67                 :          0 :     pari_warn(warner, "unused characters: %s", lex);
      68                 :          0 : }
      69                 :            : 
      70                 :            : void
      71                 :          5 : compile_err(const char *msg, const char *str)
      72                 :            : {
      73                 :          5 :   pari_err(e_SYNTAX, msg, str, pari_lex_start);
      74                 :          0 : }
      75                 :            : 
      76                 :            : void
      77                 :          5 : compile_varerr(const char *str)
      78                 :            : {
      79                 :          5 :   pari_err(e_SYNTAX, "variable name expected", str, pari_lex_start);
      80                 :          0 : }
      81                 :            : 
      82                 :            : void
      83                 :        902 : parsestate_reset(void)
      84                 :            : {
      85                 :        902 :   s_node.n = OPnboperator;
      86                 :        902 :   pari_lex_start = NULL;
      87                 :        902 :   pari_unused_chars=NULL;
      88                 :        902 :   pari_once=1;
      89                 :        902 :   pari_discarded=0;
      90                 :        902 :   pari_lasterror=NULL;
      91                 :        902 : }
      92                 :            : void
      93                 :      69531 : parsestate_save(struct pari_parsestate *state)
      94                 :            : {
      95                 :      69531 :   state->node = s_node.n;
      96                 :      69531 :   state->lex_start = pari_lex_start;
      97                 :      69531 :   state->unused_chars = pari_unused_chars;
      98                 :      69531 :   state->once = pari_once;
      99                 :      69531 :   state->discarded = pari_discarded;
     100                 :      69531 :   state->lasterror = pari_lasterror;
     101                 :      69531 : }
     102                 :            : void
     103                 :      39017 : parsestate_restore(struct pari_parsestate *state)
     104                 :            : {
     105                 :      39017 :   s_node.n = state->node;
     106                 :      39017 :   pari_lex_start = state->lex_start;
     107                 :      39017 :   pari_unused_chars = state->unused_chars;
     108                 :      39017 :   pari_once = state->once;
     109                 :      39017 :   pari_discarded = state->discarded;
     110                 :      39017 :   pari_lasterror = state->lasterror;
     111                 :      39017 : }
     112                 :            : 
     113                 :            : GEN
     114                 :      36670 : pari_compile_str(char *lex, int strict)
     115                 :            : {
     116                 :      36670 :   pari_sp ltop=avma;
     117                 :            :   GEN code;
     118                 :            :   struct pari_parsestate state;
     119                 :      36670 :   parsestate_save(&state);
     120                 :      36670 :   pari_lex_start = lex;
     121                 :      36670 :   pari_unused_chars=NULL;
     122                 :      36670 :   pari_once=1;
     123                 :      36670 :   pari_discarded=0;
     124                 :      36670 :   pari_lasterror=NULL;
     125 [ +  - ][ -  + ]:      36670 :   if (pari_parse(&lex) || pari_discarded)
     126                 :            :   {
     127 [ #  # ][ #  # ]:          0 :     if (pari_unused_chars && !pari_discarded)
     128                 :          0 :       unused_chars(pari_unused_chars,strict);
     129         [ #  # ]:          0 :     else if (pari_lasterror)
     130                 :          0 :       compile_err(GSTR(pari_lasterror),lex-1);
     131                 :            :     else /* should not happen */
     132                 :          0 :       compile_err("syntax error",lex-1);
     133                 :            :   }
     134                 :      36670 :   avma=ltop;
     135                 :      36670 :   optimizenode(s_node.n-1);
     136                 :      36665 :   code=gp_closure(s_node.n-1);
     137                 :      36660 :   parsestate_restore(&state);
     138                 :      36660 :   return code;
     139                 :            : }
     140                 :            : 
     141                 :            : static long
     142                 :   14683914 : newnode(Ffunc f, long x, long y, struct node_loc *loc)
     143                 :            : {
     144                 :   14683914 :   long n=pari_stack_new(&s_node);
     145                 :   14683914 :   pari_tree[n].f=f;
     146                 :   14683914 :   pari_tree[n].x=x;
     147                 :   14683914 :   pari_tree[n].y=y;
     148                 :   14683914 :   pari_tree[n].str=loc->start;
     149                 :   14683914 :   pari_tree[n].len=loc->end-loc->start;
     150                 :   14683914 :   pari_tree[n].flags=0;
     151                 :   14683914 :   return n;
     152                 :            : }
     153                 :            : 
     154                 :            : static long
     155                 :    1166227 : newconst(long x, struct node_loc *loc)
     156                 :            : {
     157                 :    1166227 :   return newnode(Fconst,x,-1,loc);
     158                 :            : }
     159                 :            : 
     160                 :            : static long
     161                 :    1512712 : newopcall(OPerator op, long x, long y, struct node_loc *loc)
     162                 :            : {
     163         [ +  + ]:    1512712 :   if (y==-1)
     164                 :    1362762 :     return newnode(Ffunction,op,x,loc);
     165                 :            :   else
     166                 :    1512712 :     return newnode(Ffunction,op,newnode(Flistarg,x,y,loc),loc);
     167                 :            : }
     168                 :            : 
     169                 :            : static long
     170                 :         45 : newopcall3(OPerator op, long x, long y, long z, struct node_loc *loc)
     171                 :            : {
     172                 :         45 :   return newopcall(op,newnode(Flistarg,x,y,loc),z,loc);
     173                 :            : }
     174                 :            : 
     175                 :            : static long
     176                 :        170 : countarg(long n)
     177                 :            : {
     178                 :            :   long i;
     179         [ +  + ]:        555 :   for(i=1; pari_tree[n].f==Flistarg; i++)
     180                 :        385 :     n = pari_tree[n].x;
     181                 :        170 :   return i;
     182                 :            : }
     183                 :            : 
     184                 :            : static long
     185                 :        120 : addcurrexpr(long n, long currexpr, struct node_loc *loc)
     186                 :            : {
     187                 :        120 :   long y, m = n;
     188         [ +  + ]:        170 :   while (pari_tree[m].x==OPcomprc)
     189                 :            :   {
     190         [ +  + ]:         50 :     y = pari_tree[m].y; if (countarg(y)==4) y = pari_tree[y].x;
     191                 :         50 :     m = pari_tree[y].y;
     192                 :            :   }
     193         [ +  + ]:        120 :   y = pari_tree[m].y; if (countarg(y)==4) y = pari_tree[y].x;
     194                 :        120 :   pari_tree[y].y = currexpr;
     195                 :        120 :   pari_tree[n].str=loc->start;
     196                 :        120 :   pari_tree[n].len=loc->end-loc->start;
     197                 :        120 :   return n;
     198                 :            : }
     199                 :            : 
     200                 :            : static long
     201                 :    4438126 : newintnode(struct node_loc *loc)
     202                 :            : {
     203         [ +  + ]:    4438126 :   if (loc->end-loc->start<=(long)(1+LOG10_2*BITS_IN_LONG))
     204                 :            :   {
     205                 :    4087258 :     pari_sp ltop=avma;
     206                 :    4087258 :     GEN g=strtoi(loc->start);
     207                 :            :     long s;
     208                 :    4087258 :     avma=ltop;
     209         [ +  + ]:    4087258 :     if (signe(g)==0)      return newnode(Fsmall,0,-1,loc);
     210         [ +  + ]:    3155613 :     if ((s=itos_or_0(g))) return newnode(Fsmall,s,-1,loc);
     211                 :            :   }
     212                 :    4438126 :   return newconst(CSTint,loc);
     213                 :            : }
     214                 :            : 
     215                 :            : static long
     216                 :        835 : newfunc(CSTtype t, struct node_loc *func, long args, long code,
     217                 :            :                    struct node_loc *loc)
     218                 :            : {
     219                 :        835 :   long name=newnode(Fentry,newconst(t,func),-1,func);
     220                 :        835 :   return newnode(Fassign,name,newnode(Flambda,args,code,loc),loc);
     221                 :            : }
     222                 :            : 
     223                 :            : 

Generated by: LCOV version 1.9