diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-09-15 11:27:30 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-09-15 11:27:30 -0700 |
| commit | 842160f3e2c7eef954e97d6b32e4f6283f436e14 (patch) | |
| tree | dccc844588ce7d06b7c5e1d505c2ec5a703f5a4a /validation | |
| parent | 3dea305b95681b0f19ed432916d5e99673a1e9b0 (diff) | |
| download | sparse-dev-842160f3e2c7eef954e97d6b32e4f6283f436e14.tar.gz | |
Add test-suite annotations to integer-promotions.c
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/integer-promotions.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/validation/integer-promotions.c b/validation/integer-promotions.c index 2ed400fa..4245fe23 100644 --- a/validation/integer-promotions.c +++ b/validation/integer-promotions.c @@ -2,3 +2,6 @@ static int add_char(void) { return (char) 127 + (char) 127 + (char) 2; } +/* + * check-name: Integer promotions + */ |