From 0ddd82d1d5f3028383f7824a6a7bf48430a948fb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sat, 5 Nov 2016 16:56:30 +0100 Subject: [PATCH] test/synthetic: added pointer alias test case. renamed functions. --- test/synthetic/ub.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/test/synthetic/ub.c b/test/synthetic/ub.c index f4d4725ab..f0ac31ffe 100644 --- a/test/synthetic/ub.c +++ b/test/synthetic/ub.c @@ -1,16 +1,17 @@ +void alias() { int x; int *ip=&x; float *fp = (float *)ip; } int buffer_overflow() { int x[10]={0}; return x[100]; } int dead_pointer(int a) { int *p=&a; if (a) { int x=0; p = &x; } return *p; } int division_by_zero() { return 100 / 0; } -int float_overflow() { float f=1E100; return f; } +int float_to_int() { double d=1E100; return (int)d; } void negative_size(int sz) { if (sz < 0) { int buf[sz]; } } int no_return() {} int null_pointer() { int *p = 0; return *p; } int *pointer_arithmetic() { static int buf[10]; return buf + 100; } -char pointer_overflow() { static int buf[10]; return (int*)buf; } +unsigned char pointer_to_u8() { static int buf[10]; return (int*)buf; } int pointer_subtraction() { char a[10]; char b[10]; return b-a; } int pointer_comparison() { char a[10]; char b[10]; return b> 1; return intmax * 2; } +int int_overflow() { int intmax = (~0U) >> 1; return intmax * 2; } void string_literal() { *((char *)"hello") = 0; } int uninit() { int x; return x + 2; }