-
Notifications
You must be signed in to change notification settings - Fork 138
/
c_arg_assert.t
92 lines (71 loc) · 2.45 KB
/
c_arg_assert.t
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
#! perl
# Copyright (C) 2008-2010, Parrot Foundation.
# $Id$
use strict;
use warnings;
use lib qw( . lib ../lib ../../lib );
use Test::More tests => 2;
use Parrot::Distribution;
=head1 NAME
t/codingstd/c_arg_assert.t - checks that all the headerizer asserts are used
=head1 SYNOPSIS
# test all files
% prove t/codingstd/c_arg_assert.t
=head1 DESCRIPTION
Finds all the argument guards generated by headerizer (asserts to enforce the
non-NULLness of specially marked pointers) are actually used.
Verifies that macros are invoked on a sane position.
=head1 SEE ALSO
L<docs/pdds/pdd07_codingstd.pod>
=cut
my @files = Parrot::Distribution->new()->get_c_language_files();
check_asserts(@files);
sub check_asserts {
my @files = @_;
my @defines;
my %usages;
my @misplaced;
# first, find the definitions and the usages in all files
diag('finding macro definitions and invocations');
foreach my $file (@files) {
my $path = $file->path();
my @lines = $file->read();
my $fulltext = join('', @lines);
foreach my $line (@lines) {
if ( my ($func) = $line =~ m/^#define ASSERT_ARGS_([_a-zA-Z0-9]+)\s/s ) {
push @defines, [$func, $path];
}
if ( my ($func) = $line =~ m/^\s+ASSERT_ARGS\(([_a-zA-Z0-9]+)\)$/ ) {
$usages{$func} = 1;
# The ASSERT_ARGS macro needs to follow an opening curly bracket
if ($fulltext !~ m/\)(?:\n| )\{\s*ASSERT_ARGS\($func\)\n/s) {
push @misplaced, [$func, $path];
}
}
}
}
# next, cross reference them.
my @missing = grep { ! exists($usages{$_->[0]}) } @defines;
ok(! @missing, 'no unused assert macros');
if (@missing) {
diag('unused assert macros found:');
foreach (sort { $a->[1] . $a->[0] cmp $b->[1] . $b->[0]} @missing) {
diag($_->[1] . ': ' . $_->[0]);
}
diag(scalar(@missing) . ' unused assert macros found in total.');
}
ok(! @misplaced, 'macros used in correct position');
if (@misplaced) {
diag(q{The following macros exist but aren't at the top of their function:});
foreach (sort @misplaced) {
diag($_->[1] . ': ' . $_->[0]);
}
diag(scalar(@misplaced) . ' misplaced macros found in total.');
}
}
# Local Variables:
# mode: cperl
# cperl-indent-level: 4
# fill-column: 100
# End:
# vim: expandtab shiftwidth=4: