035_invariant.c

Go to the documentation of this file.

// objective: test \invariant, \pre and \post commands
// check: 035__invariant_8c.xml

/** \file */

/** \invariant i+j=p
 *  \pre       p>=0
 *  \post      *q=2^(p+1)
 */
void func(int p,int *q)
{
  int j = p, k=1, i;
  for (i=0; i<=p; i++) j--,k=k*2;
  *q = k;
}