[splint-discuss] Cgrammar.c: yypact[], yydefgoto[], yyr1[], yydefact[], yyr2[]

[Muneeswaran P-ERS,HCLTech]

Hi All,

I am new to splint and going through the splint code ver3.1.1. I want some details on yypact[], yydefgoto[], yyr1[], yydefact[], yyr2[] in Cgrammar.c file.

1. As per my understanding, there are three stacks implemented for state, semantic values and location as yyssa[], yyvsa[] and yylsa[] respectively. But how these stack tables got linked to yypact[], yydefgoto[], yyr1[], yydefact[], yyr2[].

2. Is it generated automatically from bison utility ? Is it done manually ?

Please help me to understand this stuff.

Regards,
Munees.
Tel: +91-44-42169999 Extn-2732

DISCLAIMER:
-----------------------------------------------------------------------------------------------------------------------

The contents of this e-mail and any attachment(s) are confidential and intended for the named recipient(s) only. 
It shall not attach any liability on the originator or HCL or its affiliates. Any views or opinions presented in 
this email are solely those of the author and may not necessarily reflect the opinions of HCL or its affiliates. 
Any form of reproduction, dissemination, copying, disclosure, modification, distribution and / or publication of 
this message without the prior written consent of the author of this e-mail is strictly prohibited. If you have 
received this email in error please delete it and notify the sender immediately. Before opening any mail and 
attachments please check them for viruses and defect.

-----------------------------------------------------------------------------------------------------------------------