adlint 3.0.4 → 3.0.8

data/share/doc/c99gram.dot

@@ -0,0 +1,502 @@
+strict digraph "ISO C99 Grammer" {
+    //
+    // terminal nodes
+    //
+    node [shape=box];
+    IDENTIFIER;
+    TYPEDEF_NAME;
+    CONSTANT;
+    STRING_LITERAL;
+    SIZEOF;
+    TYPEDEF;
+    EXTERN;
+    STATIC;
+    AUTO;
+    REGISTER;
+    INLINE;
+    RESTRICT;
+    CHAR;
+    SHORT;
+    INT;
+    LONG;
+    SIGNED;
+    UNSIGNED;
+    FLOAT;
+    DOUBLE;
+    CONST;
+    VOLATILE;
+    VOID;
+    BOOL;
+    COMPLEX;
+    IMAGINARY;
+    STRUCT;
+    UNION;
+    ENUM;
+    CASE;
+    DEFAULT;
+    IF;
+    ELSE;
+    SWITCH;
+    WHILE;
+    DO;
+    FOR;
+    GOTO;
+    CONTINUE;
+    BREAK;
+    RETURN;
+    NULL;
+    TYPEOF;
+    ALIGNOF;
+    "!";
+    "!=";
+    "%";
+    "%=";
+    "&";
+    "&&";
+    "&=";
+    "(";
+    ")";
+    "*";
+    "*=";
+    "+";
+    "++";
+    "+=";
+    ",";
+    "-";
+    "--";
+    "-=";
+    "->";
+    ".";
+    "...";
+    "/";
+    "/=";
+    ":";
+    ";";
+    "<";
+    "<<";
+    "<<=";
+    "<=";
+    "=";
+    "==";
+    ">";
+    ">=";
+    ">>";
+    ">>=";
+    "?";
+    "[";
+    "]";
+    "^";
+    "^=";
+    "{";
+    "|";
+    "|=";
+    "||";
+    "}";
+    "~";
+
+    //
+    // non-terminal nodes
+    //
+    node [shape=ellipse];
+    primary_expression;
+    postfix_expression;
+    argument_expression_list;
+    unary_expression;
+    unary_arithmetic_operator;
+    cast_expression;
+    multiplicative_expression;
+    additive_expression;
+    shift_expression;
+    relational_expression;
+    equality_expression;
+    and_expression;
+    exclusive_or_expression;
+    inclusive_or_expression;
+    logical_and_expression;
+    logical_or_expression;
+    conditional_expression;
+    assignment_expression;
+    compound_assignment_operator;
+    expression;
+    constant_expression;
+    declaration;
+    global_declaration;
+    declaration_specifiers;
+    init_declarator_list;
+    init_declarator;
+    storage_class_specifier;
+    type_specifier;
+    struct_or_union_specifier;
+    struct_declaration_list;
+    struct_declaration;
+    specifier_qualifier_list;
+    struct_declarator_list;
+    struct_declarator;
+    enum_specifier;
+    enumerator_list;
+    enumerator;
+    type_qualifier;
+    function_specifier;
+    declarator;
+    direct_declarator;
+    pointer;
+    type_qualifier_list;
+    parameter_type_list;
+    parameter_list;
+    parameter_declaration;
+    identifier_list;
+    type_name;
+    abstract_declarator;
+    direct_abstract_declarator;
+    initializer;
+    initializer_list;
+    designation;
+    designator_list;
+    designator;
+    statement;
+    labeled_statement;
+    compound_statement;
+    block_item_list;
+    block_item;
+    expression_statement;
+    selection_statement;
+    iteration_statement;
+    jump_statement;
+    translation_unit;
+    external_declaration;
+    function_definition;
+    local_function_definition;
+    declaration_list;
+
+    //
+    // edges
+    //
+    primary_expression -> IDENTIFIER;
+    primary_expression -> CONSTANT;
+    primary_expression -> STRING_LITERAL;
+    primary_expression -> NULL;
+    primary_expression -> "("; primary_expression -> expression; primary_expression -> ")";
+    primary_expression -> "("; primary_expression -> compound_statement; primary_expression -> ")";
+
+    postfix_expression -> primary_expression;
+    postfix_expression -> postfix_expression; postfix_expression -> "["; postfix_expression -> expression; postfix_expression -> "]";
+    postfix_expression -> postfix_expression; postfix_expression -> "("; postfix_expression -> ")";
+    postfix_expression -> postfix_expression; postfix_expression -> "("; postfix_expression -> argument_expression_list; postfix_expression -> ")";
+    postfix_expression -> postfix_expression; postfix_expression -> "."; postfix_expression -> IDENTIFIER;
+    postfix_expression -> postfix_expression; postfix_expression -> "->"; postfix_expression -> IDENTIFIER;
+    postfix_expression -> postfix_expression; postfix_expression -> "."; postfix_expression -> CONSTANT;
+    postfix_expression -> postfix_expression; postfix_expression -> "->"; postfix_expression -> CONSTANT;
+    postfix_expression -> postfix_expression; postfix_expression -> "++";
+    postfix_expression -> postfix_expression; postfix_expression -> "--";
+    postfix_expression -> "("; postfix_expression -> type_name; postfix_expression -> ")"; postfix_expression -> "{"; postfix_expression -> initializer_list; postfix_expression -> "}";
+    postfix_expression -> "("; postfix_expression -> type_name; postfix_expression -> ")"; postfix_expression -> "{"; postfix_expression -> initializer_list; postfix_expression -> ","; postfix_expression -> "}";
+
+    argument_expression_list -> assignment_expression;
+    argument_expression_list -> argument_expression_list; argument_expression_list -> ","; argument_expression_list -> assignment_expression;
+
+    unary_expression -> postfix_expression;
+    unary_expression -> "++"; unary_expression -> unary_expression;
+    unary_expression -> "--"; unary_expression -> unary_expression;
+    unary_expression -> "&"; unary_expression -> cast_expression;
+    unary_expression -> "*"; unary_expression -> cast_expression;
+    unary_expression -> unary_arithmetic_operator; unary_expression -> cast_expression;
+    unary_expression -> SIZEOF; unary_expression -> unary_expression;
+    unary_expression -> SIZEOF; unary_expression -> "("; unary_expression -> type_name; unary_expression -> ")";
+    unary_expression -> ALIGNOF; unary_expression -> unary_expression;
+    unary_expression -> ALIGNOF; unary_expression -> "("; unary_expression -> type_name; unary_expression -> ")";
+    unary_expression -> "&&"; unary_expression -> unary_expression;
+
+    unary_arithmetic_operator -> "+";
+    unary_arithmetic_operator -> "-";
+    unary_arithmetic_operator -> "~";
+    unary_arithmetic_operator -> "!";
+
+    cast_expression -> unary_expression;
+    cast_expression -> "("; cast_expression -> type_name; cast_expression -> ")"; cast_expression -> cast_expression;
+
+    multiplicative_expression -> cast_expression;
+    multiplicative_expression -> multiplicative_expression; multiplicative_expression -> "*"; multiplicative_expression -> cast_expression;
+    multiplicative_expression -> multiplicative_expression; multiplicative_expression -> "/"; multiplicative_expression -> cast_expression;
+    multiplicative_expression -> multiplicative_expression; multiplicative_expression -> "%"; multiplicative_expression -> cast_expression;
+
+    additive_expression -> multiplicative_expression;
+    additive_expression -> additive_expression; additive_expression -> "+"; additive_expression -> multiplicative_expression;
+    additive_expression -> additive_expression; additive_expression -> "-"; additive_expression -> multiplicative_expression;
+
+    shift_expression -> additive_expression;
+    shift_expression -> shift_expression; shift_expression -> "<<"; shift_expression -> additive_expression;
+    shift_expression -> shift_expression; shift_expression -> ">>"; shift_expression -> additive_expression;
+
+    relational_expression -> shift_expression;
+    relational_expression -> relational_expression; relational_expression -> "<"; relational_expression -> shift_expression;
+    relational_expression -> relational_expression; relational_expression -> ">"; relational_expression -> shift_expression;
+    relational_expression -> relational_expression; relational_expression -> "<="; relational_expression -> shift_expression;
+    relational_expression -> relational_expression; relational_expression -> ">="; relational_expression -> shift_expression;
+
+    equality_expression -> relational_expression;
+    equality_expression -> equality_expression; equality_expression -> "=="; equality_expression -> relational_expression;
+    equality_expression -> equality_expression; equality_expression -> "!="; equality_expression -> relational_expression;
+
+    and_expression -> equality_expression;
+    and_expression -> and_expression; and_expression -> "&"; and_expression -> equality_expression;
+
+    exclusive_or_expression -> and_expression;
+    exclusive_or_expression -> exclusive_or_expression; exclusive_or_expression -> "^"; exclusive_or_expression -> and_expression;
+
+    inclusive_or_expression -> exclusive_or_expression;
+    inclusive_or_expression -> inclusive_or_expression; inclusive_or_expression -> "|"; inclusive_or_expression -> exclusive_or_expression;
+
+    logical_and_expression -> inclusive_or_expression;
+    logical_and_expression -> logical_and_expression; logical_and_expression -> "&&"; logical_and_expression -> inclusive_or_expression;
+
+    logical_or_expression -> logical_and_expression;
+    logical_or_expression -> logical_or_expression; logical_or_expression -> "||"; logical_or_expression -> logical_and_expression;
+
+    conditional_expression -> logical_or_expression;
+    conditional_expression -> logical_or_expression; conditional_expression -> "?"; conditional_expression -> expression; conditional_expression -> ":"; conditional_expression -> conditional_expression;
+
+    assignment_expression -> conditional_expression;
+    assignment_expression -> cast_expression; assignment_expression -> "="; assignment_expression -> assignment_expression;
+    assignment_expression -> cast_expression; assignment_expression -> compound_assignment_operator; assignment_expression -> assignment_expression;
+
+    compound_assignment_operator -> "*=";
+    compound_assignment_operator -> "/=";
+    compound_assignment_operator -> "%=";
+    compound_assignment_operator -> "+=";
+    compound_assignment_operator -> "-=";
+    compound_assignment_operator -> "<<=";
+    compound_assignment_operator -> ">>=";
+    compound_assignment_operator -> "&=";
+    compound_assignment_operator -> "^=";
+    compound_assignment_operator -> "|=";
+
+    expression -> assignment_expression;
+    expression -> expression; expression -> ","; expression -> assignment_expression;
+
+    constant_expression -> conditional_expression;
+
+    declaration -> declaration_specifiers; declaration -> ";";
+    declaration -> declaration_specifiers; declaration -> init_declarator_list; declaration -> ";";
+
+    global_declaration -> declaration;
+    global_declaration -> init_declarator_list; global_declaration -> ";";
+
+    declaration_specifiers -> storage_class_specifier;
+    declaration_specifiers -> declaration_specifiers; declaration_specifiers -> storage_class_specifier;
+    declaration_specifiers -> type_specifier;
+    declaration_specifiers -> declaration_specifiers; declaration_specifiers -> type_specifier;
+    declaration_specifiers -> type_qualifier;
+    declaration_specifiers -> declaration_specifiers; declaration_specifiers -> type_qualifier;
+    declaration_specifiers -> function_specifier;
+    declaration_specifiers -> declaration_specifiers; declaration_specifiers -> function_specifier;
+
+    init_declarator_list -> init_declarator;
+    init_declarator_list -> init_declarator_list; init_declarator_list -> ","; init_declarator_list -> init_declarator;
+
+    init_declarator -> declarator;
+    init_declarator -> declarator; init_declarator -> "="; init_declarator -> initializer;
+
+    storage_class_specifier -> TYPEDEF;
+    storage_class_specifier -> EXTERN;
+    storage_class_specifier -> STATIC;
+    storage_class_specifier -> AUTO;
+    storage_class_specifier -> REGISTER;
+
+    type_specifier -> VOID;
+    type_specifier -> CHAR;
+    type_specifier -> SHORT;
+    type_specifier -> INT;
+    type_specifier -> LONG;
+    type_specifier -> FLOAT;
+    type_specifier -> DOUBLE;
+    type_specifier -> SIGNED;
+    type_specifier -> UNSIGNED;
+    type_specifier -> BOOL;
+    type_specifier -> COMPLEX;
+    type_specifier -> IMAGINARY;
+    type_specifier -> TYPEDEF_NAME;
+    type_specifier -> struct_or_union_specifier;
+    type_specifier -> enum_specifier;
+    type_specifier -> TYPEOF; type_specifier -> "("; type_specifier -> constant_expression; type_specifier -> ")";
+    type_specifier -> TYPEOF; type_specifier -> "("; type_specifier -> type_name; type_specifier -> ")";
+
+    struct_or_union_specifier -> STRUCT; struct_or_union_specifier -> IDENTIFIER; struct_or_union_specifier -> "{"; struct_or_union_specifier -> struct_declaration_list; struct_or_union_specifier -> "}";
+    struct_or_union_specifier -> STRUCT; struct_or_union_specifier -> IDENTIFIER; struct_or_union_specifier -> "{"; struct_or_union_specifier -> "}";
+    struct_or_union_specifier -> UNION; struct_or_union_specifier -> IDENTIFIER; struct_or_union_specifier -> "{"; struct_or_union_specifier -> struct_declaration_list; struct_or_union_specifier -> "}";
+    struct_or_union_specifier -> UNION; struct_or_union_specifier -> IDENTIFIER; struct_or_union_specifier -> "{"; struct_or_union_specifier -> "}";
+    struct_or_union_specifier -> STRUCT; struct_or_union_specifier -> "{"; struct_or_union_specifier -> struct_declaration_list; struct_or_union_specifier -> "}";
+    struct_or_union_specifier -> STRUCT; struct_or_union_specifier -> "{"; struct_or_union_specifier -> "}";
+    struct_or_union_specifier -> UNION; struct_or_union_specifier -> "{"; struct_or_union_specifier -> struct_declaration_list; struct_or_union_specifier -> "}";
+    struct_or_union_specifier -> UNION; struct_or_union_specifier -> "{"; struct_or_union_specifier -> "}";
+    struct_or_union_specifier -> STRUCT; struct_or_union_specifier -> IDENTIFIER;
+    struct_or_union_specifier -> UNION; struct_or_union_specifier -> IDENTIFIER;
+
+    struct_declaration_list -> struct_declaration;
+    struct_declaration_list -> struct_declaration_list; struct_declaration_list -> struct_declaration;
+
+    struct_declaration -> specifier_qualifier_list; struct_declaration -> ";";
+    struct_declaration -> specifier_qualifier_list; struct_declaration -> struct_declarator_list; struct_declarator_list -> ";";
+
+    specifier_qualifier_list -> specifier_qualifier_list; specifier_qualifier_list -> type_specifier;
+    specifier_qualifier_list -> type_specifier;
+    specifier_qualifier_list -> specifier_qualifier_list; specifier_qualifier_list -> type_qualifier;
+    specifier_qualifier_list -> type_qualifier;
+
+    struct_declarator_list -> struct_declarator;
+    struct_declarator_list -> struct_declarator_list; struct_declarator_list -> ","; struct_declarator_list -> struct_declarator;
+
+    struct_declarator -> declarator;
+    struct_declarator -> ":"; struct_declarator -> constant_expression;
+    struct_declarator -> declarator; struct_declarator -> ":"; struct_declarator -> constant_expression;
+
+    enum_specifier -> ENUM; enum_specifier -> "{"; enum_specifier -> enumerator_list; enum_specifier -> "}";
+    enum_specifier -> ENUM; enum_specifier -> IDENTIFIER; enum_specifier -> "{"; enum_specifier -> enumerator_list; enum_specifier -> "}";
+    enum_specifier -> ENUM; enum_specifier -> "{"; enum_specifier -> enumerator_list; enum_specifier -> ","; enum_specifier -> "}";
+    enum_specifier -> ENUM; enum_specifier -> IDENTIFIER; enum_specifier -> "{"; enum_specifier -> enumerator_list; enum_specifier -> ","; enum_specifier -> "}";
+    enum_specifier -> ENUM; enum_specifier -> IDENTIFIER;
+
+    enumerator_list -> enumerator;
+    enumerator_list -> enumerator_list; enumerator_list -> ","; enumerator_list -> enumerator;
+
+    enumerator -> IDENTIFIER;
+    enumerator -> IDENTIFIER; enumerator -> "="; enumerator -> constant_expression;
+
+    type_qualifier -> CONST;
+    type_qualifier -> VOLATILE;
+    type_qualifier -> RESTRICT;
+
+    function_specifier -> INLINE;
+
+    declarator -> pointer; declarator -> direct_declarator;
+    declarator -> direct_declarator;
+
+    direct_declarator -> IDENTIFIER;
+    direct_declarator -> "("; direct_declarator -> declarator; direct_declarator -> ")";
+    direct_declarator -> direct_declarator; direct_declarator -> "["; direct_declarator -> type_qualifier_list; direct_declarator -> assignment_expression; direct_declarator -> "]";
+    direct_declarator -> direct_declarator; direct_declarator -> "["; direct_declarator -> type_qualifier_list; direct_declarator -> "]";
+    direct_declarator -> direct_declarator; direct_declarator -> "["; direct_declarator -> assignment_expression; direct_declarator -> "]";
+    direct_declarator -> direct_declarator; direct_declarator -> "["; direct_declarator -> STATIC; direct_declarator -> type_qualifier_list; direct_declarator -> assignment_expression; direct_declarator -> "]";
+    direct_declarator -> direct_declarator; direct_declarator -> "["; direct_declarator -> type_qualifier_list; direct_declarator -> STATIC; direct_declarator -> assignment_expression; direct_declarator -> "]";
+    direct_declarator -> direct_declarator; direct_declarator -> "["; direct_declarator -> type_qualifier_list; direct_declarator -> "*"; direct_declarator -> "]";
+    direct_declarator -> direct_declarator; direct_declarator -> "["; direct_declarator -> "*"; direct_declarator -> "]";
+    direct_declarator -> direct_declarator; direct_declarator -> "["; direct_declarator -> "]";
+    direct_declarator -> direct_declarator; direct_declarator -> "("; direct_declarator -> parameter_type_list; direct_declarator -> ")";
+    direct_declarator -> direct_declarator; direct_declarator -> "("; direct_declarator -> identifier_list; direct_declarator -> ")";
+    direct_declarator -> direct_declarator; direct_declarator -> "("; direct_declarator -> ")";
+
+    pointer -> "*";
+    pointer -> "*"; pointer -> type_qualifier_list;
+    pointer -> "*"; pointer -> pointer;
+    pointer -> "*"; pointer -> type_qualifier_list; pointer -> pointer;
+
+    type_qualifier_list -> type_qualifier;
+    type_qualifier_list -> type_qualifier_list; type_qualifier_list -> type_qualifier;
+
+    parameter_type_list -> parameter_list;
+    parameter_type_list -> parameter_list; parameter_type_list -> ","; parameter_type_list -> "...";
+
+    parameter_list -> parameter_declaration;
+    parameter_list -> parameter_list; parameter_list -> ","; parameter_list -> parameter_declaration;
+
+    parameter_declaration -> declaration_specifiers; parameter_declaration -> declarator;
+    parameter_declaration -> declaration_specifiers; parameter_declaration -> abstract_declarator;
+    parameter_declaration -> declaration_specifiers;
+
+    identifier_list -> IDENTIFIER;
+    identifier_list -> identifier_list; identifier_list -> ","; identifier_list -> IDENTIFIER;
+
+    type_name -> specifier_qualifier_list;
+    type_name -> specifier_qualifier_list; type_name -> abstract_declarator;
+
+    abstract_declarator -> pointer;
+    abstract_declarator -> pointer; abstract_declarator -> direct_abstract_declarator;
+    abstract_declarator -> direct_abstract_declarator;
+
+    direct_abstract_declarator -> "("; direct_abstract_declarator -> abstract_declarator; direct_abstract_declarator -> ")";
+    direct_abstract_declarator -> "["; direct_abstract_declarator -> "]";
+    direct_abstract_declarator -> "["; direct_abstract_declarator -> assignment_expression; direct_abstract_declarator -> "]";
+    direct_abstract_declarator -> direct_abstract_declarator; direct_abstract_declarator -> "["; direct_abstract_declarator -> "]";
+    direct_abstract_declarator -> direct_abstract_declarator; direct_abstract_declarator -> "["; direct_abstract_declarator -> assignment_expression; direct_abstract_declarator -> "]";
+    direct_abstract_declarator -> "["; direct_abstract_declarator -> "*"; direct_abstract_declarator -> "]";
+    direct_abstract_declarator -> direct_abstract_declarator; direct_abstract_declarator -> "["; direct_abstract_declarator -> "*"; direct_abstract_declarator -> "]";
+    direct_abstract_declarator -> "("; direct_abstract_declarator -> ")";
+    direct_abstract_declarator -> "("; direct_abstract_declarator -> parameter_type_list; direct_abstract_declarator -> ")";
+    direct_abstract_declarator -> direct_abstract_declarator; direct_abstract_declarator -> "("; direct_abstract_declarator -> ")";
+    direct_abstract_declarator -> direct_abstract_declarator; direct_abstract_declarator -> "("; direct_abstract_declarator -> parameter_type_list; direct_abstract_declarator -> ")";
+
+    initializer -> assignment_expression;
+    initializer -> "{"; initializer -> "}";
+    initializer -> "{"; initializer -> initializer_list; initializer -> "}";
+    initializer -> "{"; initializer -> initializer_list; initializer -> ","; initializer -> "}";
+
+    initializer_list -> initializer;
+    initializer_list -> designation; initializer_list -> initializer;
+    initializer_list -> initializer_list; initializer_list -> ","; initializer_list -> initializer;
+    initializer_list -> initializer_list; initializer_list -> ","; initializer_list -> designation; initializer_list -> initializer;
+
+    designation -> designator_list; designation -> "=";
+
+    designator_list -> designator;
+    designator_list -> designator_list; designator_list -> designator;
+
+    designator -> "["; designator -> constant_expression; designator -> "]";
+    designator -> "."; designator -> IDENTIFIER;
+
+    statement -> labeled_statement;
+    statement -> compound_statement;
+    statement -> expression_statement;
+    statement -> selection_statement;
+    statement -> iteration_statement;
+    statement -> jump_statement;
+
+    labeled_statement -> IDENTIFIER; labeled_statement -> ":"; labeled_statement -> statement;
+    labeled_statement -> CASE; labeled_statement -> constant_expression; labeled_statement -> ":"; labeled_statement -> statement;
+    labeled_statement -> DEFAULT; labeled_statement -> ":"; labeled_statement -> statement;
+
+    compound_statement -> "{"; compound_statement -> "}";
+    compound_statement -> "{"; compound_statement -> block_item_list; compound_statement -> "}";
+
+    block_item_list -> block_item;
+    block_item_list -> block_item_list; block_item_list -> block_item;
+
+    block_item -> declaration;
+    block_item -> statement;
+    block_item -> local_function_definition;
+
+    expression_statement -> ";";
+    expression_statement -> expression; expression_statement -> ";";
+
+    selection_statement -> IF; selection_statement -> "("; selection_statement -> expression; selection_statement -> ")"; selection_statement -> statement;
+    selection_statement -> IF; selection_statement -> "("; selection_statement -> expression; selection_statement -> ")"; selection_statement -> statement; selection_statement -> ELSE; selection_statement -> statement;
+    selection_statement -> SWITCH; selection_statement -> "("; selection_statement -> expression; selection_statement -> ")"; selection_statement -> statement;
+
+    iteration_statement -> WHILE; iteration_statement -> "("; iteration_statement -> expression; iteration_statement -> ")"; iteration_statement -> statement;
+    iteration_statement -> DO; iteration_statement -> statement; iteration_statement -> WHILE; iteration_statement -> "("; iteration_statement -> expression; iteration_statement -> ")"; iteration_statement -> ";";
+    iteration_statement -> FOR; iteration_statement -> "("; iteration_statement -> expression_statement; iteration_statement -> expression_statement; iteration_statement -> ")"; iteration_statement -> statement;
+    iteration_statement -> FOR; iteration_statement -> "("; iteration_statement -> expression_statement; iteration_statement -> expression_statement; iteration_statement -> expression; iteration_statement -> ")"; iteration_statement -> statement;
+    iteration_statement -> FOR; iteration_statement -> "("; iteration_statement -> declaration; iteration_statement -> expression_statement; iteration_statement -> ")"; iteration_statement -> statement;
+    iteration_statement -> FOR; iteration_statement -> "("; iteration_statement -> declaration; iteration_statement -> expression_statement; iteration_statement -> expression; iteration_statement -> ")"; iteration_statement -> statement;
+
+    jump_statement -> GOTO; jump_statement -> IDENTIFIER; jump_statement -> ";";
+    jump_statement -> GOTO; jump_statement -> "*"; jump_statement -> expression; jump_statement -> ";";
+    jump_statement -> CONTINUE; jump_statement -> ";";
+    jump_statement -> BREAK; jump_statement -> ";";
+    jump_statement -> RETURN; jump_statement -> ";";
+    jump_statement -> RETURN; jump_statement -> expression; jump_statement -> ";";
+
+    translation_unit -> translation_unit; translation_unit -> external_declaration;
+
+    external_declaration -> function_definition;
+    external_declaration -> global_declaration;
+
+    function_definition -> declaration_specifiers; function_definition -> declarator; function_definition -> declaration_list; function_definition -> compound_statement;
+    function_definition -> declaration_specifiers; function_definition -> declarator; function_definition -> compound_statement;
+    function_definition -> declarator; function_definition -> declaration_list; function_definition -> compound_statement;
+    function_definition -> declarator; function_definition -> compound_statement;
+
+    local_function_definition -> declaration_specifiers; local_function_definition -> declarator; local_function_definition -> declaration_list; local_function_definition -> compound_statement;
+    local_function_definition -> declaration_specifiers; local_function_definition -> declarator; local_function_definition -> compound_statement;
+
+    declaration_list -> declaration;
+    declaration_list -> declaration_list; declaration_list -> declaration;
+}

