#!/bin/sh

. "${srcdir=.}/init.sh"

# We are not interested in triggering bugs in the compilers and tools

# (such as gcc 4.3.1 on openSUSE 11.0).

unset MALLOC_PERTURB_

# Rather than figure out how to invoke the compiler with the right

# include path ourselves, we let make do it:

(cd "$initial_cwd_" \

 && rm -f test-verify-try.o \

 && $MAKE test-verify-try.o >/dev/null 2>&1) \

  || skip_ "cannot compile error-free"

# Now, prove that we encounter all expected compilation failures:

: >out

: >err

for i in 1 2 3 4 5; do

  (cd "$initial_cwd_"

   rm -f test-verify-try.o

   $MAKE CFLAGS=-DEXP_FAIL=$i test-verify-try.o) >>out 2>>err \

  && { warn_ "compiler didn't detect verification failure $i"; fail=1; }

done

Exit $fail