test: unsigned add check
parent
75f0e66f1f
commit
78ef2e7d2a
|
@ -0,0 +1,29 @@
|
||||||
|
CC=cc
|
||||||
|
CFLAGS=-Isrc -DCWARE_SAFETY_CHECKS -Wall -Wextra -g
|
||||||
|
OBJS=
|
||||||
|
BINS=tests/test tests/assert tests/unsigned_add_check
|
||||||
|
|
||||||
|
.SUFFIXES:
|
||||||
|
|
||||||
|
all: $(OBJS) $(BINS)
|
||||||
|
|
||||||
|
tests/test: tests/test.c src/liberror/public.h
|
||||||
|
$(CC) -o tests/test $(CFLAGS) $(LDFLAGS) $(OBJS) tests/test.c
|
||||||
|
|
||||||
|
tests/assert: tests/assert.c src/liberror/public.h
|
||||||
|
$(CC) -o tests/assert $(CFLAGS) $(LDFLAGS) $(OBJS) tests/assert.c
|
||||||
|
|
||||||
|
tests/unsigned_add_check: tests/unsigned_add_check.c src/liberror/public.h
|
||||||
|
$(CC) -o tests/unsigned_add_check $(CFLAGS) $(LDFLAGS) $(OBJS) tests/unsigned_add_check.c
|
||||||
|
|
||||||
|
clean:
|
||||||
|
rm -rf $(OBJS)
|
||||||
|
rm -rf $(BINS)
|
||||||
|
|
||||||
|
check:
|
||||||
|
/bin/echo Running test tests/test
|
||||||
|
tests/test
|
||||||
|
/bin/echo Running test tests/assert
|
||||||
|
tests/assert
|
||||||
|
/bin/echo Running test tests/unsigned_add_check
|
||||||
|
tests/unsigned_add_check
|
|
@ -0,0 +1,29 @@
|
||||||
|
CC=cl
|
||||||
|
CFLAGS=/I src /DCWARE_SAFETY_CHECKS /Zc:__STDC__
|
||||||
|
OBJS=
|
||||||
|
BINS=tests\test.exe tests\assert.exe tests\unsigned_add_check.exe
|
||||||
|
|
||||||
|
.SUFFIXES:
|
||||||
|
|
||||||
|
all: $(OBJS) $(BINS)
|
||||||
|
|
||||||
|
tests\test.exe: tests\test.c src\liberror\public.h
|
||||||
|
$(CC) /Fe:tests\test.exe $(CFLAGS) $(LDFLAGS) $(OBJS) tests\test.c
|
||||||
|
|
||||||
|
tests\assert.exe: tests\assert.c src\liberror\public.h
|
||||||
|
$(CC) /Fe:tests\assert.exe $(CFLAGS) $(LDFLAGS) $(OBJS) tests\assert.c
|
||||||
|
|
||||||
|
tests\unsigned_add_check.exe: tests\unsigned_add_check.c src\liberror\public.h
|
||||||
|
$(CC) /Fe:tests\unsigned_add_check.exe $(CFLAGS) $(LDFLAGS) $(OBJS) tests\unsigned_add_check.c
|
||||||
|
|
||||||
|
clean:
|
||||||
|
del $(OBJS)
|
||||||
|
del $(BINS)
|
||||||
|
|
||||||
|
check:
|
||||||
|
echo Running test tests\test
|
||||||
|
tests\test.exe
|
||||||
|
echo Running test tests\assert
|
||||||
|
tests\assert.exe
|
||||||
|
echo Running test tests\unsigned_add_check
|
||||||
|
tests\unsigned_add_check.exe
|
|
@ -0,0 +1,29 @@
|
||||||
|
CC=cc
|
||||||
|
CFLAGS=-Isrc -DCWARE_SAFETY_CHECKS
|
||||||
|
OBJS=
|
||||||
|
BINS=tests/test tests/assert tests/unsigned_add_check
|
||||||
|
|
||||||
|
.SUFFIXES:
|
||||||
|
|
||||||
|
all: $(OBJS) $(BINS)
|
||||||
|
|
||||||
|
tests/test: tests/test.c src/liberror/public.h
|
||||||
|
$(CC) -o tests/test $(CFLAGS) $(LDFLAGS) $(OBJS) tests/test.c
|
||||||
|
|
||||||
|
tests/assert: tests/assert.c src/liberror/public.h
|
||||||
|
$(CC) -o tests/assert $(CFLAGS) $(LDFLAGS) $(OBJS) tests/assert.c
|
||||||
|
|
||||||
|
tests/unsigned_add_check: tests/unsigned_add_check.c src/liberror/public.h
|
||||||
|
$(CC) -o tests/unsigned_add_check $(CFLAGS) $(LDFLAGS) $(OBJS) tests/unsigned_add_check.c
|
||||||
|
|
||||||
|
clean:
|
||||||
|
rm -rf $(OBJS)
|
||||||
|
rm -rf $(BINS)
|
||||||
|
|
||||||
|
check:
|
||||||
|
/bin/echo Running test tests/test
|
||||||
|
tests/test
|
||||||
|
/bin/echo Running test tests/assert
|
||||||
|
tests/assert
|
||||||
|
/bin/echo Running test tests/unsigned_add_check
|
||||||
|
tests/unsigned_add_check
|
|
@ -0,0 +1,29 @@
|
||||||
|
CC=cc
|
||||||
|
CFLAGS=-Isrc -DCWARE_SAFETY_CHECKS
|
||||||
|
OBJS=
|
||||||
|
BINS=tests/test tests/assert tests/unsigned_add_check
|
||||||
|
|
||||||
|
.SUFFIXES:
|
||||||
|
|
||||||
|
all: $(OBJS) $(BINS)
|
||||||
|
|
||||||
|
tests/test: tests/test.c src/liberror/public.h
|
||||||
|
$(CC) -o tests/test $(CFLAGS) $(LDFLAGS) $(OBJS) tests/test.c
|
||||||
|
|
||||||
|
tests/assert: tests/assert.c src/liberror/public.h
|
||||||
|
$(CC) -o tests/assert $(CFLAGS) $(LDFLAGS) $(OBJS) tests/assert.c
|
||||||
|
|
||||||
|
tests/unsigned_add_check: tests/unsigned_add_check.c src/liberror/public.h
|
||||||
|
$(CC) -o tests/unsigned_add_check $(CFLAGS) $(LDFLAGS) $(OBJS) tests/unsigned_add_check.c
|
||||||
|
|
||||||
|
clean:
|
||||||
|
rm -rf $(OBJS)
|
||||||
|
rm -rf $(BINS)
|
||||||
|
|
||||||
|
check:
|
||||||
|
/bin/echo Running test tests/test
|
||||||
|
tests/test
|
||||||
|
/bin/echo Running test tests/assert
|
||||||
|
tests/assert
|
||||||
|
/bin/echo Running test tests/unsigned_add_check
|
||||||
|
tests/unsigned_add_check
|
|
@ -0,0 +1,34 @@
|
||||||
|
CC=wcc386
|
||||||
|
LD=wlink
|
||||||
|
CFLAGS=-i=src -dDCWARE_SAFETY_CHECKS
|
||||||
|
OBJS=
|
||||||
|
LINKOBJS=
|
||||||
|
BINS=tests\test.exe tests\assert.exe tests\unsigned_add_check.exe
|
||||||
|
|
||||||
|
.SUFFIXES:
|
||||||
|
|
||||||
|
all: $(OBJS) $(BINS)
|
||||||
|
|
||||||
|
tests\test.exe: tests\test.c src\liberror\public.h
|
||||||
|
$(CC) -fo=tests\test.obj $(CFLAGS) tests\test.c
|
||||||
|
$(LD) $(LDFLAGS) $(LINKOBJS) FILE tests\test.obj NAME tests\test.exe
|
||||||
|
|
||||||
|
tests\assert.exe: tests\assert.c src\liberror\public.h
|
||||||
|
$(CC) -fo=tests\assert.obj $(CFLAGS) tests\assert.c
|
||||||
|
$(LD) $(LDFLAGS) $(LINKOBJS) FILE tests\assert.obj NAME tests\assert.exe
|
||||||
|
|
||||||
|
tests\unsigned_add_check.exe: tests\unsigned_add_check.c src\liberror\public.h
|
||||||
|
$(CC) -fo=tests\unsigned_add_check.obj $(CFLAGS) tests\unsigned_add_check.c
|
||||||
|
$(LD) $(LDFLAGS) $(LINKOBJS) FILE tests\unsigned_add_check.obj NAME tests\unsigned_add_check.exe
|
||||||
|
|
||||||
|
clean: .SYMBOLIC
|
||||||
|
del $(OBJS)
|
||||||
|
del $(BINS)
|
||||||
|
|
||||||
|
check: .SYMBOLIC
|
||||||
|
echo Running test tests\test
|
||||||
|
tests\test.exe
|
||||||
|
echo Running test tests\assert
|
||||||
|
tests\assert.exe
|
||||||
|
echo Running test tests\unsigned_add_check
|
||||||
|
tests\unsigned_add_check.exe
|
|
@ -35,7 +35,8 @@
|
||||||
break; \
|
break; \
|
||||||
} \
|
} \
|
||||||
\
|
\
|
||||||
LIBERROR_ASSERT(1 == 0, type, message, function);
|
LIBERROR_ASSERT(1 == 0, type, message, function); \
|
||||||
|
} \
|
||||||
} while(0)
|
} while(0)
|
||||||
|
|
||||||
#else
|
#else
|
||||||
|
|
|
@ -0,0 +1,13 @@
|
||||||
|
#include <stdio.h>
|
||||||
|
#include <stdlib.h>
|
||||||
|
|
||||||
|
#include "liberror/public.h"
|
||||||
|
|
||||||
|
int main() {
|
||||||
|
unsigned int x = 0;
|
||||||
|
unsigned int y = 9;
|
||||||
|
|
||||||
|
LIBERROR_UNSIGNED_ADD_CHECK(x, y, "PRECONDITION", "Overflow!", "main");
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
Loading…
Reference in New Issue