exp-sgcheck/tests/imul.c

#include <stdio.h>
#include <stdlib.h>
#include <signal.h>
#include <setjmp.h>
#include <assert.h>

#include "arith_include1.c"

int main(void)
{
   #include "arith_include2.c"

   // ADD =========================================================
   g(*, n,  n,  n);  // det, det

   g(*, n,  p,  n);  // det, det

   g(*, p,  n,  n);  // ok, det

   g(*, p,  p,  e);  // detected bad mul;  det, det

   g(*, n,  un, n);  // det, det
   g(*, n,  up, n);  // ok, det

   g(*, un, n,  n);  // det, det
   g(*, up, n,  n);  // ok, det

   g(*, un, un, n);  // det, det
   g(*, un, up, n);  // det, det
   g(*, up, un, n);  // det, det
   g(*, up, up, n);  // undetected bad imul; det, det

   g(*, un, p,  n);  // det, det
   g(*, up, p,  n);  // undetected bad imul; det, det

   g(*, p,  un, n);  // det, det
   g(*, p,  up, n);  // undetected bad imul; det, det
  
   return 0;
}