data/share/doc/developers_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 3.0.4 開発者ガイド</title>
+<title>AdLint 3.0.8 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 3.0.4 開発者ガイド">
+<meta name="description" content="AdLint 3.0.8 開発者ガイド">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 3.0.4 開発者ガイド</h1>
+<h1 class="settitle">AdLint 3.0.8 開発者ガイド</h1>
 <div class="contents">
 <h2>Table of Contents</h2>
 <ul>
@@ -282,6 +282,7 @@ qualified              -> qualed
 error                  -> err
 project                -> proj
 temporary              -> tmp
+referrer-function      -> ref_fun
 </pre>
 
 <div class="node">

data/share/doc/developers_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename developers_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 3.0.4 開発者ガイド
+@settitle AdLint 3.0.8 開発者ガイド
 
 @copying
 Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
@@ -211,6 +211,7 @@ qualified              -> qualed
 error                  -> err
 project                -> proj
 temporary              -> tmp
+referrer-function      -> ref_fun
 @end verbatim
 
 

data/share/doc/users_guide_en.html

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 3.0.4 User's Guide</title>
+<title>AdLint 3.0.8 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 3.0.4 User's Guide">
+<meta name="description" content="AdLint 3.0.8 User's Guide">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 3.0.4 User's Guide</h1>
+<h1 class="settitle">AdLint 3.0.8 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -2861,7 +2861,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0639">W0639</a>: %sth conversion specifier doesn't match with corresponding type of actual argument. 
 <li><a href="#W0640">W0640</a>: The actual argument of scanf function have to pass the object pointer to store the data. 
 <li><a href="#W0641">W0641</a>: Floating-point number type cast to pointer to object and vice versa. 
