diff --git a/tests/syntax/oracle/signal.res.oracle b/tests/syntax/oracle/signal.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..7f9d11fa241fd4ccaf515e7ece89f228c654d252 --- /dev/null +++ b/tests/syntax/oracle/signal.res.oracle @@ -0,0 +1,12 @@ +[kernel] Parsing tests/syntax/signal.c (with preprocessing) +/* Generated by Frama-C */ +#include "signal.h" +void f(void) +{ + signal(10,SIG_IGN); + signal(12,SIG_ERR); + signal(31,SIG_DFL); + return; +} + + diff --git a/tests/syntax/signal.c b/tests/syntax/signal.c new file mode 100644 index 0000000000000000000000000000000000000000..31221db005b87e67cf3ff52492ddfc6d079feb1f --- /dev/null +++ b/tests/syntax/signal.c @@ -0,0 +1,7 @@ +#include <signal.h> + +void f() { + signal (SIGUSR1, SIG_IGN); + signal (SIGUSR2, SIG_ERR); + signal (SIGUNUSED, SIG_DFL); +}