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 17234-4181bc5) Lines: 100 103 97.1 %
Date: 2014-12-18 Functions: 17 17 100.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 24 26 92.3 %

           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;
      25                 :            : static THREAD GEN pari_lasterror;
      26                 :            : 
      27                 :         91 : static void pari_error(YYLTYPE *yylloc, char **lex, const char *s)
      28                 :            : {
      29                 :            :   (void) yylloc; (void) lex;
      30         [ +  + ]:         91 :   if (pari_lasterror) cgiv(pari_lasterror);
      31                 :         91 :   pari_lasterror=strtoGENstr(s);
      32                 :         91 : }
      33                 :            : 
      34                 :            : static THREAD pari_stack s_node;
      35                 :            : THREAD node *pari_tree;
      36                 :            : 
      37                 :            : void
      38                 :       1243 : pari_init_parser(void)
      39                 :            : {
      40                 :            :   long i;
      41                 :       1243 :   const char *opname[]={"_||_", "_&&_", "_===_", "_==_", "_!=_", "_>=_", "_>_", "_<=_", "_<_", "_-_","_+_","_<<_", "_>>_", "_%_", "_\\/_", "_\\_", "_/_", "_*_","_^_","__","_--","_++","_-=_", "_+=_", "_<<=_", "_>>=_", "_%=_", "_\\/=_", "_\\=_", "_/=_", "_*=_","+_","-_","!_","_!","_'","_~","[_.._]","[_|_<-_,_]","[_|_<-_,_;_]","%","%#","#_",""};
      42                 :            : 
      43                 :       1243 :   pari_stack_init(&s_node,sizeof(*pari_tree),(void **)&pari_tree);
      44                 :       1243 :   pari_stack_alloc(&s_node,OPnboperator);
      45                 :       1243 :   parsestate_reset();
      46         [ +  + ]:      54692 :   for (i=0;i<OPnboperator;i++)
      47                 :            :   {
      48                 :      53449 :     pari_tree[i].f    = Fconst;
      49                 :      53449 :     pari_tree[i].x    = CSTentry;
      50                 :      53449 :     pari_tree[i].y    = -1;
      51                 :      53449 :     pari_tree[i].str  = opname[i];
      52                 :      53449 :     pari_tree[i].len  = strlen(opname[i]);
      53                 :      53449 :     pari_tree[i].flags= 0;
      54                 :            :   }
      55                 :       1243 : }
      56                 :            : void
      57                 :       1231 : pari_close_parser(void) { pari_stack_delete(&s_node); }
      58                 :            : 
      59                 :            : void
      60                 :         21 : compile_err(const char *msg, const char *str)
      61                 :            : {
      62                 :         21 :   pari_err(e_SYNTAX, msg, str, pari_lex_start);
      63                 :          0 : }
      64                 :            : 
      65                 :            : void
      66                 :          7 : compile_varerr(const char *str)
      67                 :            : {
      68                 :          7 :   pari_err(e_SYNTAX, "variable name expected", str, pari_lex_start);
      69                 :          0 : }
      70                 :            : 
      71                 :            : void
      72                 :       1355 : parsestate_reset(void)
      73                 :            : {
      74                 :       1355 :   s_node.n = OPnboperator;
      75                 :       1355 :   pari_lex_start = NULL;
      76                 :       1355 :   pari_once=1;
      77                 :       1355 :   pari_discarded=0;
      78                 :       1355 :   pari_lasterror=NULL;
      79                 :       1355 : }
      80                 :            : void
      81                 :     107013 : parsestate_save(struct pari_parsestate *state)
      82                 :            : {
      83                 :     107013 :   state->node = s_node.n;
      84                 :     107013 :   state->lex_start = pari_lex_start;
      85                 :     107013 :   state->once = pari_once;
      86                 :     107013 :   state->discarded = pari_discarded;
      87                 :     107013 :   state->lasterror = pari_lasterror;
      88                 :     107013 : }
      89                 :            : void
      90                 :      61792 : parsestate_restore(struct pari_parsestate *state)
      91                 :            : {
      92                 :      61792 :   s_node.n = state->node;
      93                 :      61792 :   pari_lex_start = state->lex_start;
      94                 :      61792 :   pari_once = state->once;
      95                 :      61792 :   pari_discarded = state->discarded;
      96                 :      61792 :   pari_lasterror = state->lasterror;
      97                 :      61792 : }
      98                 :            : 
      99                 :            : GEN
     100                 :      55649 : pari_compile_str(const char *lex)
     101                 :            : {
     102                 :      55649 :   pari_sp ltop=avma;
     103                 :            :   GEN code;
     104                 :            :   struct pari_parsestate state;
     105                 :      55649 :   parsestate_save(&state);
     106                 :      55649 :   pari_lex_start = lex;
     107                 :      55649 :   pari_once=1;
     108                 :      55649 :   pari_discarded=0;
     109                 :      55649 :   pari_lasterror=NULL;
     110 [ +  + ][ -  + ]:      55649 :   if (pari_parse((char**)&lex) || pari_discarded)
     111                 :            :   {
     112         [ +  - ]:          7 :     if (pari_lasterror)
     113                 :          7 :       compile_err(GSTR(pari_lasterror),lex-1);
     114                 :            :     else /* should not happen */
     115                 :          0 :       compile_err("syntax error",lex-1);
     116                 :            :   }
     117                 :      55642 :   avma=ltop;
     118                 :      55642 :   optimizenode(s_node.n-1);
     119                 :      55628 :   code=gp_closure(s_node.n-1);
     120                 :      55621 :   parsestate_restore(&state);
     121                 :      55621 :   return code;
     122                 :            : }
     123                 :            : 
     124                 :            : static long
     125                 :   22322037 : newnode(Ffunc f, long x, long y, struct node_loc *loc)
     126                 :            : {
     127                 :   22322037 :   long n=pari_stack_new(&s_node);
     128                 :   22322037 :   pari_tree[n].f=f;
     129                 :   22322037 :   pari_tree[n].x=x;
     130                 :   22322037 :   pari_tree[n].y=y;
     131                 :   22322037 :   pari_tree[n].str=loc->start;
     132                 :   22322037 :   pari_tree[n].len=loc->end-loc->start;
     133                 :   22322037 :   pari_tree[n].flags=0;
     134                 :   22322037 :   return n;
     135                 :            : }
     136                 :            : 
     137                 :            : static long
     138                 :    1753761 : newconst(long x, struct node_loc *loc)
     139                 :            : {
     140                 :    1753761 :   return newnode(Fconst,x,-1,loc);
     141                 :            : }
     142                 :            : 
     143                 :            : static long
     144                 :    2268070 : newopcall(OPerator op, long x, long y, struct node_loc *loc)
     145                 :            : {
     146         [ +  + ]:    2268070 :   if (y==-1)
     147                 :    2055545 :     return newnode(Ffunction,op,x,loc);
     148                 :            :   else
     149                 :    2268070 :     return newnode(Ffunction,op,newnode(Flistarg,x,y,loc),loc);
     150                 :            : }
     151                 :            : 
     152                 :            : static long
     153                 :         98 : newopcall3(OPerator op, long x, long y, long z, struct node_loc *loc)
     154                 :            : {
     155                 :         98 :   return newopcall(op,newnode(Flistarg,x,y,loc),z,loc);
     156                 :            : }
     157                 :            : 
     158                 :            : static long
     159                 :        329 : countarg(long n)
     160                 :            : {
     161                 :            :   long i;
     162         [ +  + ]:       1085 :   for(i=1; pari_tree[n].f==Flistarg; i++)
     163                 :        756 :     n = pari_tree[n].x;
     164                 :        329 :   return i;
     165                 :            : }
     166                 :            : 
     167                 :            : static long
     168                 :        259 : addcurrexpr(long n, long currexpr, struct node_loc *loc)
     169                 :            : {
     170                 :        259 :   long y, m = n;
     171         [ +  + ]:        329 :   while (pari_tree[m].x==OPcomprc)
     172                 :            :   {
     173         [ +  + ]:         70 :     y = pari_tree[m].y; if (countarg(y)==4) y = pari_tree[y].x;
     174                 :         70 :     m = pari_tree[y].y;
     175                 :            :   }
     176         [ +  + ]:        259 :   y = pari_tree[m].y; if (countarg(y)==4) y = pari_tree[y].x;
     177                 :        259 :   pari_tree[y].y = currexpr;
     178                 :        259 :   pari_tree[n].str=loc->start;
     179                 :        259 :   pari_tree[n].len=loc->end-loc->start;
     180                 :        259 :   return n;
     181                 :            : }
     182                 :            : 
     183                 :            : static long
     184                 :    6710911 : newintnode(struct node_loc *loc)
     185                 :            : {
     186         [ +  + ]:    6710911 :   if (loc->end-loc->start<=(long)(1+LOG10_2*BITS_IN_LONG))
     187                 :            :   {
     188                 :    6223918 :     pari_sp ltop=avma;
     189                 :    6223918 :     GEN g=strtoi(loc->start);
     190                 :            :     long s;
     191                 :    6223918 :     avma=ltop;
     192         [ +  + ]:    6223918 :     if (signe(g)==0)      return newnode(Fsmall,0,-1,loc);
     193         [ +  + ]:    4792196 :     if ((s=itos_or_0(g))) return newnode(Fsmall,s,-1,loc);
     194                 :            :   }
     195                 :    6710911 :   return newconst(CSTint,loc);
     196                 :            : }
     197                 :            : 
     198                 :            : static long
     199                 :       1526 : newfunc(CSTtype t, struct node_loc *func, long args, long code,
     200                 :            :                    struct node_loc *loc)
     201                 :            : {
     202                 :       1526 :   long name=newnode(Fentry,newconst(t,func),-1,func);
     203                 :       1526 :   return newnode(Fassign,name,newnode(Flambda,args,code,loc),loc);
     204                 :            : }
     205                 :            : 
     206                 :            : 

Generated by: LCOV version 1.9