diff options
| author | bloodstalker <thabogre@gmail.com> | 2017-01-08 13:54:45 +0000 |
|---|---|---|
| committer | bloodstalker <thabogre@gmail.com> | 2017-01-08 13:54:45 +0000 |
| commit | 527f7a44b94cd969aa4b9e26cba02b6cb23724e5 (patch) | |
| tree | 44b664a3a4d1060d0f8f985455a08ee560af279f /test/testFuncs2.c | |
| parent | updated the implemented misra-c2004 rule count.its 127 (diff) | |
| download | mutator-527f7a44b94cd969aa4b9e26cba02b6cb23724e5.tar.gz mutator-527f7a44b94cd969aa4b9e26cba02b6cb23724e5.zip | |
added tdd tests for 12.12
Diffstat (limited to '')
| -rw-r--r-- | test/testFuncs2.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/test/testFuncs2.c b/test/testFuncs2.c index 4bd6ec3..f11a896 100644 --- a/test/testFuncs2.c +++ b/test/testFuncs2.c @@ -77,9 +77,9 @@ typedef gaga incompletearr1; #undef LOCOLUPO #endif -#define START 0x8000 -#define END 0xFFFF -#define LEN 0x8000 +#define START 0x80000000 +#define END 0xFFFFFFFF +#define LEN 0x80000000 #if ((START + LEN) > END) #if 0 #error Buffer Overrun @@ -313,11 +313,13 @@ void testfunc11(void) short unsigned int b; short int* p1; long int* p2; + int normalint; p2 = (long int*)p1; p1 = (short int*)p2; b = a; dd = b; + normalint = a; } void testfunc12(void) |