-<li><a href="#W0642">W0642</a>: It is impossible to get the array's address which declared with 'register'. 
+<li><a href="#W0642">W0642</a>: Address derivation from the object declared as `register' is prohibited. 
 <li><a href="#W0643">W0643</a>: This string literal constituted by a macro is illegal form unenclosed by `"'. `#'operator may apply to actual argument which has '\' at the end. 
 <li><a href="#W0644">W0644</a>: A value in void statement is going to use. 'void' statement doesn't have a value. 
 <li><a href="#W0645">W0645</a>: 'void' type cannot use in the type of formal argument. 
@@ -30664,7 +30664,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.524.1 Message body</h4>
 
-<p>It is impossible to get the array's address which declared with 'register'.
+<p>Address derivation from the object declared as `register' is prohibited.
 
 <h4 class="subsection">6.524.2 Content</h4>
 
@@ -30724,7 +30724,7 @@ const char *str = MACRO(foo\); /* W0643 */
 <h4 class="subsection">6.525.4 Related message</h4>
 
      <ul>
-<li><a href="#W0642">W0642</a> It is impossible to get the array's address which declared with 'register'. 
+<li><a href="#W0642">W0642</a> Address derivation from the object declared as `register' is prohibited. 
 <li><a href="#W0644">W0644</a> A value in void statement is going to use. 'void' statement doesn't have a value. 
 <li><a href="#W0645">W0645</a> 'void' type cannot use in the type of formal argument. 
 <li><a href="#W0646">W0646</a> A normal string literal and a wide string literal are contiguous. 
