securec/test-ftrapv.sh at master · dllaurence/securec · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#!/bin/sh
#
# test-ftrapv.sh
#
# Copyright Dustin Laurence, 2016.  This file may be used and/or
# redistributed for any purpose in any form.
#
# Test driver for the ftrapv demo

echo
echo
echo "Test of -ftrapv on signed-overflow.c"
echo
echo "Compiler    -O0         -O1        -O2"
echo
echo " GCC     " `./signed-overflow-gcc-ftrapv-O0`   "   " \
     `./signed-overflow-gcc-ftrapv-O1`   "   " `./signed-overflow-gcc-ftrapv-O2`

echo " Clang   " `./signed-overflow-clang-ftrapv-O0` "   " \
     `./signed-overflow-clang-ftrapv-O1` "   " `./signed-overflow-clang-ftrapv-O2`
echo
echo

echo
echo
echo "Test of -ftrapv on unpredictable-ub.c"
echo
echo "Compiler    -O0         -O1        -O2"
echo
echo " GCC     " `./unpredictable-ub-gcc-ftrapv-O0`   "   " \
     `./unpredictable-ub-gcc-ftrapv-O1`   "   " `./unpredictable-ub-gcc-ftrapv-O2`

echo " Clang   " `./unpredictable-ub-clang-ftrapv-O0` "   " \
     `./unpredictable-ub-clang-ftrapv-O1` "   " `./unpredictable-ub-clang-ftrapv-O2`
echo
echo