diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-09-15 09:32:26 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-09-15 09:32:26 -0700 |
| commit | 90d39b7a91a63c2769c170f35ebc52174a8375d7 (patch) | |
| tree | 6d7a2be67eaacee39d3645021e8e361ea3af32a4 /validation | |
| parent | e8cd02c0e5f2989437d711841a0cf81327452167 (diff) | |
| download | sparse-dev-90d39b7a91a63c2769c170f35ebc52174a8375d7.tar.gz | |
Add test-suite annotations to noderef.c
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/noderef.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/validation/noderef.c b/validation/noderef.c index 15be3278..a95bc8c3 100644 --- a/validation/noderef.c +++ b/validation/noderef.c @@ -40,3 +40,12 @@ static void h(void) r = py->a+1; r = &py->a[0]; } +/* + * check-name: noderef attribute + * + * check-error-start +noderef.c:24:5: warning: incorrect type in assignment (different modifiers) +noderef.c:24:5: expected char *[noderef] *q2 +noderef.c:24:5: got char [noderef] **<noident> + * check-error-end + */ |