#!/usr/bin/env bash

# Run the .cocci files in the tests directory; these act

# as a blacklist.

set -euo pipefail

. $(dirname $0)/libtest.sh

if ! spatch --version 2>/dev/null; then

    skip "no spatch; get it from http://coccinelle.lip6.fr/"

fi

if test -z "${OSTREE_UNINSTALLED_SRCDIR:-}"; then

    skip "running installed?"

fi

coccitests=$(ls $(dirname $0)/coccinelle/*.cocci)

echo "1.."$(echo ${coccitests} | wc -l)

for cocci in $(dirname $0)/coccinelle/*.cocci; do

    echo "Running: ${cocci}"

    spatch --very-quiet --dir ${OSTREE_UNINSTALLED_SRCDIR} ${cocci} > cocci.out

    if test -s cocci.out; then

        sed -e 's/^/# /' < cocci.out >&2

        fatal "Failed semantic patch: ${cocci}"

    fi

    echo ok ${cocci}

done