@@ -30768,7 +30768,7 @@ int bar(void)
 <h4 class="subsection">6.526.4 Related message</h4>
 
      <ul>
-<li><a href="#W0642">W0642</a> It is impossible to get the array's address which declared with 'register'. 
+<li><a href="#W0642">W0642</a> Address derivation from the object declared as `register' is prohibited. 
 <li><a href="#W0643">W0643</a> This string literal constituted by a macro is illegal form unenclosed by `"'. `#'operator may apply to actual argument which has '\' at the end. 
 <li><a href="#W0645">W0645</a> 'void' type cannot use in the type of formal argument. 
 <li><a href="#W0646">W0646</a> A normal string literal and a wide string literal are contiguous. 
@@ -30810,7 +30810,7 @@ void a;
 <h4 class="subsection">6.527.4 Related message</h4>
 
      <ul>
-<li><a href="#W0642">W0642</a> It is impossible to get the array's address which declared with 'register'. 
+<li><a href="#W0642">W0642</a> Address derivation from the object declared as `register' is prohibited. 
 <li><a href="#W0643">W0643</a> This string literal constituted by a macro is illegal form unenclosed by `"'. `#'operator may apply to actual argument which has '\' at the end. 
 <li><a href="#W0644">W0644</a> A value in void statement is going to use. 'void' statement doesn't have a value. 
 <li><a href="#W0646">W0646</a> A normal string literal and a wide string literal are contiguous. 
@@ -30849,7 +30849,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.528.4 Related message</h4>
 
      <ul>
-<li><a href="#W0642">W0642</a> It is impossible to get the array's address which declared with 'register'. 
+<li><a href="#W0642">W0642</a> Address derivation from the object declared as `register' is prohibited. 
 <li><a href="#W0643">W0643</a> This string literal constituted by a macro is illegal form unenclosed by `"'. `#'operator may apply to actual argument which has '\' at the end. 
 <li><a href="#W0644">W0644</a> A value in void statement is going to use. 'void' statement doesn't have a value. 
 <li><a href="#W0645">W0645</a> 'void' type cannot use in the type of formal argument.