Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame] | 1 | #!/bin/sh |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 2 | |
| 3 | DFSAN_DIR=$(dirname "$0")/../ |
Lorenzo Martignoni | 60ebffc | 2014-10-08 10:01:42 +0000 | [diff] [blame] | 4 | DFSAN_CUSTOM_TESTS=${DFSAN_DIR}/../../test/dfsan/custom.cc |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 5 | DFSAN_CUSTOM_WRAPPERS=${DFSAN_DIR}/dfsan_custom.cc |
| 6 | DFSAN_ABI_LIST=${DFSAN_DIR}/done_abilist.txt |
| 7 | |
| 8 | DIFFOUT=$(mktemp -q /tmp/tmp.XXXXXXXXXX) |
| 9 | ERRORLOG=$(mktemp -q /tmp/tmp.XXXXXXXXXX) |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame] | 10 | DIFF_A=$(mktemp -q /tmp/tmp.XXXXXXXXXX) |
| 11 | DIFF_B=$(mktemp -q /tmp/tmp.XXXXXXXXXX) |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 12 | |
| 13 | on_exit() { |
| 14 | rm -f ${DIFFOUT} 2> /dev/null |
| 15 | rm -f ${ERRORLOG} 2> /dev/null |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame] | 16 | rm -f ${DIFF_A} 2> /dev/null |
| 17 | rm -f ${DIFF_B} 2> /dev/null |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 18 | } |
| 19 | |
Kostya Serebryany | a86398e | 2015-05-06 22:41:34 +0000 | [diff] [blame] | 20 | # Ignore __sanitizer_cov_trace* because they are implemented elsewhere. |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 21 | trap on_exit EXIT |
Kostya Serebryany | a86398e | 2015-05-06 22:41:34 +0000 | [diff] [blame] | 22 | grep -E "^fun:.*=custom" ${DFSAN_ABI_LIST} \ |
| 23 | | grep -v "dfsan_get_label\|__sanitizer_cov_trace" \ |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame] | 24 | | sed "s/^fun:\(.*\)=custom.*/\1/" | sort > $DIFF_A |
| 25 | grep -E "__dfsw.*\(" ${DFSAN_CUSTOM_WRAPPERS} \ |
Kostya Serebryany | d74d04a | 2018-06-01 21:59:25 +0000 | [diff] [blame] | 26 | | grep -v "__sanitizer_cov_trace" \ |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame] | 27 | | sed "s/.*__dfsw_\(.*\)(.*/\1/" | sort > $DIFF_B |
| 28 | diff -u $DIFF_A $DIFF_B > ${DIFFOUT} |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 29 | if [ $? -ne 0 ] |
| 30 | then |
| 31 | echo -n "The following differences between the ABI list and ">> ${ERRORLOG} |
| 32 | echo "the implemented custom wrappers have been found:" >> ${ERRORLOG} |
| 33 | cat ${DIFFOUT} >> ${ERRORLOG} |
| 34 | fi |
| 35 | |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame] | 36 | grep -E __dfsw_ ${DFSAN_CUSTOM_WRAPPERS} \ |
Kostya Serebryany | d74d04a | 2018-06-01 21:59:25 +0000 | [diff] [blame] | 37 | | grep -v "__sanitizer_cov_trace" \ |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame] | 38 | | sed "s/.*__dfsw_\([^(]*\).*/\1/" | sort > $DIFF_A |
Dimitry Andric | 6674902 | 2015-04-12 10:54:46 +0000 | [diff] [blame] | 39 | grep -E "^[[:space:]]*test_.*\(\);" ${DFSAN_CUSTOM_TESTS} \ |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame] | 40 | | sed "s/.*test_\(.*\)();/\1/" | sort > $DIFF_B |
| 41 | diff -u $DIFF_A $DIFF_B > ${DIFFOUT} |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 42 | if [ $? -ne 0 ] |
| 43 | then |
| 44 | echo -n "The following differences between the implemented " >> ${ERRORLOG} |
| 45 | echo "custom wrappers and the tests have been found:" >> ${ERRORLOG} |
| 46 | cat ${DIFFOUT} >> ${ERRORLOG} |
| 47 | fi |
| 48 | |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame] | 49 | if [ -s ${ERRORLOG} ] |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 50 | then |
| 51 | cat ${ERRORLOG} |
| 52 | exit 1 |
| 53 | fi |
| 54 | |