adlint 2.6.2 → 2.6.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- data/ChangeLog +149 -0
- data/MANIFEST +5 -0
- data/NEWS +20 -4
- data/etc/mesg.d/c_builtin/en_US/messages.yml +1 -1
- data/etc/mesg.d/c_builtin/ja_JP/messages.yml +1 -1
- data/etc/mesg.d/core/en_US/messages.yml +1 -1
- data/etc/mesg.d/core/ja_JP/messages.yml +1 -1
- data/features/code_check/W0460.feature +27 -0
- data/features/code_check/W0534.feature +73 -0
- data/features/code_check/W0585.feature +135 -0
- data/features/code_check/W0599.feature +101 -1
- data/features/code_check/W0611.feature +138 -0
- data/features/code_check/W0708.feature +66 -0
- data/features/code_check/W1069.feature +27 -0
- data/features/code_check/W1073.feature +142 -0
- data/lib/adlint/c/ctrlexpr.rb +22 -16
- data/lib/adlint/c/interp.rb +32 -9
- data/lib/adlint/exam/c_builtin/c_check.rb +2597 -183
- data/lib/adlint/exam/c_builtin/c_check_shima.rb +150 -14
- data/lib/adlint/version.rb +2 -2
- data/share/doc/developers_guide_ja.html +3 -3
- data/share/doc/developers_guide_ja.texi +1 -1
- data/share/doc/users_guide_en.html +10 -10
- data/share/doc/users_guide_en.texi +8 -8
- data/share/doc/users_guide_ja.html +10 -10
- data/share/doc/users_guide_ja.texi +8 -8
- metadata +7 -2
@@ -42,6 +42,10 @@ module CBuiltin #:nodoc:
|
|
42
42
|
class W0573 < PassiveCodeCheck
|
43
43
|
def_registrant_phase C::Prepare2Phase
|
44
44
|
|
45
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
46
|
+
# step-in analysis is supported.
|
47
|
+
ensure_uniqueness_of :W0573
|
48
|
+
|
45
49
|
def initialize(context)
|
46
50
|
super
|
47
51
|
interp = context[:c_interpreter]
|
@@ -91,6 +95,10 @@ module CBuiltin #:nodoc:
|
|
91
95
|
class W0606 < PassiveCodeCheck
|
92
96
|
def_registrant_phase C::Prepare2Phase
|
93
97
|
|
98
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
99
|
+
# step-in analysis is supported.
|
100
|
+
ensure_uniqueness_of :W0606
|
101
|
+
|
94
102
|
def initialize(context)
|
95
103
|
super
|
96
104
|
visitor = context[:c_visitor]
|
@@ -113,6 +121,10 @@ module CBuiltin #:nodoc:
|
|
113
121
|
class W0645 < PassiveCodeCheck
|
114
122
|
def_registrant_phase C::Prepare2Phase
|
115
123
|
|
124
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
125
|
+
# step-in analysis is supported.
|
126
|
+
ensure_uniqueness_of :W0645
|
127
|
+
|
116
128
|
def initialize(context)
|
117
129
|
super
|
118
130
|
visitor = context[:c_visitor]
|
@@ -129,6 +141,10 @@ module CBuiltin #:nodoc:
|
|
129
141
|
class W0685 < W0573
|
130
142
|
def_registrant_phase C::Prepare2Phase
|
131
143
|
|
144
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
145
|
+
# step-in analysis is supported.
|
146
|
+
ensure_uniqueness_of :W0685
|
147
|
+
|
132
148
|
def check(function_call_expression, function, arg_variables,
|
133
149
|
result_variable)
|
134
150
|
if function.named? && function.name =~ /\A.*scanf\z/
|
@@ -151,6 +167,10 @@ module CBuiltin #:nodoc:
|
|
151
167
|
class W0686 < W0573
|
152
168
|
def_registrant_phase C::Prepare2Phase
|
153
169
|
|
170
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
171
|
+
# step-in analysis is supported.
|
172
|
+
ensure_uniqueness_of :W0686
|
173
|
+
|
154
174
|
def check(function_call_expression, function, arg_variables,
|
155
175
|
result_variable)
|
156
176
|
if function.named? && function.name =~ /\A.*scanf\z/
|
@@ -173,6 +193,10 @@ module CBuiltin #:nodoc:
|
|
173
193
|
class W0697 < PassiveCodeCheck
|
174
194
|
def_registrant_phase C::Prepare2Phase
|
175
195
|
|
196
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
197
|
+
# step-in analysis is supported.
|
198
|
+
ensure_uniqueness_of :W0697
|
199
|
+
|
176
200
|
def initialize(context)
|
177
201
|
super
|
178
202
|
interp = context[:c_interpreter]
|
@@ -204,6 +228,10 @@ module CBuiltin #:nodoc:
|
|
204
228
|
class W0698 < PassiveCodeCheck
|
205
229
|
def_registrant_phase C::Prepare2Phase
|
206
230
|
|
231
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
232
|
+
# step-in analysis is supported.
|
233
|
+
ensure_uniqueness_of :W0698
|
234
|
+
|
207
235
|
def initialize(context)
|
208
236
|
super
|
209
237
|
visitor = context[:c_visitor]
|
@@ -239,6 +267,10 @@ module CBuiltin #:nodoc:
|
|
239
267
|
class W0699 < W0698
|
240
268
|
def_registrant_phase C::Prepare2Phase
|
241
269
|
|
270
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
271
|
+
# step-in analysis is supported.
|
272
|
+
ensure_uniqueness_of :W0699
|
273
|
+
|
242
274
|
private
|
243
275
|
def check(return_statement)
|
244
276
|
return unless @current_function.implicitly_typed?
|
@@ -253,6 +285,10 @@ module CBuiltin #:nodoc:
|
|
253
285
|
class W0700 < PassiveCodeCheck
|
254
286
|
def_registrant_phase C::Prepare2Phase
|
255
287
|
|
288
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
289
|
+
# step-in analysis is supported.
|
290
|
+
ensure_uniqueness_of :W0700
|
291
|
+
|
256
292
|
def initialize(context)
|
257
293
|
super
|
258
294
|
interp = context[:c_interpreter]
|
@@ -294,6 +330,10 @@ module CBuiltin #:nodoc:
|
|
294
330
|
class W0711 < PassiveCodeCheck
|
295
331
|
def_registrant_phase C::Prepare2Phase
|
296
332
|
|
333
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
334
|
+
# step-in analysis is supported.
|
335
|
+
ensure_uniqueness_of :W0711
|
336
|
+
|
297
337
|
def initialize(context)
|
298
338
|
super
|
299
339
|
visitor = context[:c_visitor]
|
@@ -311,6 +351,10 @@ module CBuiltin #:nodoc:
|
|
311
351
|
class W0712 < W0711
|
312
352
|
def_registrant_phase C::Prepare2Phase
|
313
353
|
|
354
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
355
|
+
# step-in analysis is supported.
|
356
|
+
ensure_uniqueness_of :W0712
|
357
|
+
|
314
358
|
private
|
315
359
|
def check(expression)
|
316
360
|
if expression.lhs_operand.logical? && !expression.rhs_operand.logical?
|
@@ -322,6 +366,10 @@ module CBuiltin #:nodoc:
|
|
322
366
|
class W0713 < W0711
|
323
367
|
def_registrant_phase C::Prepare2Phase
|
324
368
|
|
369
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
370
|
+
# step-in analysis is supported.
|
371
|
+
ensure_uniqueness_of :W0713
|
372
|
+
|
325
373
|
private
|
326
374
|
def check(expression)
|
327
375
|
if expression.lhs_operand.logical? && expression.rhs_operand.logical?
|
@@ -333,6 +381,10 @@ module CBuiltin #:nodoc:
|
|
333
381
|
class W0714 < PassiveCodeCheck
|
334
382
|
def_registrant_phase C::Prepare2Phase
|
335
383
|
|
384
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
385
|
+
# step-in analysis is supported.
|
386
|
+
ensure_uniqueness_of :W0714
|
387
|
+
|
336
388
|
def initialize(context)
|
337
389
|
super
|
338
390
|
visitor = context[:c_visitor]
|
@@ -350,6 +402,10 @@ module CBuiltin #:nodoc:
|
|
350
402
|
class W0715 < PassiveCodeCheck
|
351
403
|
def_registrant_phase C::Prepare2Phase
|
352
404
|
|
405
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
406
|
+
# step-in analysis is supported.
|
407
|
+
ensure_uniqueness_of :W0715
|
408
|
+
|
353
409
|
def initialize(context)
|
354
410
|
super
|
355
411
|
visitor = context[:c_visitor]
|
@@ -367,6 +423,10 @@ module CBuiltin #:nodoc:
|
|
367
423
|
class W0716 < PassiveCodeCheck
|
368
424
|
def_registrant_phase C::Prepare2Phase
|
369
425
|
|
426
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
427
|
+
# step-in analysis is supported.
|
428
|
+
ensure_uniqueness_of :W0716
|
429
|
+
|
370
430
|
def initialize(context)
|
371
431
|
super
|
372
432
|
visitor = context[:c_visitor]
|
@@ -395,6 +455,10 @@ module CBuiltin #:nodoc:
|
|
395
455
|
class W0717 < W0716
|
396
456
|
def_registrant_phase C::Prepare2Phase
|
397
457
|
|
458
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
459
|
+
# step-in analysis is supported.
|
460
|
+
ensure_uniqueness_of :W0717
|
461
|
+
|
398
462
|
private
|
399
463
|
def check(expression)
|
400
464
|
if expression.lhs_operand.logical? && !expression.rhs_operand.logical?
|
@@ -406,6 +470,10 @@ module CBuiltin #:nodoc:
|
|
406
470
|
class W0718 < W0716
|
407
471
|
def_registrant_phase C::Prepare2Phase
|
408
472
|
|
473
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
474
|
+
# step-in analysis is supported.
|
475
|
+
ensure_uniqueness_of :W0718
|
476
|
+
|
409
477
|
private
|
410
478
|
def check(expression)
|
411
479
|
if !expression.lhs_operand.logical? && expression.rhs_operand.logical?
|
@@ -417,6 +485,10 @@ module CBuiltin #:nodoc:
|
|
417
485
|
class W0726 < W0698
|
418
486
|
def_registrant_phase C::Prepare2Phase
|
419
487
|
|
488
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
489
|
+
# step-in analysis is supported.
|
490
|
+
ensure_uniqueness_of :W0726
|
491
|
+
|
420
492
|
private
|
421
493
|
def check(return_statement)
|
422
494
|
return unless return_statement.expression
|
@@ -433,6 +505,10 @@ module CBuiltin #:nodoc:
|
|
433
505
|
class W0732 < PassiveCodeCheck
|
434
506
|
def_registrant_phase C::Prepare2Phase
|
435
507
|
|
508
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
509
|
+
# step-in analysis is supported.
|
510
|
+
ensure_uniqueness_of :W0732
|
511
|
+
|
436
512
|
def initialize(context)
|
437
513
|
super
|
438
514
|
visitor = context[:c_visitor]
|
@@ -452,6 +528,10 @@ module CBuiltin #:nodoc:
|
|
452
528
|
class W0733 < PassiveCodeCheck
|
453
529
|
def_registrant_phase C::Prepare2Phase
|
454
530
|
|
531
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
532
|
+
# step-in analysis is supported.
|
533
|
+
ensure_uniqueness_of :W0733
|
534
|
+
|
455
535
|
def initialize(context)
|
456
536
|
super
|
457
537
|
visitor = context[:c_visitor]
|
@@ -471,6 +551,10 @@ module CBuiltin #:nodoc:
|
|
471
551
|
class W0734 < PassiveCodeCheck
|
472
552
|
def_registrant_phase C::Prepare2Phase
|
473
553
|
|
554
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
555
|
+
# step-in analysis is supported.
|
556
|
+
ensure_uniqueness_of :W0734
|
557
|
+
|
474
558
|
def initialize(context)
|
475
559
|
super
|
476
560
|
visitor = context[:c_visitor]
|
@@ -491,6 +575,10 @@ module CBuiltin #:nodoc:
|
|
491
575
|
class W0735 < W0734
|
492
576
|
def_registrant_phase C::Prepare2Phase
|
493
577
|
|
578
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
579
|
+
# step-in analysis is supported.
|
580
|
+
ensure_uniqueness_of :W0735
|
581
|
+
|
494
582
|
private
|
495
583
|
def check(expr)
|
496
584
|
if expr.rhs_operand.arithmetic? || expr.rhs_operand.bitwise?
|
@@ -504,6 +592,10 @@ module CBuiltin #:nodoc:
|
|
504
592
|
class W0781 < PassiveCodeCheck
|
505
593
|
def_registrant_phase C::Prepare2Phase
|
506
594
|
|
595
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
596
|
+
# step-in analysis is supported.
|
597
|
+
ensure_uniqueness_of :W0781
|
598
|
+
|
507
599
|
def initialize(context)
|
508
600
|
super
|
509
601
|
visitor = context[:c_visitor]
|
@@ -534,6 +626,10 @@ module CBuiltin #:nodoc:
|
|
534
626
|
class W0801 < PassiveCodeCheck
|
535
627
|
def_registrant_phase C::Prepare2Phase
|
536
628
|
|
629
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
630
|
+
# step-in analysis is supported.
|
631
|
+
ensure_uniqueness_of :W0801
|
632
|
+
|
537
633
|
def initialize(context)
|
538
634
|
super
|
539
635
|
visitor = context[:c_visitor]
|
@@ -550,6 +646,10 @@ module CBuiltin #:nodoc:
|
|
550
646
|
class W0809 < PassiveCodeCheck
|
551
647
|
def_registrant_phase C::Prepare2Phase
|
552
648
|
|
649
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
650
|
+
# step-in analysis is supported.
|
651
|
+
ensure_uniqueness_of :W0809
|
652
|
+
|
553
653
|
def initialize(context)
|
554
654
|
super
|
555
655
|
visitor = context[:c_visitor]
|
@@ -639,6 +739,10 @@ module CBuiltin #:nodoc:
|
|
639
739
|
class W1030 < PassiveCodeCheck
|
640
740
|
def_registrant_phase C::Prepare2Phase
|
641
741
|
|
742
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
743
|
+
# step-in analysis is supported.
|
744
|
+
ensure_uniqueness_of :W1030
|
745
|
+
|
642
746
|
def initialize(context)
|
643
747
|
super
|
644
748
|
visitor = context[:c_visitor]
|
@@ -674,6 +778,10 @@ module CBuiltin #:nodoc:
|
|
674
778
|
class W1033 < PassiveCodeCheck
|
675
779
|
def_registrant_phase C::Prepare2Phase
|
676
780
|
|
781
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
782
|
+
# step-in analysis is supported.
|
783
|
+
ensure_uniqueness_of :W1033
|
784
|
+
|
677
785
|
def initialize(context)
|
678
786
|
super
|
679
787
|
visitor = context[:c_visitor]
|
@@ -695,6 +803,10 @@ module CBuiltin #:nodoc:
|
|
695
803
|
class W1066 < PassiveCodeCheck
|
696
804
|
def_registrant_phase C::Prepare2Phase
|
697
805
|
|
806
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
807
|
+
# step-in analysis is supported.
|
808
|
+
ensure_uniqueness_of :W1066
|
809
|
+
|
698
810
|
def initialize(context)
|
699
811
|
super
|
700
812
|
@interp = context[:c_interpreter]
|
@@ -754,6 +866,10 @@ module CBuiltin #:nodoc:
|
|
754
866
|
class W1067 < W1066
|
755
867
|
def_registrant_phase C::Prepare2Phase
|
756
868
|
|
869
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
870
|
+
# step-in analysis is supported.
|
871
|
+
ensure_uniqueness_of :W1067
|
872
|
+
|
757
873
|
private
|
758
874
|
def from_type
|
759
875
|
@interp.float_type
|
@@ -767,6 +883,10 @@ module CBuiltin #:nodoc:
|
|
767
883
|
class W1068 < W1066
|
768
884
|
def_registrant_phase C::Prepare2Phase
|
769
885
|
|
886
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
887
|
+
# step-in analysis is supported.
|
888
|
+
ensure_uniqueness_of :W1068
|
889
|
+
|
770
890
|
private
|
771
891
|
def from_type
|
772
892
|
@interp.double_type
|
@@ -780,42 +900,54 @@ module CBuiltin #:nodoc:
|
|
780
900
|
class W1069 < PassiveCodeCheck
|
781
901
|
def_registrant_phase C::Prepare2Phase
|
782
902
|
|
903
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
904
|
+
# step-in analysis is supported.
|
905
|
+
ensure_uniqueness_of :W1069
|
906
|
+
|
783
907
|
def initialize(context)
|
784
908
|
super
|
785
909
|
visitor = context[:c_visitor]
|
786
910
|
visitor.enter_ansi_function_definition += method(:enter_function)
|
787
|
-
visitor.leave_ansi_function_definition += method(:leave_function)
|
788
911
|
visitor.enter_kandr_function_definition += method(:enter_function)
|
789
|
-
visitor.
|
790
|
-
visitor.
|
791
|
-
visitor.
|
792
|
-
|
912
|
+
visitor.enter_compound_statement += method(:enter_compound_stmt)
|
913
|
+
visitor.leave_compound_statement += method(:leave_compound_stmt)
|
914
|
+
visitor.enter_if_else_statement += method(:enter_if_else_stmt)
|
915
|
+
visitor.leave_if_else_statement += method(:leave_if_else_stmt)
|
916
|
+
@if_else_stmt_chain_stack = []
|
793
917
|
end
|
794
918
|
|
795
919
|
private
|
796
|
-
def enter_function(
|
797
|
-
@
|
920
|
+
def enter_function(*)
|
921
|
+
@if_else_stmt_chain_stack = []
|
798
922
|
end
|
799
923
|
|
800
|
-
def
|
801
|
-
@
|
924
|
+
def enter_compound_stmt(*)
|
925
|
+
@if_else_stmt_chain_stack.push([])
|
802
926
|
end
|
803
927
|
|
804
|
-
def
|
805
|
-
@
|
928
|
+
def leave_compound_stmt(*)
|
929
|
+
@if_else_stmt_chain_stack.pop
|
930
|
+
end
|
931
|
+
|
932
|
+
def enter_if_else_stmt(node)
|
933
|
+
@if_else_stmt_chain_stack.last.push(node)
|
806
934
|
if node.else_statement.kind_of?(C::IfStatement)
|
807
|
-
W(:W1069, @
|
935
|
+
W(:W1069, @if_else_stmt_chain_stack.last.first.location)
|
808
936
|
end
|
809
937
|
end
|
810
938
|
|
811
|
-
def
|
812
|
-
@
|
939
|
+
def leave_if_else_stmt(*)
|
940
|
+
@if_else_stmt_chain_stack.last.pop
|
813
941
|
end
|
814
942
|
end
|
815
943
|
|
816
944
|
class W1070 < W0781
|
817
945
|
def_registrant_phase C::Prepare2Phase
|
818
946
|
|
947
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
948
|
+
# step-in analysis is supported.
|
949
|
+
ensure_uniqueness_of :W1070
|
950
|
+
|
819
951
|
private
|
820
952
|
def check(node)
|
821
953
|
if exec_path_num = @exec_path_nums.last and exec_path_num == 2
|
@@ -832,6 +964,10 @@ module CBuiltin #:nodoc:
|
|
832
964
|
class W1072 < PassiveCodeCheck
|
833
965
|
def_registrant_phase C::Prepare2Phase
|
834
966
|
|
967
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
968
|
+
# step-in analysis is supported.
|
969
|
+
ensure_uniqueness_of :W1072
|
970
|
+
|
835
971
|
def initialize(context)
|
836
972
|
super
|
837
973
|
visitor = context[:c_visitor]
|
data/lib/adlint/version.rb
CHANGED
@@ -1,8 +1,8 @@
|
|
1
1
|
<html lang="ja">
|
2
2
|
<head>
|
3
|
-
<title>AdLint 2.6.
|
3
|
+
<title>AdLint 2.6.10 開発者ガイド</title>
|
4
4
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
5
|
-
<meta name="description" content="AdLint 2.6.
|
5
|
+
<meta name="description" content="AdLint 2.6.10 開発者ガイド">
|
6
6
|
<meta name="generator" content="makeinfo 4.13">
|
7
7
|
<link title="Top" rel="top" href="#Top">
|
8
8
|
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
|
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
|
|
44
44
|
--></style>
|
45
45
|
</head>
|
46
46
|
<body>
|
47
|
-
<h1 class="settitle">AdLint 2.6.
|
47
|
+
<h1 class="settitle">AdLint 2.6.10 開発者ガイド</h1>
|
48
48
|
<div class="contents">
|
49
49
|
<h2>Table of Contents</h2>
|
50
50
|
<ul>
|
@@ -1,8 +1,8 @@
|
|
1
1
|
<html lang="en">
|
2
2
|
<head>
|
3
|
-
<title>AdLint 2.6.
|
3
|
+
<title>AdLint 2.6.10 User's Guide</title>
|
4
4
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
5
|
-
<meta name="description" content="AdLint 2.6.
|
5
|
+
<meta name="description" content="AdLint 2.6.10 User's Guide">
|
6
6
|
<meta name="generator" content="makeinfo 4.13">
|
7
7
|
<link title="Top" rel="top" href="#Top">
|
8
8
|
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
|
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
|
|
44
44
|
--></style>
|
45
45
|
</head>
|
46
46
|
<body>
|
47
|
-
<h1 class="settitle">AdLint 2.6.
|
47
|
+
<h1 class="settitle">AdLint 2.6.10 User's Guide</h1>
|
48
48
|
<div class="node">
|
49
49
|
<a name="Top"></a>
|
50
50
|
<p><hr>
|
@@ -1468,7 +1468,7 @@ examination package, message category and message severity to the <a href="#Mess
|
|
1468
1468
|
</td><td valign="top" width="10%">
|
1469
1469
|
array of string
|
1470
1470
|
</td><td valign="top" width="0%">
|
1471
|
-
<b>This item has no effect on AdLint 2.6.
|
1471
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1472
1472
|
|
1473
1473
|
<p>If a directory path is specified, AdLint will output warning messages about
|
1474
1474
|
source files located under the specified directory.
|
@@ -1480,7 +1480,7 @@ the target source files such as system headers or 3rd-party library headers.
|
|
1480
1480
|
</td><td valign="top" width="10%">
|
1481
1481
|
array of string
|
1482
1482
|
</td><td valign="top" width="0%">
|
1483
|
-
<b>This item has no effect on AdLint 2.6.
|
1483
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1484
1484
|
|
1485
1485
|
<p>If a directory path is specified, AdLint will suppress warning messages about
|
1486
1486
|
source files located under the specified directory.
|
@@ -1490,7 +1490,7 @@ source files located under the specified directory.
|
|
1490
1490
|
</td><td valign="top" width="10%">
|
1491
1491
|
boolean
|
1492
1492
|
</td><td valign="top" width="0%">
|
1493
|
-
<b>This item has no effect on AdLint 2.6.
|
1493
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1494
1494
|
|
1495
1495
|
<p>This item enables code check selection by annotations in the target source
|
1496
1496
|
files.
|
@@ -1502,7 +1502,7 @@ files.
|
|
1502
1502
|
</td><td valign="top" width="10%">
|
1503
1503
|
array of string
|
1504
1504
|
</td><td valign="top" width="0%">
|
1505
|
-
<b>This item has no effect on AdLint 2.6.
|
1505
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1506
1506
|
|
1507
1507
|
<p>This item represents excluding code checks by its message categories.
|
1508
1508
|
<br></td></tr><tr align="left"><td valign="top" width="1%">7
|
@@ -1511,7 +1511,7 @@ array of string
|
|
1511
1511
|
</td><td valign="top" width="10%">
|
1512
1512
|
regexp string
|
1513
1513
|
</td><td valign="top" width="0%">
|
1514
|
-
<b>This item has no effect on AdLint 2.6.
|
1514
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1515
1515
|
|
1516
1516
|
<p>This item represents excluding code checks by its message severities.
|
1517
1517
|
<br></td></tr><tr align="left"><td valign="top" width="1%">8
|
@@ -1520,7 +1520,7 @@ regexp string
|
|
1520
1520
|
</td><td valign="top" width="10%">
|
1521
1521
|
map of Message ID and string
|
1522
1522
|
</td><td valign="top" width="0%">
|
1523
|
-
<b>This item has no effect on AdLint 2.6.
|
1523
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1524
1524
|
|
1525
1525
|
<p>This item represents excluding code checks by its message ID.
|
1526
1526
|
|
@@ -1532,7 +1532,7 @@ also specify the name of the examination package including the message.
|
|
1532
1532
|
</td><td valign="top" width="10%">
|
1533
1533
|
map of Message ID and string
|
1534
1534
|
</td><td valign="top" width="0%">
|
1535
|
-
<b>This item has no effect on AdLint 2.6.
|
1535
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1536
1536
|
|
1537
1537
|
<p>This item represents messages which is excluded by settings of <code>exclusion</code>
|
1538
1538
|
section but will be used by AdLint.
|
@@ -2,7 +2,7 @@
|
|
2
2
|
@setfilename users_guide_en.info
|
3
3
|
@documentlanguage en
|
4
4
|
@documentencoding utf-8
|
5
|
-
@settitle AdLint 2.6.
|
5
|
+
@settitle AdLint 2.6.10 User's Guide
|
6
6
|
|
7
7
|
@copying
|
8
8
|
Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
|
@@ -1407,7 +1407,7 @@ File, message file}.
|
|
1407
1407
|
@tab
|
1408
1408
|
array of string
|
1409
1409
|
@tab
|
1410
|
-
@b{This item has no effect on AdLint 2.6.
|
1410
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1411
1411
|
|
1412
1412
|
If a directory path is specified, AdLint will output warning messages about
|
1413
1413
|
source files located under the specified directory.
|
@@ -1421,7 +1421,7 @@ the target source files such as system headers or 3rd-party library headers.
|
|
1421
1421
|
@tab
|
1422
1422
|
array of string
|
1423
1423
|
@tab
|
1424
|
-
@b{This item has no effect on AdLint 2.6.
|
1424
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1425
1425
|
|
1426
1426
|
If a directory path is specified, AdLint will suppress warning messages about
|
1427
1427
|
source files located under the specified directory.
|
@@ -1433,7 +1433,7 @@ source files located under the specified directory.
|
|
1433
1433
|
@tab
|
1434
1434
|
boolean
|
1435
1435
|
@tab
|
1436
|
-
@b{This item has no effect on AdLint 2.6.
|
1436
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1437
1437
|
|
1438
1438
|
This item enables code check selection by annotations in the target source
|
1439
1439
|
files.
|
@@ -1447,7 +1447,7 @@ In case of @code{true}, code check selection by annotations will be enabled.
|
|
1447
1447
|
@tab
|
1448
1448
|
array of string
|
1449
1449
|
@tab
|
1450
|
-
@b{This item has no effect on AdLint 2.6.
|
1450
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1451
1451
|
|
1452
1452
|
This item represents excluding code checks by its message categories.
|
1453
1453
|
@item 7
|
@@ -1458,7 +1458,7 @@ This item represents excluding code checks by its message categories.
|
|
1458
1458
|
@tab
|
1459
1459
|
regexp string
|
1460
1460
|
@tab
|
1461
|
-
@b{This item has no effect on AdLint 2.6.
|
1461
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1462
1462
|
|
1463
1463
|
This item represents excluding code checks by its message severities.
|
1464
1464
|
@item 8
|
@@ -1469,7 +1469,7 @@ This item represents excluding code checks by its message severities.
|
|
1469
1469
|
@tab
|
1470
1470
|
map of Message ID and string
|
1471
1471
|
@tab
|
1472
|
-
@b{This item has no effect on AdLint 2.6.
|
1472
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1473
1473
|
|
1474
1474
|
This item represents excluding code checks by its message ID.
|
1475
1475
|
|
@@ -1483,7 +1483,7 @@ also specify the name of the examination package including the message.
|
|
1483
1483
|
@tab
|
1484
1484
|
map of Message ID and string
|
1485
1485
|
@tab
|
1486
|
-
@b{This item has no effect on AdLint 2.6.
|
1486
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1487
1487
|
|
1488
1488
|
This item represents messages which is excluded by settings of @code{exclusion}
|
1489
1489
|
section but will be used by AdLint.
|
@@ -1,8 +1,8 @@
|
|
1
1
|
<html lang="ja">
|
2
2
|
<head>
|
3
|
-
<title>AdLint 2.6.
|
3
|
+
<title>AdLint 2.6.10 利用者ガイド</title>
|
4
4
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
5
|
-
<meta name="description" content="AdLint 2.6.
|
5
|
+
<meta name="description" content="AdLint 2.6.10 利用者ガイド">
|
6
6
|
<meta name="generator" content="makeinfo 4.13">
|
7
7
|
<link title="Top" rel="top" href="#Top">
|
8
8
|
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
|
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
|
|
44
44
|
--></style>
|
45
45
|
</head>
|
46
46
|
<body>
|
47
|
-
<h1 class="settitle">AdLint 2.6.
|
47
|
+
<h1 class="settitle">AdLint 2.6.10 利用者ガイド</h1>
|
48
48
|
<div class="node">
|
49
49
|
<a name="Top"></a>
|
50
50
|
<p><hr>
|
@@ -1533,7 +1533,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1533
1533
|
</td><td valign="top" width="10%">
|
1534
1534
|
文字列の配列
|
1535
1535
|
</td><td valign="top" width="0%">
|
1536
|
-
<b>AdLint 2.6.
|
1536
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1537
1537
|
|
1538
1538
|
<p>ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
|
1539
1539
|
のみ、警告メッセージを出力します。
|
@@ -1546,7 +1546,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1546
1546
|
</td><td valign="top" width="10%">
|
1547
1547
|
文字列の配列
|
1548
1548
|
</td><td valign="top" width="0%">
|
1549
|
-
<b>AdLint 2.6.
|
1549
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1550
1550
|
|
1551
1551
|
<p>ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
|
1552
1552
|
は、警告メッセージを抑止します。
|
@@ -1556,7 +1556,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1556
1556
|
</td><td valign="top" width="10%">
|
1557
1557
|
真偽値
|
1558
1558
|
</td><td valign="top" width="0%">
|
1559
|
-
<b>AdLint 2.6.
|
1559
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1560
1560
|
|
1561
1561
|
<p>解析対象ソースコード内の注釈によるコードチェックの選択機能を有効化します。
|
1562
1562
|
|
@@ -1567,7 +1567,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1567
1567
|
</td><td valign="top" width="10%">
|
1568
1568
|
文字列の配列
|
1569
1569
|
</td><td valign="top" width="0%">
|
1570
|
-
<b>AdLint 2.6.
|
1570
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1571
1571
|
|
1572
1572
|
<p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
|
1573
1573
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージのカテゴリにより
|
@@ -1578,7 +1578,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1578
1578
|
</td><td valign="top" width="10%">
|
1579
1579
|
正規表現を表す文字列
|
1580
1580
|
</td><td valign="top" width="0%">
|
1581
|
-
<b>AdLint 2.6.
|
1581
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1582
1582
|
|
1583
1583
|
<p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
|
1584
1584
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージの深刻度により指
|
@@ -1589,7 +1589,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1589
1589
|
</td><td valign="top" width="10%">
|
1590
1590
|
メッセージ ID と文字列のマップ
|
1591
1591
|
</td><td valign="top" width="0%">
|
1592
|
-
<b>AdLint 2.6.
|
1592
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1593
1593
|
|
1594
1594
|
<p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
|
1595
1595
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージ ID により指定し
|
@@ -1604,7 +1604,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1604
1604
|
</td><td valign="top" width="10%">
|
1605
1605
|
メッセージ ID と文字列のマップ
|
1606
1606
|
</td><td valign="top" width="0%">
|
1607
|
-
<b>AdLint 2.6.
|
1607
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1608
1608
|
|
1609
1609
|
<p><code>exclusion</code> セクションの設定内容により除外しましたが、メッセージ ID 指定で
|
1610
1610
|
特定のコードチェック機能を含める場合に指定します。
|