aboutsummaryrefslogtreecommitdiffstats
path: root/.cocciconfig
blob: 43967c6b20151ee126db08e24758e3c789bcb844 (plain)
1
2
3
[spatch]
	options = --timeout 200
	options = --use-gitgrep
} /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */ }
#!/bin/sh
# SPDX-License-Identifier: GPL-2.0
n=`./default_file_splice_read </dev/null | wc -c`

test "$n" = 0 && exit 0

echo "default_file_splice_read broken: leaked $n"
exit 1