diff options
| author | Azat Khuzhin <a3at.mail@gmail.com> | 2015-06-12 08:20:40 +0300 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2015-06-14 02:11:48 -0700 |
| commit | a53cea28f0db1c799668476ec7612cf120cddcc0 (patch) | |
| tree | 5ed1abff93134ed1b77773014e8fd8209dd1a6a2 | |
| parent | c04667e25447ca068c85c9a74ac3c12bfd79cd5e (diff) | |
| download | sparse-dev-a53cea28f0db1c799668476ec7612cf120cddcc0.tar.gz | |
validation/prototype: regression for skipping prototypes
Signed-off-by: Azat Khuzhin <a3at.mail@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
| -rw-r--r-- | validation/prototype.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/validation/prototype.c b/validation/prototype.c new file mode 100644 index 00000000..481cc93e --- /dev/null +++ b/validation/prototype.c @@ -0,0 +1,6 @@ +static int prototype(void); + +/* + * check-name: Compile skip function prototype + * check-command: ./sparsec -c $file -o tmp.o + */ |