blob: 39d570b976732bf77506dec64f2a05b8be7369ba (
plain)
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
37
38
39
40
41
42
43
|
#!/bin/bash
set -u
RES=$(./analyze_libtsan.sh)
PrintRes() {
printf "%s\n" "$RES"
}
PrintRes
mops="write1 \
write2 \
write4 \
write8 \
read1 \
read2 \
read4 \
read8"
func="func_entry \
func_exit"
check() {
res=$(PrintRes | egrep "$1 .* $2 $3; ")
if [ "$res" == "" ]; then
echo FAILED $1 must contain $2 $3
exit 1
fi
}
for f in $mops; do
check $f rsp 1 # To read caller pc.
check $f push 0
check $f pop 0
done
for f in $func; do
check $f rsp 0
check $f push 0
check $f pop 0
check $f call 1 # TraceSwitch()
done
echo LGTM
|
