| commit | 548e90093d336d28f4bb00b3267417d145a6b601 | |
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |
| Thu, 24 Nov 2016 17:09:46 +0000 (24 18:09 +0100) | ||
| committer | Christopher Li <sparse@chrisli.org> | |
| Mon, 13 Feb 2017 01:34:44 +0000 (13 09:34 +0800) | ||
| tree | a05b9f2d6e226ba3d481ef56af086028c5d599e9 | treesnapshot (tar.gz zip) |
| parent | 8c5fa9ab6b0f92a0f1dc91859fba4075371b4eac | commitdiff |
testsuite: test modifiers preserved by 'typeof()'
Note: address space, 'safe' & 'noderef' have their own test file
because they have others issues or need to be handled differently.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Note: address space, 'safe' & 'noderef' have their own test file
because they have others issues or need to be handled differently.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
| validation/typeof-addresspace.c | [new file with mode: 0644] | blob |
| validation/typeof-mods.c | [new file with mode: 0644] | blob |
| validation/typeof-noderef.c | [new file with mode: 0644] | blob |
| validation/typeof-safe.c | [new file with mode: 0644] | blob |