Skip to content

Instantly share code, notes, and snippets.

@BeMg

BeMg/test1.c

Created April 14, 2020 09:20
Show Gist options
  • Save BeMg/f8ffbf497d12101ace414f6b406e73a1 to your computer and use it in GitHub Desktop.
Save BeMg/f8ffbf497d12101ace414f6b406e73a1 to your computer and use it in GitHub Desktop.
Download ZIP
CBA TEST CASE
Raw
test1.c
#include <stdio.h>
//unsigned long TEMP;
#define TEMP 0xF0000000
#define BASE (TEMP + 0x80000)
#define SRC1 (BASE + 0x000000F0)
#define SRC2 (BASE + 0x000000F4)
#define SRC3 (BASE + 0x000000F8)
#define SRC4 (BASE + 0x000000Fc)
#define SRC5 (BASE + 0x00000100)
#define SRC6 (BASE + 0x00000104)
#define SRC7 (BASE + 0x00000108)
#define SRC8 (BASE + 0x0000010C)
#define DEST (TEMP + 0x18F14)
int test()
{
//TEMP = 0xF0000000;
*(volatile unsigned int*)(DEST) = *(volatile unsigned int*)(SRC3);
*(volatile unsigned int*)(DEST) = *(volatile unsigned int*)(SRC4);
*(volatile unsigned int*)(DEST) = *(volatile unsigned int*)(SRC5);
*(volatile unsigned int*)(DEST) = *(volatile unsigned int*)(SRC6);
*(volatile unsigned int*)(DEST) = *(volatile unsigned int*)(SRC7);
*(volatile unsigned int*)(DEST) = *(volatile unsigned int*)(SRC8);
return 0;
}
int main(int argc, char** argv)
{
test();
}
Raw
test2.c
#define FMT10 "%d%d%d%d%d%d%d%d%d%d"
#define FMT100 FMT10 FMT10 FMT10 FMT10 FMT10 FMT10 FMT10 FMT10 FMT10 FMT10
#define FMT1000 FMT100 FMT100 FMT100 FMT100 FMT100 \
FMT100 FMT100 FMT100 FMT100 FMT100
#define ARG10 , i, i, i, i, i, i, i, i, i, i
#define ARG100 ARG10 ARG10 ARG10 ARG10 ARG10 ARG10 ARG10 ARG10 ARG10 ARG10
#define ARG1000 ARG100 ARG100 ARG100 ARG100 ARG100 \
ARG100 ARG100 ARG100 ARG100 ARG100
void foo (char *s, int i, int j)
{
__builtin___snprintf_chk (s, i, 1, j, FMT1000 ARG1000);
}
Raw
test3.c
/*
* @(#)t15_20a.c 2008.3 12/01/04
* (c) Copyright 2003,2006 ACE Associated Compiler Experts bv
* (c) Copyright 2003,2006 ACE Associated Computer Experts bv
* All rights reserved. Subject to conditions in RESTRICTIONS file.
*/
#ifndef CVAL_DEF_H
#define CVAL_DEF_H
#ifndef CVAL_TARGET_H
#define CVAL_TARGET_H
/*
* SuperTest Features
*/
#define CVAL_COMPACT
/* #define CVAL_HAVE_COMPLEX */
/* #define CVAL_HAVE_LONG_LONG */
/* #define CVAL_NOFLOAT */
/* #define CVAL_NO_ARGC_ARGV */
/*
* SuperTest reporting stuff. Note that this part should only
* be visible when compiling the reporting library to prevent name space
* pollution in test files.
*/
#ifdef COMPILING_CVAL_LIB
#include <stdio.h>
#define CVAL_PUTCHAR(x) putchar(x)
#include <stdlib.h>
#define CVAL_EXIT(x) exit(x)
#endif
/*
* Target dependent values
*/
#define CVAL_LONGLONGSIZE (__CHAR_BIT__ * __SIZEOF_LONG_LONG__) /* The size of a long long in bits. */
#define CVAL_LONGSIZE (__CHAR_BIT__ * __SIZEOF_LONG__) /* The size of a long in bits. */
#define CVAL_INTSIZE (__CHAR_BIT__ * __SIZEOF_INT__) /* The size of an int in bits */
#define CVAL_SHORTSIZE (__CHAR_BIT__ * __SIZEOF_SHORT__) /* The size of a short in bits. */
#define CVAL_CHARSIZE (__CHAR_BIT__ * 1) /* The size of a char in bits. */
#define CVAL_POINTERSIZE (__CHAR_BIT__ * __SIZEOF_POINTER__) /* The size of a pointer in bits. */
#define CVAL_WCHARSIZE (__CHAR_BIT__ * __SIZEOF_WCHAR_T__) /* The size of wchar_t in bits. */
/* #define ONECOMPL */ /* machine is one's complement */
#define TWOCOMPL /* machine is two's complement */
/*
* IEEE-754 example values
*/
#define FLOAT_MANTISSA 24
#define DOUBLE_MANTISSA 53
/*
* Floating point absolute and relative precision for float and double.
*/
#ifdef CVAL_FP_IEEE
/*
* These values should be attainable for IEEE-754.
* Accumulating errors in eg math functions might exceed the bounds.
* From considerations of quality, an attempt should be made to fix such
* math functions.
* Otherwise these values might be adapted.
*/
#define CVAL_A_FLOAT_PRECISION 5E-6
#define CVAL_R_FLOAT_PRECISION 5E-7
#define CVAL_A_DOUBLE_PRECISION 1E-14
#define CVAL_R_DOUBLE_PRECISION 1E-15
#define CVAL_A_LDOUBLE_PRECISION 1E-14
#define CVAL_R_LDOUBLE_PRECISION 1E-15
#else /* ! CVAL_FP_IEEE */
/*
* These are well within ISO-C minimum precision requirements for
* the accuracy of floating point representation.
*/
#define CVAL_A_FLOAT_PRECISION 5E-4
#define CVAL_R_FLOAT_PRECISION 5E-5
#define CVAL_A_DOUBLE_PRECISION 5E-8
#define CVAL_R_DOUBLE_PRECISION 5E-9
#define CVAL_A_LDOUBLE_PRECISION 5E-8
#define CVAL_R_LDOUBLE_PRECISION 5E-9
#endif /* CVAL_FP_IEEE */
#endif /* CVAL_TARGET_H */
#ifndef CVAL_A_LDOUBLE_PRECISION
#define CVAL_A_LDOUBLE_PRECISION CVAL_A_DOUBLE_PRECISION
#endif
#ifndef CVAL_R_LDOUBLE_PRECISION
#define CVAL_R_LDOUBLE_PRECISION CVAL_R_DOUBLE_PRECISION
#endif
/*
* This file does not (and should not) #include standard headers.
* If testfiles need them, they should include them.
*/
#ifndef CVAL_HEADER
#define CVAL_HEADER(s) CVAL_HEADER_FUNC(s)
#endif
#ifndef CVAL_SECTION
#define CVAL_SECTION(s) CVAL_SECTION_FUNC(s)
#endif
#ifndef CVAL_ENDSECTION
#define CVAL_ENDSECTION() CVAL_ENDSECTION_FUNC()
#endif
#ifndef CVAL_ACTION
#define CVAL_ACTION(s) CVAL_ACTION_FUNC(s)
#endif
#ifndef CVAL_DOTEST
#define CVAL_DOTEST(do_str) act = #do_str; do_str;
#endif
#ifndef CVAL_NOTEST
#define CVAL_NOTEST() CVAL_NOTEST_FUNC()
#endif
#ifndef CVAL_CASE
#define CVAL_CASE(c) CVAL_CASE_FUNC(c)
#endif
#ifndef CVAL_NOCASE
#define CVAL_NOCASE() CVAL_NOCASE_FUNC()
#endif
#ifndef CVAL_RFLAG
#define CVAL_RFLAG 1
#endif
#ifndef CVAL_VFLAG
#define CVAL_VFLAG 1
#endif
#ifndef CVAL_VERIFY
/*
* Must be a block statement for backwards compatibility.
*/
#ifdef CVAL_COMPACT
#define CVAL_VERIFY(be) CVAL_VERIFY_FUNC(be, #be, __LINE__)
#else /* ! CVAL_COMPACT */
#define CVAL_VERIFY(be) \
do { const char *savact = act; int cval_fail; \
if (act == (char *)0 || *act == (char)0) act = #be; \
cval_fail = !(be); \
if (cval_fail) CVAL_VERBOSE(__LINE__); \
totalfail += cval_fail; \
act = savact; \
} while (0)
#endif /* CVAL_COMPACT */
#endif /* CVAL_VERIFY */
#define CVAL_ARRAY_COUNT(x) (sizeof(x) / sizeof(x[0]))
/*
* use sparingly, only for avoiding epilogue of MAIN
* usually returning from MAIN will do
*/
void do_exit (int);
/*
* For backwards compatibility.
*/
#define CVAL_CONST const
#ifndef NULLCHAR
#define NULLCHAR '\0'
#endif
typedef struct defstruct {
/* Sizes in bits. */
int charsize;
int shortsize;
int intsize;
int longsize;
/* Maximum values. */
signed char maxch;
short maxsh;
int maxin;
long maxlo;
/* Minimum values. */
signed char minch;
short minsh;
int minin;
long minlo;
/* Maximum values for unsigned types. */
unsigned char u_maxch;
unsigned short u_maxsh;
unsigned int u_maxin;
unsigned long u_maxlo;
int plain_char_is_signed;
#ifndef CVAL_NOFLOAT
/* Parameters of floating point values. */
int dbl_fract; /* double fraction (bits) */
int dbl_radix; /* double radix */
int fl_fract; /* float fraction (bits) */
int fl_radix; /* float radix */
#endif /* CVAL_NOFLOAT */
} DEFSTRUCT;
/*
* The following is used to check floating point against some other value
* with a predefined precision.
*/
#ifndef CVAL_FC
#define CVAL_FC(f, val) cval_float_approximates((f), (val))
#endif
#ifndef CVAL_DC
#define CVAL_DC(f, val) cval_double_approximates((f), (val))
#endif
#ifndef CVAL_QC
#define CVAL_QC(f, val) cval_ldouble_approximates((f), (val))
#endif
/*
* Declarations for library functions and variables.
*/
extern DEFSTRUCT env;
extern const char *act;
extern int exitval, totalfail;
void CVAL_VERBOSE (int);
void CVAL_VERIFY_FUNC (int, const char *, int);
void CVAL_ACTION_FUNC (const char *);
void CVAL_HEADER_FUNC (const char *);
void CVAL_SECTION_FUNC (const char *);
void CVAL_ENDSECTION_FUNC (void);
void CVAL_NOTEST_FUNC (void);
void CVAL_CASE_FUNC (int);
void CVAL_NOCASE_FUNC (void);
int cval_identity_int (int);
unsigned int cval_identity_uint (unsigned int);
long cval_identity_long (long);
unsigned long cval_identity_ulong (unsigned long);
void *cval_identity_pointer (void *);
#ifdef CVAL_HAVE_LONG_LONG
long long cval_identity_longlong (long long);
unsigned long long cval_identity_ulonglong (unsigned long long);
#endif
#ifndef CVAL_NOFLOAT
float cval_identity_float (float x);
double cval_identity_double (double x);
long double cval_identity_ldouble (long double x);
int cval_float_approximates (double, double);
int cval_double_approximates (double, double);
int cval_ldouble_approximates (long double, long double);
#ifdef CVAL_HAVE_COMPLEX
float _Complex cval_identity_fcmplx (float _Complex);
double _Complex cval_identity_cmplx (double _Complex);
long double _Complex cval_identity_lcmplx (long double _Complex);
int cval_fcmplx_approximates (float _Complex, float _Complex);
int cval_cmplx_approximates (double _Complex, double _Complex);
int cval_lcmplx_approximates (
long double _Complex, long double _Complex);
#endif
#endif
#ifdef __DSPC__
__fixed cval_identity_fixed(__fixed x);
long __fixed cval_identity_lfixed(long __fixed x);
__accum cval_identity_accum(__accum x);
long __accum cval_identity_laccum(long __accum x);
#endif
#ifdef __EMBEDDEDC__
signed short _Fract cval_identity_shr( signed short _Fract );
signed short _Accum cval_identity_shk( signed short _Accum );
signed _Fract cval_identity_sr( signed _Fract );
signed _Accum cval_identity_sk( signed _Accum );
signed long _Fract cval_identity_slr( signed long _Fract );
signed long _Accum cval_identity_slk( signed long _Accum );
unsigned short _Fract cval_identity_uhr( unsigned short _Fract );
unsigned short _Accum cval_identity_uhk( unsigned short _Accum );
unsigned _Fract cval_identity_ur( unsigned _Fract );
unsigned _Accum cval_identity_uk( unsigned _Accum );
unsigned long _Fract cval_identity_ulr( unsigned long _Fract );
unsigned long _Accum cval_identity_ulk( unsigned long _Accum );
#endif
extern char* cval_strcat (char *, const char *);
extern int cval_strlen (const char *);
extern void cval_itoa(int, char *);
extern char* cval_strcpy (char *, const char *);
extern int cval_strcmp (const char *, const char *);
extern int cval_put_string(const char *);
extern void cval_put_decimal(long);
extern void cval_put_hex(long);
extern int cval_memcmp (const void *, const void *, int);
extern void* cval_memcpy (void *, const void *, int);
extern void* cval_memset (void *, int, int);
#define cval_never() cval_identity_int(0)
#define cval_always() cval_identity_int(1)
#ifndef MAIN
# define MAIN void TEST__MAIN(void)
#endif
#ifdef xpg3
#ifndef _XOPEN_SOURCE
#define _XOPEN_SOURCE
#endif
#endif
#ifndef xpg3
#ifndef svid
#define x3j11
#endif
#endif
#endif
struct srndf_000 {
int elvis : 6;
int bruce : 8;
int mariah : 8;
int kate : 6;
int madonna : 15;
int bono : 4;
int julio;
int zuccero : 3;
int frans : 13;
int mick : 4;
int emma : 13;
int andre : 10;
int thomas : 15;
int paul : 8;
int : 1;
int chris : 5;
int vonda : 6;
short presley;
int carey : 5;
int jannis : 14;
char mark;
int waits : 14;
int bauer : 8;
char jagger;
int chaplin : 14;
int hazes : 15;
int acda;
int munnick : 5;
short isaac;
int deus : 7;
int dixie : 12;
int barry : 14;
int : 4;
int bonjovi : 8;
};
struct srndf_001 {
int elvis : 10;
char bruce;
int mariah : 8;
int : 0;
int kate : 6;
int madonna : 10;
int : 0;
long bono;
int julio : 12;
int zuccero : 8;
int frans : 14;
char mick;
int emma : 6;
int andre : 11;
int thomas : 13;
int paul : 3;
int chris : 11;
int vonda : 12;
int : 1;
int presley;
int carey;
short jannis;
int mark : 7;
int waits : 9;
short bauer;
int jagger : 9;
int chaplin : 3;
int hazes;
int acda : 5;
int munnick : 15;
int isaac : 4;
char deus;
int dixie : 5;
int barry : 5;
int bonjovi : 10;
};
struct srndf_002 {
int elvis : 13;
int bruce : 7;
int mariah : 8;
int kate : 7;
int madonna : 12;
int bono : 12;
int : 4;
int julio : 10;
int zuccero : 14;
int frans;
int mick;
int emma : 9;
int andre : 14;
int thomas : 6;
int : 3;
char paul;
int chris : 15;
char vonda;
int presley : 13;
int carey : 12;
int jannis : 14;
int mark : 9;
int waits : 15;
int bauer : 13;
int jagger;
short chaplin;
int hazes : 10;
int : 0;
int acda : 4;
int munnick : 15;
int isaac : 12;
int deus : 10;
int dixie : 3;
short barry;
int bonjovi;
};
struct srndf_003 {
int elvis : 10;
int : 5;
long bruce;
int mariah : 13;
int kate : 15;
int madonna : 14;
int bono : 6;
int julio : 14;
int zuccero : 13;
int frans : 4;
long mick;
int emma : 8;
int andre : 7;
int thomas : 14;
int paul;
int chris : 10;
int vonda : 9;
int presley : 12;
int carey : 10;
int jannis : 7;
int : 2;
int mark : 6;
int waits : 9;
int bauer : 13;
int jagger : 14;
long chaplin;
int hazes : 14;
char acda;
int munnick : 14;
int isaac : 8;
char deus;
int dixie : 3;
int barry : 15;
int bonjovi : 6;
};
struct srndf_004 {
char elvis;
long bruce;
int mariah : 12;
int kate : 5;
int madonna : 7;
int bono : 4;
int julio : 7;
int zuccero : 7;
int frans : 8;
char mick;
int emma : 11;
int andre : 14;
int thomas : 10;
int paul : 8;
int chris : 14;
int vonda : 9;
char presley;
int carey : 8;
int jannis : 12;
int mark : 5;
int waits : 10;
int : 1;
long bauer;
int jagger : 9;
int chaplin : 14;
int hazes;
int acda : 11;
int munnick : 11;
int isaac : 3;
int deus : 13;
int dixie : 15;
int barry : 9;
int bonjovi : 13;
};
static int
test_rnd_000(void)
{
int accum = 0;
static struct srndf_000 s0;
struct srndf_000 s1;
struct srndf_000 s2 = {2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2};
s1.elvis = 1;
s1.bruce = 1;
s1.mariah = 1;
s1.kate = 1;
s1.madonna = 1;
s1.bono = 1;
s1.julio = 1;
s1.zuccero = 1;
s1.frans = 1;
s1.mick = 1;
s1.emma = 1;
s1.andre = 1;
s1.thomas = 1;
s1.paul = 1;
s1.chris = 1;
s1.vonda = 1;
s1.presley = 1;
s1.carey = 1;
s1.jannis = 1;
s1.mark = 1;
s1.waits = 1;
s1.bauer = 1;
s1.jagger = 1;
s1.chaplin = 1;
s1.hazes = 1;
s1.acda = 1;
s1.munnick = 1;
s1.isaac = 1;
s1.deus = 1;
s1.dixie = 1;
s1.barry = 1;
s1.bonjovi = 1;
accum += s2.elvis - s1.elvis;
accum += s2.bruce - s1.bruce;
accum += s2.mariah - s1.mariah;
accum += s2.kate - s1.kate;
accum += s2.madonna - s1.madonna;
accum += s2.bono - s1.bono;
accum += s2.julio - s1.julio;
accum += s2.zuccero - s1.zuccero;
accum += s2.frans - s1.frans;
accum += s2.mick - s1.mick;
accum += s2.emma - s1.emma;
accum += s2.andre - s1.andre;
accum += s2.thomas - s1.thomas;
accum += s2.paul - s1.paul;
accum += s2.chris - s1.chris;
accum += s2.vonda - s1.vonda;
accum += s2.presley - s1.presley;
accum += s2.carey - s1.carey;
accum += s2.jannis - s1.jannis;
accum += s2.mark - s1.mark;
accum += s2.waits - s1.waits;
accum += s2.bauer - s1.bauer;
accum += s2.jagger - s1.jagger;
accum += s2.chaplin - s1.chaplin;
accum += s2.hazes - s1.hazes;
accum += s2.acda - s1.acda;
accum += s2.munnick - s1.munnick;
accum += s2.isaac - s1.isaac;
accum += s2.deus - s1.deus;
accum += s2.dixie - s1.dixie;
accum += s2.barry - s1.barry;
accum += s2.bonjovi - s1.bonjovi;
CVAL_VERIFY(accum == 32);
s0.bruce = 0;
s0.elvis =-1;
CVAL_VERIFY(s0.bruce == 0);
s0.elvis = 0;
s0.mariah = 0;
s0.bruce =-1;
CVAL_VERIFY(s0.elvis == 0);
CVAL_VERIFY(s0.mariah == 0);
s0.bruce = 0;
s0.kate = 0;
s0.mariah =-1;
CVAL_VERIFY(s0.bruce == 0);
CVAL_VERIFY(s0.kate == 0);
s0.mariah = 0;
s0.madonna = 0;
s0.kate =-1;
CVAL_VERIFY(s0.mariah == 0);
CVAL_VERIFY(s0.madonna == 0);
s0.kate = 0;
s0.bono = 0;
s0.madonna =-1;
CVAL_VERIFY(s0.kate == 0);
CVAL_VERIFY(s0.bono == 0);
s0.madonna = 0;
s0.julio = 0;
s0.bono =-1;
CVAL_VERIFY(s0.madonna == 0);
CVAL_VERIFY(s0.julio == 0);
s0.bono = 0;
s0.zuccero = 0;
s0.julio =-1;
CVAL_VERIFY(s0.bono == 0);
CVAL_VERIFY(s0.zuccero == 0);
s0.julio = 0;
s0.frans = 0;
s0.zuccero =-1;
CVAL_VERIFY(s0.julio == 0);
CVAL_VERIFY(s0.frans == 0);
s0.zuccero = 0;
s0.mick = 0;
s0.frans =-1;
CVAL_VERIFY(s0.zuccero == 0);
CVAL_VERIFY(s0.mick == 0);
s0.frans = 0;
s0.emma = 0;
s0.mick =-1;
CVAL_VERIFY(s0.frans == 0);
CVAL_VERIFY(s0.emma == 0);
s0.mick = 0;
s0.andre = 0;
s0.emma =-1;
CVAL_VERIFY(s0.mick == 0);
CVAL_VERIFY(s0.andre == 0);
s0.emma = 0;
s0.thomas = 0;
s0.andre =-1;
CVAL_VERIFY(s0.emma == 0);
CVAL_VERIFY(s0.thomas == 0);
s0.andre = 0;
s0.paul = 0;
s0.thomas =-1;
CVAL_VERIFY(s0.andre == 0);
CVAL_VERIFY(s0.paul == 0);
s0.thomas = 0;
s0.chris = 0;
s0.paul =-1;
CVAL_VERIFY(s0.thomas == 0);
CVAL_VERIFY(s0.chris == 0);
s0.paul = 0;
s0.vonda = 0;
s0.chris =-1;
CVAL_VERIFY(s0.paul == 0);
CVAL_VERIFY(s0.vonda == 0);
s0.chris = 0;
s0.presley = 0;
s0.vonda =-1;
CVAL_VERIFY(s0.chris == 0);
CVAL_VERIFY(s0.presley == 0);
s0.vonda = 0;
s0.carey = 0;
s0.presley =-1;
CVAL_VERIFY(s0.vonda == 0);
CVAL_VERIFY(s0.carey == 0);
s0.presley = 0;
s0.jannis = 0;
s0.carey =-1;
CVAL_VERIFY(s0.presley == 0);
CVAL_VERIFY(s0.jannis == 0);
s0.carey = 0;
s0.mark = 0;
s0.jannis =-1;
CVAL_VERIFY(s0.carey == 0);
CVAL_VERIFY(s0.mark == 0);
s0.jannis = 0;
s0.waits = 0;
s0.mark =-1;
CVAL_VERIFY(s0.jannis == 0);
CVAL_VERIFY(s0.waits == 0);
s0.mark = 0;
s0.bauer = 0;
s0.waits =-1;
CVAL_VERIFY(s0.mark == 0);
CVAL_VERIFY(s0.bauer == 0);
s0.waits = 0;
s0.jagger = 0;
s0.bauer =-1;
CVAL_VERIFY(s0.waits == 0);
CVAL_VERIFY(s0.jagger == 0);
s0.bauer = 0;
s0.chaplin = 0;
s0.jagger =-1;
CVAL_VERIFY(s0.bauer == 0);
CVAL_VERIFY(s0.chaplin == 0);
s0.jagger = 0;
s0.hazes = 0;
s0.chaplin =-1;
CVAL_VERIFY(s0.jagger == 0);
CVAL_VERIFY(s0.hazes == 0);
s0.chaplin = 0;
s0.acda = 0;
s0.hazes =-1;
CVAL_VERIFY(s0.chaplin == 0);
CVAL_VERIFY(s0.acda == 0);
s0.hazes = 0;
s0.munnick = 0;
s0.acda =-1;
CVAL_VERIFY(s0.hazes == 0);
CVAL_VERIFY(s0.munnick == 0);
s0.acda = 0;
s0.isaac = 0;
s0.munnick =-1;
CVAL_VERIFY(s0.acda == 0);
CVAL_VERIFY(s0.isaac == 0);
s0.munnick = 0;
s0.deus = 0;
s0.isaac =-1;
CVAL_VERIFY(s0.munnick == 0);
CVAL_VERIFY(s0.deus == 0);
s0.isaac = 0;
s0.dixie = 0;
s0.deus =-1;
CVAL_VERIFY(s0.isaac == 0);
CVAL_VERIFY(s0.dixie == 0);
s0.deus = 0;
s0.barry = 0;
s0.dixie =-1;
CVAL_VERIFY(s0.deus == 0);
CVAL_VERIFY(s0.barry == 0);
s0.dixie = 0;
s0.bonjovi = 0;
s0.barry =-1;
CVAL_VERIFY(s0.dixie == 0);
CVAL_VERIFY(s0.bonjovi == 0);
s0.barry = 0;
s0.bonjovi =-1;
CVAL_VERIFY(s0.barry == 0);
return (accum == 32);
}
static int
test_rnd_001(void)
{
int accum = 0;
static struct srndf_001 s0;
struct srndf_001 s1;
struct srndf_001 s2 = {2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2};
s1.elvis = 1;
s1.bruce = 1;
s1.mariah = 1;
s1.kate = 1;
s1.madonna = 1;
s1.bono = 1;
s1.julio = 1;
s1.zuccero = 1;
s1.frans = 1;
s1.mick = 1;
s1.emma = 1;
s1.andre = 1;
s1.thomas = 1;
s1.paul = 1;
s1.chris = 1;
s1.vonda = 1;
s1.presley = 1;
s1.carey = 1;
s1.jannis = 1;
s1.mark = 1;
s1.waits = 1;
s1.bauer = 1;
s1.jagger = 1;
s1.chaplin = 1;
s1.hazes = 1;
s1.acda = 1;
s1.munnick = 1;
s1.isaac = 1;
s1.deus = 1;
s1.dixie = 1;
s1.barry = 1;
s1.bonjovi = 1;
accum += s2.elvis - s1.elvis;
accum += s2.bruce - s1.bruce;
accum += s2.mariah - s1.mariah;
accum += s2.kate - s1.kate;
accum += s2.madonna - s1.madonna;
accum += s2.bono - s1.bono;
accum += s2.julio - s1.julio;
accum += s2.zuccero - s1.zuccero;
accum += s2.frans - s1.frans;
accum += s2.mick - s1.mick;
accum += s2.emma - s1.emma;
accum += s2.andre - s1.andre;
accum += s2.thomas - s1.thomas;
accum += s2.paul - s1.paul;
accum += s2.chris - s1.chris;
accum += s2.vonda - s1.vonda;
accum += s2.presley - s1.presley;
accum += s2.carey - s1.carey;
accum += s2.jannis - s1.jannis;
accum += s2.mark - s1.mark;
accum += s2.waits - s1.waits;
accum += s2.bauer - s1.bauer;
accum += s2.jagger - s1.jagger;
accum += s2.chaplin - s1.chaplin;
accum += s2.hazes - s1.hazes;
accum += s2.acda - s1.acda;
accum += s2.munnick - s1.munnick;
accum += s2.isaac - s1.isaac;
accum += s2.deus - s1.deus;
accum += s2.dixie - s1.dixie;
accum += s2.barry - s1.barry;
accum += s2.bonjovi - s1.bonjovi;
CVAL_VERIFY(accum == 32);
s0.bruce = 0;
s0.elvis =-1;
CVAL_VERIFY(s0.bruce == 0);
s0.elvis = 0;
s0.mariah = 0;
s0.bruce =-1;
CVAL_VERIFY(s0.elvis == 0);
CVAL_VERIFY(s0.mariah == 0);
s0.bruce = 0;
s0.kate = 0;
s0.mariah =-1;
CVAL_VERIFY(s0.bruce == 0);
CVAL_VERIFY(s0.kate == 0);
s0.mariah = 0;
s0.madonna = 0;
s0.kate =-1;
CVAL_VERIFY(s0.mariah == 0);
CVAL_VERIFY(s0.madonna == 0);
s0.kate = 0;
s0.bono = 0;
s0.madonna =-1;
CVAL_VERIFY(s0.kate == 0);
CVAL_VERIFY(s0.bono == 0);
s0.madonna = 0;
s0.julio = 0;
s0.bono =-1;
CVAL_VERIFY(s0.madonna == 0);
CVAL_VERIFY(s0.julio == 0);
s0.bono = 0;
s0.zuccero = 0;
s0.julio =-1;
CVAL_VERIFY(s0.bono == 0);
CVAL_VERIFY(s0.zuccero == 0);
s0.julio = 0;
s0.frans = 0;
s0.zuccero =-1;
CVAL_VERIFY(s0.julio == 0);
CVAL_VERIFY(s0.frans == 0);
s0.zuccero = 0;
s0.mick = 0;
s0.frans =-1;
CVAL_VERIFY(s0.zuccero == 0);
CVAL_VERIFY(s0.mick == 0);
s0.frans = 0;
s0.emma = 0;
s0.mick =-1;
CVAL_VERIFY(s0.frans == 0);
CVAL_VERIFY(s0.emma == 0);
s0.mick = 0;
s0.andre = 0;
s0.emma =-1;
CVAL_VERIFY(s0.mick == 0);
CVAL_VERIFY(s0.andre == 0);
s0.emma = 0;
s0.thomas = 0;
s0.andre =-1;
CVAL_VERIFY(s0.emma == 0);
CVAL_VERIFY(s0.thomas == 0);
s0.andre = 0;
s0.paul = 0;
s0.thomas =-1;
CVAL_VERIFY(s0.andre == 0);
CVAL_VERIFY(s0.paul == 0);
s0.thomas = 0;
s0.chris = 0;
s0.paul =-1;
CVAL_VERIFY(s0.thomas == 0);
CVAL_VERIFY(s0.chris == 0);
s0.paul = 0;
s0.vonda = 0;
s0.chris =-1;
CVAL_VERIFY(s0.paul == 0);
CVAL_VERIFY(s0.vonda == 0);
s0.chris = 0;
s0.presley = 0;
s0.vonda =-1;
CVAL_VERIFY(s0.chris == 0);
CVAL_VERIFY(s0.presley == 0);
s0.vonda = 0;
s0.carey = 0;
s0.presley =-1;
CVAL_VERIFY(s0.vonda == 0);
CVAL_VERIFY(s0.carey == 0);
s0.presley = 0;
s0.jannis = 0;
s0.carey =-1;
CVAL_VERIFY(s0.presley == 0);
CVAL_VERIFY(s0.jannis == 0);
s0.carey = 0;
s0.mark = 0;
s0.jannis =-1;
CVAL_VERIFY(s0.carey == 0);
CVAL_VERIFY(s0.mark == 0);
s0.jannis = 0;
s0.waits = 0;
s0.mark =-1;
CVAL_VERIFY(s0.jannis == 0);
CVAL_VERIFY(s0.waits == 0);
s0.mark = 0;
s0.bauer = 0;
s0.waits =-1;
CVAL_VERIFY(s0.mark == 0);
CVAL_VERIFY(s0.bauer == 0);
s0.waits = 0;
s0.jagger = 0;
s0.bauer =-1;
CVAL_VERIFY(s0.waits == 0);
CVAL_VERIFY(s0.jagger == 0);
s0.bauer = 0;
s0.chaplin = 0;
s0.jagger =-1;
CVAL_VERIFY(s0.bauer == 0);
CVAL_VERIFY(s0.chaplin == 0);
s0.jagger = 0;
s0.hazes = 0;
s0.chaplin =-1;
CVAL_VERIFY(s0.jagger == 0);
CVAL_VERIFY(s0.hazes == 0);
s0.chaplin = 0;
s0.acda = 0;
s0.hazes =-1;
CVAL_VERIFY(s0.chaplin == 0);
CVAL_VERIFY(s0.acda == 0);
s0.hazes = 0;
s0.munnick = 0;
s0.acda =-1;
CVAL_VERIFY(s0.hazes == 0);
CVAL_VERIFY(s0.munnick == 0);
s0.acda = 0;
s0.isaac = 0;
s0.munnick =-1;
CVAL_VERIFY(s0.acda == 0);
CVAL_VERIFY(s0.isaac == 0);
s0.munnick = 0;
s0.deus = 0;
s0.isaac =-1;
CVAL_VERIFY(s0.munnick == 0);
CVAL_VERIFY(s0.deus == 0);
s0.isaac = 0;
s0.dixie = 0;
s0.deus =-1;
CVAL_VERIFY(s0.isaac == 0);
CVAL_VERIFY(s0.dixie == 0);
s0.deus = 0;
s0.barry = 0;
s0.dixie =-1;
CVAL_VERIFY(s0.deus == 0);
CVAL_VERIFY(s0.barry == 0);
s0.dixie = 0;
s0.bonjovi = 0;
s0.barry =-1;
CVAL_VERIFY(s0.dixie == 0);
CVAL_VERIFY(s0.bonjovi == 0);
s0.barry = 0;
s0.bonjovi =-1;
CVAL_VERIFY(s0.barry == 0);
return (accum == 32);
}
static int
test_rnd_002(void)
{
int accum = 0;
static struct srndf_002 s0;
struct srndf_002 s1;
struct srndf_002 s2 = {2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2};
s1.elvis = 1;
s1.bruce = 1;
s1.mariah = 1;
s1.kate = 1;
s1.madonna = 1;
s1.bono = 1;
s1.julio = 1;
s1.zuccero = 1;
s1.frans = 1;
s1.mick = 1;
s1.emma = 1;
s1.andre = 1;
s1.thomas = 1;
s1.paul = 1;
s1.chris = 1;
s1.vonda = 1;
s1.presley = 1;
s1.carey = 1;
s1.jannis = 1;
s1.mark = 1;
s1.waits = 1;
s1.bauer = 1;
s1.jagger = 1;
s1.chaplin = 1;
s1.hazes = 1;
s1.acda = 1;
s1.munnick = 1;
s1.isaac = 1;
s1.deus = 1;
s1.dixie = 1;
s1.barry = 1;
s1.bonjovi = 1;
accum += s2.elvis - s1.elvis;
accum += s2.bruce - s1.bruce;
accum += s2.mariah - s1.mariah;
accum += s2.kate - s1.kate;
accum += s2.madonna - s1.madonna;
accum += s2.bono - s1.bono;
accum += s2.julio - s1.julio;
accum += s2.zuccero - s1.zuccero;
accum += s2.frans - s1.frans;
accum += s2.mick - s1.mick;
accum += s2.emma - s1.emma;
accum += s2.andre - s1.andre;
accum += s2.thomas - s1.thomas;
accum += s2.paul - s1.paul;
accum += s2.chris - s1.chris;
accum += s2.vonda - s1.vonda;
accum += s2.presley - s1.presley;
accum += s2.carey - s1.carey;
accum += s2.jannis - s1.jannis;
accum += s2.mark - s1.mark;
accum += s2.waits - s1.waits;
accum += s2.bauer - s1.bauer;
accum += s2.jagger - s1.jagger;
accum += s2.chaplin - s1.chaplin;
accum += s2.hazes - s1.hazes;
accum += s2.acda - s1.acda;
accum += s2.munnick - s1.munnick;
accum += s2.isaac - s1.isaac;
accum += s2.deus - s1.deus;
accum += s2.dixie - s1.dixie;
accum += s2.barry - s1.barry;
accum += s2.bonjovi - s1.bonjovi;
CVAL_VERIFY(accum == 32);
s0.bruce = 0;
s0.elvis =-1;
CVAL_VERIFY(s0.bruce == 0);
s0.elvis = 0;
s0.mariah = 0;
s0.bruce =-1;
CVAL_VERIFY(s0.elvis == 0);
CVAL_VERIFY(s0.mariah == 0);
s0.bruce = 0;
s0.kate = 0;
s0.mariah =-1;
CVAL_VERIFY(s0.bruce == 0);
CVAL_VERIFY(s0.kate == 0);
s0.mariah = 0;
s0.madonna = 0;
s0.kate =-1;
CVAL_VERIFY(s0.mariah == 0);
CVAL_VERIFY(s0.madonna == 0);
s0.kate = 0;
s0.bono = 0;
s0.madonna =-1;
CVAL_VERIFY(s0.kate == 0);
CVAL_VERIFY(s0.bono == 0);
s0.madonna = 0;
s0.julio = 0;
s0.bono =-1;
CVAL_VERIFY(s0.madonna == 0);
CVAL_VERIFY(s0.julio == 0);
s0.bono = 0;
s0.zuccero = 0;
s0.julio =-1;
CVAL_VERIFY(s0.bono == 0);
CVAL_VERIFY(s0.zuccero == 0);
s0.julio = 0;
s0.frans = 0;
s0.zuccero =-1;
CVAL_VERIFY(s0.julio == 0);
CVAL_VERIFY(s0.frans == 0);
s0.zuccero = 0;
s0.mick = 0;
s0.frans =-1;
CVAL_VERIFY(s0.zuccero == 0);
CVAL_VERIFY(s0.mick == 0);
s0.frans = 0;
s0.emma = 0;
s0.mick =-1;
CVAL_VERIFY(s0.frans == 0);
CVAL_VERIFY(s0.emma == 0);
s0.mick = 0;
s0.andre = 0;
s0.emma =-1;
CVAL_VERIFY(s0.mick == 0);
CVAL_VERIFY(s0.andre == 0);
s0.emma = 0;
s0.thomas = 0;
s0.andre =-1;
CVAL_VERIFY(s0.emma == 0);
CVAL_VERIFY(s0.thomas == 0);
s0.andre = 0;
s0.paul = 0;
s0.thomas =-1;
CVAL_VERIFY(s0.andre == 0);
CVAL_VERIFY(s0.paul == 0);
s0.thomas = 0;
s0.chris = 0;
s0.paul =-1;
CVAL_VERIFY(s0.thomas == 0);
CVAL_VERIFY(s0.chris == 0);
s0.paul = 0;
s0.vonda = 0;
s0.chris =-1;
CVAL_VERIFY(s0.paul == 0);
CVAL_VERIFY(s0.vonda == 0);
s0.chris = 0;
s0.presley = 0;
s0.vonda =-1;
CVAL_VERIFY(s0.chris == 0);
CVAL_VERIFY(s0.presley == 0);
s0.vonda = 0;
s0.carey = 0;
s0.presley =-1;
CVAL_VERIFY(s0.vonda == 0);
CVAL_VERIFY(s0.carey == 0);
s0.presley = 0;
s0.jannis = 0;
s0.carey =-1;
CVAL_VERIFY(s0.presley == 0);
CVAL_VERIFY(s0.jannis == 0);
s0.carey = 0;
s0.mark = 0;
s0.jannis =-1;
CVAL_VERIFY(s0.carey == 0);
CVAL_VERIFY(s0.mark == 0);
s0.jannis = 0;
s0.waits = 0;
s0.mark =-1;
CVAL_VERIFY(s0.jannis == 0);
CVAL_VERIFY(s0.waits == 0);
s0.mark = 0;
s0.bauer = 0;
s0.waits =-1;
CVAL_VERIFY(s0.mark == 0);
CVAL_VERIFY(s0.bauer == 0);
s0.waits = 0;
s0.jagger = 0;
s0.bauer =-1;
CVAL_VERIFY(s0.waits == 0);
CVAL_VERIFY(s0.jagger == 0);
s0.bauer = 0;
s0.chaplin = 0;
s0.jagger =-1;
CVAL_VERIFY(s0.bauer == 0);
CVAL_VERIFY(s0.chaplin == 0);
s0.jagger = 0;
s0.hazes = 0;
s0.chaplin =-1;
CVAL_VERIFY(s0.jagger == 0);
CVAL_VERIFY(s0.hazes == 0);
s0.chaplin = 0;
s0.acda = 0;
s0.hazes =-1;
CVAL_VERIFY(s0.chaplin == 0);
CVAL_VERIFY(s0.acda == 0);
s0.hazes = 0;
s0.munnick = 0;
s0.acda =-1;
CVAL_VERIFY(s0.hazes == 0);
CVAL_VERIFY(s0.munnick == 0);
s0.acda = 0;
s0.isaac = 0;
s0.munnick =-1;
CVAL_VERIFY(s0.acda == 0);
CVAL_VERIFY(s0.isaac == 0);
s0.munnick = 0;
s0.deus = 0;
s0.isaac =-1;
CVAL_VERIFY(s0.munnick == 0);
CVAL_VERIFY(s0.deus == 0);
s0.isaac = 0;
s0.dixie = 0;
s0.deus =-1;
CVAL_VERIFY(s0.isaac == 0);
CVAL_VERIFY(s0.dixie == 0);
s0.deus = 0;
s0.barry = 0;
s0.dixie =-1;
CVAL_VERIFY(s0.deus == 0);
CVAL_VERIFY(s0.barry == 0);
s0.dixie = 0;
s0.bonjovi = 0;
s0.barry =-1;
CVAL_VERIFY(s0.dixie == 0);
CVAL_VERIFY(s0.bonjovi == 0);
s0.barry = 0;
s0.bonjovi =-1;
CVAL_VERIFY(s0.barry == 0);
return (accum == 32);
}
static int
test_rnd_003(void)
{
int accum = 0;
static struct srndf_003 s0;
struct srndf_003 s1;
struct srndf_003 s2 = {2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2};
s1.elvis = 1;
s1.bruce = 1;
s1.mariah = 1;
s1.kate = 1;
s1.madonna = 1;
s1.bono = 1;
s1.julio = 1;
s1.zuccero = 1;
s1.frans = 1;
s1.mick = 1;
s1.emma = 1;
s1.andre = 1;
s1.thomas = 1;
s1.paul = 1;
s1.chris = 1;
s1.vonda = 1;
s1.presley = 1;
s1.carey = 1;
s1.jannis = 1;
s1.mark = 1;
s1.waits = 1;
s1.bauer = 1;
s1.jagger = 1;
s1.chaplin = 1;
s1.hazes = 1;
s1.acda = 1;
s1.munnick = 1;
s1.isaac = 1;
s1.deus = 1;
s1.dixie = 1;
s1.barry = 1;
s1.bonjovi = 1;
accum += s2.elvis - s1.elvis;
accum += s2.bruce - s1.bruce;
accum += s2.mariah - s1.mariah;
accum += s2.kate - s1.kate;
accum += s2.madonna - s1.madonna;
accum += s2.bono - s1.bono;
accum += s2.julio - s1.julio;
accum += s2.zuccero - s1.zuccero;
accum += s2.frans - s1.frans;
accum += s2.mick - s1.mick;
accum += s2.emma - s1.emma;
accum += s2.andre - s1.andre;
accum += s2.thomas - s1.thomas;
accum += s2.paul - s1.paul;
accum += s2.chris - s1.chris;
accum += s2.vonda - s1.vonda;
accum += s2.presley - s1.presley;
accum += s2.carey - s1.carey;
accum += s2.jannis - s1.jannis;
accum += s2.mark - s1.mark;
accum += s2.waits - s1.waits;
accum += s2.bauer - s1.bauer;
accum += s2.jagger - s1.jagger;
accum += s2.chaplin - s1.chaplin;
accum += s2.hazes - s1.hazes;
accum += s2.acda - s1.acda;
accum += s2.munnick - s1.munnick;
accum += s2.isaac - s1.isaac;
accum += s2.deus - s1.deus;
accum += s2.dixie - s1.dixie;
accum += s2.barry - s1.barry;
accum += s2.bonjovi - s1.bonjovi;
CVAL_VERIFY(accum == 32);
s0.bruce = 0;
s0.elvis =-1;
CVAL_VERIFY(s0.bruce == 0);
s0.elvis = 0;
s0.mariah = 0;
s0.bruce =-1;
CVAL_VERIFY(s0.elvis == 0);
CVAL_VERIFY(s0.mariah == 0);
s0.bruce = 0;
s0.kate = 0;
s0.mariah =-1;
CVAL_VERIFY(s0.bruce == 0);
CVAL_VERIFY(s0.kate == 0);
s0.mariah = 0;
s0.madonna = 0;
s0.kate =-1;
CVAL_VERIFY(s0.mariah == 0);
CVAL_VERIFY(s0.madonna == 0);
s0.kate = 0;
s0.bono = 0;
s0.madonna =-1;
CVAL_VERIFY(s0.kate == 0);
CVAL_VERIFY(s0.bono == 0);
s0.madonna = 0;
s0.julio = 0;
s0.bono =-1;
CVAL_VERIFY(s0.madonna == 0);
CVAL_VERIFY(s0.julio == 0);
s0.bono = 0;
s0.zuccero = 0;
s0.julio =-1;
CVAL_VERIFY(s0.bono == 0);
CVAL_VERIFY(s0.zuccero == 0);
s0.julio = 0;
s0.frans = 0;
s0.zuccero =-1;
CVAL_VERIFY(s0.julio == 0);
CVAL_VERIFY(s0.frans == 0);
s0.zuccero = 0;
s0.mick = 0;
s0.frans =-1;
CVAL_VERIFY(s0.zuccero == 0);
CVAL_VERIFY(s0.mick == 0);
s0.frans = 0;
s0.emma = 0;
s0.mick =-1;
CVAL_VERIFY(s0.frans == 0);
CVAL_VERIFY(s0.emma == 0);
s0.mick = 0;
s0.andre = 0;
s0.emma =-1;
CVAL_VERIFY(s0.mick == 0);
CVAL_VERIFY(s0.andre == 0);
s0.emma = 0;
s0.thomas = 0;
s0.andre =-1;
CVAL_VERIFY(s0.emma == 0);
CVAL_VERIFY(s0.thomas == 0);
s0.andre = 0;
s0.paul = 0;
s0.thomas =-1;
CVAL_VERIFY(s0.andre == 0);
CVAL_VERIFY(s0.paul == 0);
s0.thomas = 0;
s0.chris = 0;
s0.paul =-1;
CVAL_VERIFY(s0.thomas == 0);
CVAL_VERIFY(s0.chris == 0);
s0.paul = 0;
s0.vonda = 0;
s0.chris =-1;
CVAL_VERIFY(s0.paul == 0);
CVAL_VERIFY(s0.vonda == 0);
s0.chris = 0;
s0.presley = 0;
s0.vonda =-1;
CVAL_VERIFY(s0.chris == 0);
CVAL_VERIFY(s0.presley == 0);
s0.vonda = 0;
s0.carey = 0;
s0.presley =-1;
CVAL_VERIFY(s0.vonda == 0);
CVAL_VERIFY(s0.carey == 0);
s0.presley = 0;
s0.jannis = 0;
s0.carey =-1;
CVAL_VERIFY(s0.presley == 0);
CVAL_VERIFY(s0.jannis == 0);
s0.carey = 0;
s0.mark = 0;
s0.jannis =-1;
CVAL_VERIFY(s0.carey == 0);
CVAL_VERIFY(s0.mark == 0);
s0.jannis = 0;
s0.waits = 0;
s0.mark =-1;
CVAL_VERIFY(s0.jannis == 0);
CVAL_VERIFY(s0.waits == 0);
s0.mark = 0;
s0.bauer = 0;
s0.waits =-1;
CVAL_VERIFY(s0.mark == 0);
CVAL_VERIFY(s0.bauer == 0);
s0.waits = 0;
s0.jagger = 0;
s0.bauer =-1;
CVAL_VERIFY(s0.waits == 0);
CVAL_VERIFY(s0.jagger == 0);
s0.bauer = 0;
s0.chaplin = 0;
s0.jagger =-1;
CVAL_VERIFY(s0.bauer == 0);
CVAL_VERIFY(s0.chaplin == 0);
s0.jagger = 0;
s0.hazes = 0;
s0.chaplin =-1;
CVAL_VERIFY(s0.jagger == 0);
CVAL_VERIFY(s0.hazes == 0);
s0.chaplin = 0;
s0.acda = 0;
s0.hazes =-1;
CVAL_VERIFY(s0.chaplin == 0);
CVAL_VERIFY(s0.acda == 0);
s0.hazes = 0;
s0.munnick = 0;
s0.acda =-1;
CVAL_VERIFY(s0.hazes == 0);
CVAL_VERIFY(s0.munnick == 0);
s0.acda = 0;
s0.isaac = 0;
s0.munnick =-1;
CVAL_VERIFY(s0.acda == 0);
CVAL_VERIFY(s0.isaac == 0);
s0.munnick = 0;
s0.deus = 0;
s0.isaac =-1;
CVAL_VERIFY(s0.munnick == 0);
CVAL_VERIFY(s0.deus == 0);
s0.isaac = 0;
s0.dixie = 0;
s0.deus =-1;
CVAL_VERIFY(s0.isaac == 0);
CVAL_VERIFY(s0.dixie == 0);
s0.deus = 0;
s0.barry = 0;
s0.dixie =-1;
CVAL_VERIFY(s0.deus == 0);
CVAL_VERIFY(s0.barry == 0);
s0.dixie = 0;
s0.bonjovi = 0;
s0.barry =-1;
CVAL_VERIFY(s0.dixie == 0);
CVAL_VERIFY(s0.bonjovi == 0);
s0.barry = 0;
s0.bonjovi =-1;
CVAL_VERIFY(s0.barry == 0);
return (accum == 32);
}
static int
test_rnd_004(void)
{
int accum = 0;
static struct srndf_004 s0;
struct srndf_004 s1;
struct srndf_004 s2 = {2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2};
s1.elvis = 1;
s1.bruce = 1;
s1.mariah = 1;
s1.kate = 1;
s1.madonna = 1;
s1.bono = 1;
s1.julio = 1;
s1.zuccero = 1;
s1.frans = 1;
s1.mick = 1;
s1.emma = 1;
s1.andre = 1;
s1.thomas = 1;
s1.paul = 1;
s1.chris = 1;
s1.vonda = 1;
s1.presley = 1;
s1.carey = 1;
s1.jannis = 1;
s1.mark = 1;
s1.waits = 1;
s1.bauer = 1;
s1.jagger = 1;
s1.chaplin = 1;
s1.hazes = 1;
s1.acda = 1;
s1.munnick = 1;
s1.isaac = 1;
s1.deus = 1;
s1.dixie = 1;
s1.barry = 1;
s1.bonjovi = 1;
accum += s2.elvis - s1.elvis;
accum += s2.bruce - s1.bruce;
accum += s2.mariah - s1.mariah;
accum += s2.kate - s1.kate;
accum += s2.madonna - s1.madonna;
accum += s2.bono - s1.bono;
accum += s2.julio - s1.julio;
accum += s2.zuccero - s1.zuccero;
accum += s2.frans - s1.frans;
accum += s2.mick - s1.mick;
accum += s2.emma - s1.emma;
accum += s2.andre - s1.andre;
accum += s2.thomas - s1.thomas;
accum += s2.paul - s1.paul;
accum += s2.chris - s1.chris;
accum += s2.vonda - s1.vonda;
accum += s2.presley - s1.presley;
accum += s2.carey - s1.carey;
accum += s2.jannis - s1.jannis;
accum += s2.mark - s1.mark;
accum += s2.waits - s1.waits;
accum += s2.bauer - s1.bauer;
accum += s2.jagger - s1.jagger;
accum += s2.chaplin - s1.chaplin;
accum += s2.hazes - s1.hazes;
accum += s2.acda - s1.acda;
accum += s2.munnick - s1.munnick;
accum += s2.isaac - s1.isaac;
accum += s2.deus - s1.deus;
accum += s2.dixie - s1.dixie;
accum += s2.barry - s1.barry;
accum += s2.bonjovi - s1.bonjovi;
CVAL_VERIFY(accum == 32);
s0.bruce = 0;
s0.elvis =-1;
CVAL_VERIFY(s0.bruce == 0);
s0.elvis = 0;
s0.mariah = 0;
s0.bruce =-1;
CVAL_VERIFY(s0.elvis == 0);
CVAL_VERIFY(s0.mariah == 0);
s0.bruce = 0;
s0.kate = 0;
s0.mariah =-1;
CVAL_VERIFY(s0.bruce == 0);
CVAL_VERIFY(s0.kate == 0);
s0.mariah = 0;
s0.madonna = 0;
s0.kate =-1;
CVAL_VERIFY(s0.mariah == 0);
CVAL_VERIFY(s0.madonna == 0);
s0.kate = 0;
s0.bono = 0;
s0.madonna =-1;
CVAL_VERIFY(s0.kate == 0);
CVAL_VERIFY(s0.bono == 0);
s0.madonna = 0;
s0.julio = 0;
s0.bono =-1;
CVAL_VERIFY(s0.madonna == 0);
CVAL_VERIFY(s0.julio == 0);
s0.bono = 0;
s0.zuccero = 0;
s0.julio =-1;
CVAL_VERIFY(s0.bono == 0);
CVAL_VERIFY(s0.zuccero == 0);
s0.julio = 0;
s0.frans = 0;
s0.zuccero =-1;
CVAL_VERIFY(s0.julio == 0);
CVAL_VERIFY(s0.frans == 0);
s0.zuccero = 0;
s0.mick = 0;
s0.frans =-1;
CVAL_VERIFY(s0.zuccero == 0);
CVAL_VERIFY(s0.mick == 0);
s0.frans = 0;
s0.emma = 0;
s0.mick =-1;
CVAL_VERIFY(s0.frans == 0);
CVAL_VERIFY(s0.emma == 0);
s0.mick = 0;
s0.andre = 0;
s0.emma =-1;
CVAL_VERIFY(s0.mick == 0);
CVAL_VERIFY(s0.andre == 0);
s0.emma = 0;
s0.thomas = 0;
s0.andre =-1;
CVAL_VERIFY(s0.emma == 0);
CVAL_VERIFY(s0.thomas == 0);
s0.andre = 0;
s0.paul = 0;
s0.thomas =-1;
CVAL_VERIFY(s0.andre == 0);
CVAL_VERIFY(s0.paul == 0);
s0.thomas = 0;
s0.chris = 0;
s0.paul =-1;
CVAL_VERIFY(s0.thomas == 0);
CVAL_VERIFY(s0.chris == 0);
s0.paul = 0;
s0.vonda = 0;
s0.chris =-1;
CVAL_VERIFY(s0.paul == 0);
CVAL_VERIFY(s0.vonda == 0);
s0.chris = 0;
s0.presley = 0;
s0.vonda =-1;
CVAL_VERIFY(s0.chris == 0);
CVAL_VERIFY(s0.presley == 0);
s0.vonda = 0;
s0.carey = 0;
s0.presley =-1;
CVAL_VERIFY(s0.vonda == 0);
CVAL_VERIFY(s0.carey == 0);
s0.presley = 0;
s0.jannis = 0;
s0.carey =-1;
CVAL_VERIFY(s0.presley == 0);
CVAL_VERIFY(s0.jannis == 0);
s0.carey = 0;
s0.mark = 0;
s0.jannis =-1;
CVAL_VERIFY(s0.carey == 0);
CVAL_VERIFY(s0.mark == 0);
s0.jannis = 0;
s0.waits = 0;
s0.mark =-1;
CVAL_VERIFY(s0.jannis == 0);
CVAL_VERIFY(s0.waits == 0);
s0.mark = 0;
s0.bauer = 0;
s0.waits =-1;
CVAL_VERIFY(s0.mark == 0);
CVAL_VERIFY(s0.bauer == 0);
s0.waits = 0;
s0.jagger = 0;
s0.bauer =-1;
CVAL_VERIFY(s0.waits == 0);
CVAL_VERIFY(s0.jagger == 0);
s0.bauer = 0;
s0.chaplin = 0;
s0.jagger =-1;
CVAL_VERIFY(s0.bauer == 0);
CVAL_VERIFY(s0.chaplin == 0);
s0.jagger = 0;
s0.hazes = 0;
s0.chaplin =-1;
CVAL_VERIFY(s0.jagger == 0);
CVAL_VERIFY(s0.hazes == 0);
s0.chaplin = 0;
s0.acda = 0;
s0.hazes =-1;
CVAL_VERIFY(s0.chaplin == 0);
CVAL_VERIFY(s0.acda == 0);
s0.hazes = 0;
s0.munnick = 0;
s0.acda =-1;
CVAL_VERIFY(s0.hazes == 0);
CVAL_VERIFY(s0.munnick == 0);
s0.acda = 0;
s0.isaac = 0;
s0.munnick =-1;
CVAL_VERIFY(s0.acda == 0);
CVAL_VERIFY(s0.isaac == 0);
s0.munnick = 0;
s0.deus = 0;
s0.isaac =-1;
CVAL_VERIFY(s0.munnick == 0);
CVAL_VERIFY(s0.deus == 0);
s0.isaac = 0;
s0.dixie = 0;
s0.deus =-1;
CVAL_VERIFY(s0.isaac == 0);
CVAL_VERIFY(s0.dixie == 0);
s0.deus = 0;
s0.barry = 0;
s0.dixie =-1;
CVAL_VERIFY(s0.deus == 0);
CVAL_VERIFY(s0.barry == 0);
s0.dixie = 0;
s0.bonjovi = 0;
s0.barry =-1;
CVAL_VERIFY(s0.dixie == 0);
CVAL_VERIFY(s0.bonjovi == 0);
s0.barry = 0;
s0.bonjovi =-1;
CVAL_VERIFY(s0.barry == 0);
return (accum == 32);
}
MAIN
{
CVAL_HEADER("Generated bitfield test (options -S -s1972 -n20 -m15)1/4");
CVAL_VERIFY(test_rnd_000());
CVAL_VERIFY(test_rnd_001());
CVAL_VERIFY(test_rnd_002());
CVAL_VERIFY(test_rnd_003());
CVAL_VERIFY(test_rnd_004());
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment