cprover
yyalloc Union Reference

Public Attributes

yy_state_t yyss_alloc
 
unsigned yyvs_alloc
 
YYSTYPE yyvs_alloc
 

Detailed Description

Definition at line 1072 of file ansi_c_y.tab.cpp.

Member Data Documentation

◆ yyss_alloc

yy_state_t yyalloc::yyss_alloc

Definition at line 1074 of file ansi_c_y.tab.cpp.

◆ yyvs_alloc [1/2]

YYSTYPE yyalloc::yyvs_alloc

Definition at line 1075 of file ansi_c_y.tab.cpp.

◆ yyvs_alloc [2/2]

YYSTYPE yyalloc::yyvs_alloc

Definition at line 511 of file json_y.tab.cpp.


The documentation for this union was generated from the following files: