U
uù¾f; ã @ s0 d dl mZ dd„ Zdd„ Zdd„ Zdd „ Zd
S ) é )Úc_astc C sª t | tjƒst‚t | jtjƒs"| S t g | jj¡}d}| jjp@g D ]\}t |tjtj fƒr||j
|¡ t ||jƒ |jd }qB|dkr’|j
|¡ qB|j
|¡ qB|| _| S )aÜ The 'case' statements in a 'switch' come out of parsing with one
child node, so subsequent statements are just tucked to the parent
Compound. Additionally, consecutive (fall-through) case statements
come out messy. This is a peculiarity of the C grammar. The following:
switch (myvar) {
case 10:
k = 10;
p = k + 1;
return 10;
case 20:
case 30:
return 20;
default:
break;
}
Creates this tree (pseudo-dump):
Switch
ID: myvar
Compound:
Case 10:
k = 10
p = k + 1
return 10
Case 20:
Case 30:
return 20
Default:
break
The goal of this transform is to fix this mess, turning it into the
following:
Switch
ID: myvar
Compound:
Case 10:
k = 10
p = k + 1
return 10
Case 20:
Case 30:
return 20
Default:
break
A fixed AST node is returned. The argument may be modified.
Néÿÿÿÿ)
Ú
isinstancer ZSwitchÚAssertionErrorÚstmtZCompoundZcoordZ block_itemsÚCaseÚDefaultÚappendÚ_extract_nested_caseÚstmts)Z switch_nodeZ new_compoundZ last_caseÚchild© r
úI/opt/alt/python38/lib/python3.8/site-packages/pycparser/ast_transforms.pyÚfix_switch_cases
s 3 r c C s: t | jd tjtjfƒr6| | j ¡ ¡ t|d |ƒ dS )z€ Recursively extract consecutive Case statements that are made nested
by the parser and add them to the stmts_list.
é r N)r r r r r r Úpopr
)Z case_nodeZ
stmts_listr
r
r r
c s r
c C s€ t | ƒ\} }|s qq | }t|tjƒsJz
|j}W q tk
rF | Y S X qd|jkrjd| jkrj| j d¡ |jdkr|| j |_| S )aK Atomic specifiers like _Atomic(type) are unusually structured,
conferring a qualifier upon the contained type.
This function fixes a decl with atomic specifiers to have a sane AST
structure, by removing spurious Typename->TypeDecl pairs and attaching
the _Atomic qualifier in the right place.
Ú_AtomicN)
Ú_fix_atomic_specifiers_oncer r ÚTypeDeclÚtypeÚAttributeErrorÚqualsr ZdeclnameÚname)ÚdeclÚfoundÚtypr
r
r Úfix_atomic_specifiersl s
r c C sš | }d}| j }|dk r`t|tjƒr.d|jkr.q`z|}|}|j }W q tk
r\ | df Y S X qt|tjƒspt‚|j |_ d|j jkr’|j j d¡ | dfS )zƒ Performs one 'fix' round of atomic specifiers.
Returns (modified_decl, found) where found is True iff a fix was made.
Nr FT) r r r ZTypenamer r r r r )r ÚparentZ grandparentÚnoder
r
r r Πs"
r N)Ú r r r
r r r
r
r
r Ú
s V