diff options
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2011-05-12 19:15:06 +0000 |
---|---|---|
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2011-05-12 19:15:06 +0000 |
commit | 76ba8e58d7c530adfe4998b8d2d63099917deca6 (patch) | |
tree | a2dbc9ccb91ed8984d2c817f07f3583ba06530b1 /exp-sgcheck/tests/add.c | |
parent | 90794f59b4c9e3606b84e086697c2525c6043f3e (diff) |
Remove old exp-ptrcheck tests which were never used.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11750 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'exp-sgcheck/tests/add.c')
-rw-r--r-- | exp-sgcheck/tests/add.c | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/exp-sgcheck/tests/add.c b/exp-sgcheck/tests/add.c deleted file mode 100644 index f861a628..00000000 --- a/exp-sgcheck/tests/add.c +++ /dev/null @@ -1,40 +0,0 @@ -#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, p); // ok, det - - g(+, p, n, p); // ok, det - - g(+, p, p, e); // detected bad add; det, det - - g(+, n, un, u); // undet, undet - g(+, n, up, u); // ok, undet - - g(+, un, n, u); // undet, undet - g(+, up, n, u); // ok, undet - - g(+, un, un, u); // undet, undet - g(+, un, up, u); // undet, undet - g(+, up, un, u); // undet, undet - g(+, up, up, u); // undetected bad add; undet, undet - - g(+, un, p, u); // undet, undet - g(+, up, p, u); // undetected bad add; undet, undet - - g(+, p, un, u); // undet, undet - g(+, p, up, u); // undetected bad add; undet, undet - - return 0; -} |