Mercurial > illumos > git > illumos-gate
view usr/src/tools/smatch/src/validation/attr-context.c @ 19241:79022555a4a9
11972 resync smatch
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>
author | John Levon <john.levon@joyent.com> |
---|---|
date | Mon, 11 Nov 2019 16:23:50 +0000 |
parents | |
children |
line wrap: on
line source
static void a(void) __attribute__((context)); // KO static void b(void) __attribute__((context())); // KO static void c(void) __attribute__((context 1)); // KO static void d(void) __attribute__((context 1,2)); // KO static void e(void) __attribute__((context (1))); // !!!! static void f(void) __attribute__((context(0))); // !!!! static void g(void) __attribute__((context(0,1,2,3))); // KO static void h(void) __attribute__((context (1,2))); // OK static void i(void) __attribute__((context(0,1))); // OK static void j(void) __attribute__((context(0,1,2))); // OK extern int u, v; static void x(void) __attribute__((context(0,1,v))); static void y(void) __attribute__((context(0,u,1))); static void z(void) __attribute__((context(0,u))); /* * check-name: attr-context * * check-error-start attr-context.c:1:43: error: Expected ( after context attribute attr-context.c:1:43: error: got ) attr-context.c:2:44: error: Expected , after context 1st argument attr-context.c:2:44: error: got ) attr-context.c:3:44: error: Expected ( after context attribute attr-context.c:3:44: error: got 1 attr-context.c:4:44: error: Expected ( after context attribute attr-context.c:4:44: error: got 1 attr-context.c:5:46: error: Expected , after context 1st argument attr-context.c:5:46: error: got ) attr-context.c:6:45: error: Expected , after context 1st argument attr-context.c:6:45: error: got ) attr-context.c:7:49: error: Expected ) after context 3rd argument attr-context.c:7:49: error: got , attr-context.c:14:48: error: bad constant expression attr-context.c:15:46: error: bad constant expression attr-context.c:16:46: error: bad constant expression * check-error-end */