From ef59fe78455c6d2789daa5c11026ab92b3ee18b4 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 23 Feb 2011 02:15:19 +0000 Subject: [PATCH] Add test case (from PR 8876) for suppressing 'indirection of non-volatile null pointer...' warning due to reachability analysis. llvm-svn: 126294 --- clang/test/Sema/exprs.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/clang/test/Sema/exprs.c b/clang/test/Sema/exprs.c index e88f7fc08bce..5917e085ea7c 100644 --- a/clang/test/Sema/exprs.c +++ b/clang/test/Sema/exprs.c @@ -1,5 +1,23 @@ // RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only +// PR 8876 - don't warn about trivially unreachable null derefs. Note that +// we put this here because the reachability analysis only kicks in for +// suppressing false positives when code has no errors. +#define PR8876(err_ptr) do {\ + if (err_ptr) *(int*)(err_ptr) = 1;\ + } while (0) + +#define PR8876_pos(err_ptr) do {\ + if (!err_ptr) *(int*)(err_ptr) = 1;\ + } while (0) + + +int test_pr8876() { + PR8876(0); // no-warning + PR8876_pos(0); // expected-warning{{indirection of non-volatile null pointer will be deleted, not trap}} expected-note{{consider using __builtin_trap() or qualifying pointer with 'volatile'}} + return 0; +} + // PR1966 _Complex double test1() { return __extension__ 1.0if;