Switch this test from needlessly running the clang driver to directly

test the CC1 layer.

This actually uncovered that the test semes to no longer be passing for
the reasons intended. =[ The name of the test would lead me to believe
that it should be testing the semantics of noreturn in the static
analyzer.... but there are in fact no -verify assertions about noreturn
that i can find. And the noreturn checker is no longer in 'alpha.core'.
It is in 'core.builtins'. The test *does* have one assertion for a null
dereference warning. This *also* isn't in 'alpha.core', but the driver
inserts a pile of other checker packages, including 'core' which has
this warning.

So I have switch the RUN line to actually do the minimal thing that this
test currently exercises, but someone who works on the static analyzer
should probably look at this and either nuke it or move it to actually
check the noreturn behavior.

llvm-svn: 199307
This commit is contained in:
Chandler Carruth 2014-01-15 09:07:56 +00:00
parent 9c8754f56b
commit f9814063c6
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
// RUN: %clang --analyze -Xclang -analyzer-checker=alpha.core -Xclang -verify %s
// RUN: %clang_cc1 -analyze -analyzer-checker=core -verify %s
#include <stdarg.h>