Re: [Tinycc-devel] bounds checking

[Christian Jullien]

It is fixed for Aarch64 not for ARM which still gives:

------------ test3 ------------
../tcc -B.. -I../include -I.. -I.. -DCONFIG_TRIPLET="\"arm-linux-gnueabihf\"" 
-DTCC_CPU_VERSION=7 -DTCC_TARGET_ARM -DTCC_ARM_EABI -DTCC_ARM_HARDFLOAT 
-DTCC_ARM_VFP -run ../tcc.c -B.. -I../include -I.. -I.. 
-DCONFIG_TRIPLET="\"arm-linux-gnueabihf\"" -DTCC_CPU_VERSION=7 -DTCC_TARGET_ARM 
-DTCC_ARM_EABI -DTCC_ARM_HARDFLOAT -DTCC_ARM_VFP -run ../tcc.c -B.. 
-I../include -I.. -I.. -DCONFIG_TRIPLET="\"arm-linux-gnueabihf\"" 
-DTCC_CPU_VERSION=7 -DTCC_TARGET_ARM -DTCC_ARM_EABI -DTCC_ARM_HARDFLOAT 
-DTCC_ARM_VFP -run ../tcc.c -B.. -I../include -I.. -I.. -run tcctest.c > 
test.out3
--- test.ref    2019-12-10 08:53:20.769231025 +0100
+++ test.out3   2019-12-10 08:53:21.479216323 +0100
@@ -749,4 +749,4 @@
 attr: 7 7
 attr: 16 16
 0a
-0000000000000000
+0000000000000014
make[2]: *** [Makefile:106: test3] Error 1

I kindly remember you that I added you as developer in 
https://sourceforge.net/projects/wintcc/ so feel free to modify wine directory 
I created for you. I can of course do it if you like.

C.


-----Original Message-----
From: Herman ten Brugge [mailto:address@hidden] 
Sent: Tuesday, December 10, 2019 08:48
To: address@hidden; address@hidden
Subject: Re: [Tinycc-devel] bounds checking

I hope I fixed this now.

I attached the wine Makefile I used. Could you update sourceforge?

Regards,

     Herman

On 2019-12-10 08:35, Christian Jullien wrote:
> Hello Herman,
>
> === Compiling with your patch on ARM (32bit) gives this error:
> ------------ test3 ------------
> ../tcc -B.. -I../include -I.. -I.. -DCONFIG_TRIPLET="\"arm-linux-gnueabihf\"" 
> -DTCC_CPU_VERSION=7 -DTCC_TARGET_ARM -DTCC_ARM_EABI -DTCC_ARM_HARDFLOAT 
> -DTCC_ARM_VFP -run ../tcc.c -B.. -I../include -I.. -I.. 
> -DCONFIG_TRIPLET="\"arm-linux-gnueabihf\"" -DTCC_CPU_VERSION=7 
> -DTCC_TARGET_ARM -DTCC_ARM_EABI -DTCC_ARM_HARDFLOAT -DTCC_ARM_VFP -run 
> ../tcc.c -B.. -I../include -I.. -I.. 
> -DCONFIG_TRIPLET="\"arm-linux-gnueabihf\"" -DTCC_CPU_VERSION=7 
> -DTCC_TARGET_ARM -DTCC_ARM_EABI -DTCC_ARM_HARDFLOAT -DTCC_ARM_VFP -run 
> ../tcc.c -B.. -I../include -I.. -I.. -run tcctest.c > test.out3
> --- test.ref    2019-12-10 08:31:02.487022330 +0100
> +++ test.out3   2019-12-10 08:31:03.257006236 +0100
> @@ -749,4 +749,4 @@
>   attr: 7 7
>   attr: 16 16
>   0a
> -0000000000000000
> +0000000000000014
> make[2]: *** [Makefile:106: test3] Error 1
>
>
> === Compiling with your patch on Aarch64 (AMR64) gives this error:
> make[1]: Entering directory '/home/jullien/tinycc/lib'
> ../tcc -c lib-arm64.c -o lib-arm64.o -B.. -g 
> -Wno-deprecated-declarations ../tcc -c dsohandle.c -o dsohandle.o -B.. 
> -g -Wno-deprecated-declarations ../tcc -ar rcs ../libtcc1.a 
> lib-arm64.o dsohandle.o ../tcc -ar rcs ../libtccb1.a
> usage: tcc -ar [rcsv] lib file...
> create library ([abdioptxN] not supported).
> make[1]: *** [Makefile:90: ../libtccb1.a] Error 1
> make[1]: Leaving directory '/home/jullien/tinycc/lib'
> make: *** [Makefile:246: libtcc1.a] Error 2
>
>
> -----Original Message-----
> From: Tinycc-devel 
> [mailto:tinycc-devel-bounces+eligis=address@hidden] On Behalf Of 
> Herman ten Brugge via Tinycc-devel
> Sent: Tuesday, December 10, 2019 08:26
> To: Herman ten Brugge via Tinycc-devel
> Cc: Herman ten Brugge
> Subject: [Tinycc-devel] bounds checking
>
> I just committed a large patch that fix a lot of bounds checking problems.
>
> I tested the bounds checking code now works on x86_64 and i386 on 
> linux and windows.
> The test/tests2 directory can now be tested with -b enabled.
>
> There are a lot of changes (not complete):
> - split up bcheck.c from libtcc1.a because I now use dl_sym to 
> redirect malloc and friends.
>     This was needed because the malloc_hooks are not thread safe.
>     When compiling with -b now the pthread and dl library are also included.
> - Rewrote bcheck.c library to fix a lot of small problems.
> - Add mmap/munmap support on linux.
> - Updated tcc.1
> - Added bound_main_arg to record argv on startup.
> - Added support for x86_64 on windows.
> - Moved tcc_add_bcheck from tccelf to i386/x86_64 code.
> - Added 2 new testcases.
> - Fixed a lot of bugs:
>     - conversion problem code with double/long long.
>     - in gen_bounded_ptr_add move save_regs to top.
>     - alloca/vla fixes.
>     - VT_LLOCAL problems when using bounds checking.
>     - ...
>
> Regards,
>
>       Herman
>
>
> _______________________________________________
> Tinycc-devel mailing list
> address@hidden
> https://lists.nongnu.org/mailman/listinfo/tinycc-devel
>