#!/bin/sh

cat > test.c <<EOF
int main(void) {
    int x;
    return 0;
}
EOF

splint test.c 2>&1 | grep "Variable x declared but not used"
