cprover
|
Go to the source code of this file.
Typedefs | |
typedef int | YYSTYPE |
Functions | |
int | yyansi_cparse (void) |
Variables | |
YYSTYPE | yyansi_clval |
#define TOK_ACSL_EXISTS 376 |
Definition at line 353 of file ansi_c_y.tab.h.
#define TOK_ACSL_FORALL 375 |
Definition at line 352 of file ansi_c_y.tab.h.
#define TOK_ALIGNAS 397 |
Definition at line 374 of file ansi_c_y.tab.h.
#define TOK_ALIGNOF 362 |
Definition at line 339 of file ansi_c_y.tab.h.
#define TOK_ANDAND 304 |
Definition at line 281 of file ansi_c_y.tab.h.
#define TOK_ANDASSIGN 314 |
Definition at line 291 of file ansi_c_y.tab.h.
#define TOK_ARRAY_OF 377 |
Definition at line 354 of file ansi_c_y.tab.h.
#define TOK_ARROW 295 |
Definition at line 272 of file ansi_c_y.tab.h.
#define TOK_ARROWPM 435 |
Definition at line 412 of file ansi_c_y.tab.h.
#define TOK_ASM_STRING 323 |
Definition at line 300 of file ansi_c_y.tab.h.
#define TOK_ATOMIC_TYPE_QUALIFIER 398 |
Definition at line 375 of file ansi_c_y.tab.h.
#define TOK_ATOMIC_TYPE_SPECIFIER 399 |
Definition at line 376 of file ansi_c_y.tab.h.
#define TOK_AUTO 258 |
Definition at line 235 of file ansi_c_y.tab.h.
#define TOK_BINARY_TYPE_PREDICATE 437 |
Definition at line 414 of file ansi_c_y.tab.h.
#define TOK_BOOL 259 |
Definition at line 236 of file ansi_c_y.tab.h.
#define TOK_BREAK 261 |
Definition at line 238 of file ansi_c_y.tab.h.
#define TOK_BUILTIN_VA_ARG 358 |
Definition at line 335 of file ansi_c_y.tab.h.
#define TOK_CASE 262 |
Definition at line 239 of file ansi_c_y.tab.h.
#define TOK_CATCH 409 |
Definition at line 386 of file ansi_c_y.tab.h.
#define TOK_CDECL 369 |
Definition at line 346 of file ansi_c_y.tab.h.
#define TOK_CHAR 263 |
Definition at line 240 of file ansi_c_y.tab.h.
#define TOK_CHAR16_T 410 |
Definition at line 387 of file ansi_c_y.tab.h.
#define TOK_CHAR32_T 411 |
Definition at line 388 of file ansi_c_y.tab.h.
#define TOK_CHARACTER 321 |
Definition at line 298 of file ansi_c_y.tab.h.
#define TOK_CLANG_BUILTIN_CONVERTVECTOR 360 |
Definition at line 337 of file ansi_c_y.tab.h.
#define TOK_CLASS 412 |
Definition at line 389 of file ansi_c_y.tab.h.
#define TOK_CLRCALL 372 |
Definition at line 349 of file ansi_c_y.tab.h.
#define TOK_COMPLEX 260 |
Definition at line 237 of file ansi_c_y.tab.h.
#define TOK_CONST 264 |
Definition at line 241 of file ansi_c_y.tab.h.
#define TOK_CONSTEXPR 406 |
Definition at line 383 of file ansi_c_y.tab.h.
#define TOK_CONTINUE 265 |
Definition at line 242 of file ansi_c_y.tab.h.
#define TOK_CPROVER_ATOMIC 381 |
Definition at line 358 of file ansi_c_y.tab.h.
#define TOK_CPROVER_BITVECTOR 378 |
Definition at line 355 of file ansi_c_y.tab.h.
#define TOK_CPROVER_BOOL 382 |
Definition at line 359 of file ansi_c_y.tab.h.
#define TOK_CPROVER_CATCH 384 |
Definition at line 361 of file ansi_c_y.tab.h.
#define TOK_CPROVER_ENSURES 390 |
Definition at line 367 of file ansi_c_y.tab.h.
#define TOK_CPROVER_FINALLY 386 |
Definition at line 363 of file ansi_c_y.tab.h.
#define TOK_CPROVER_FIXEDBV 380 |
Definition at line 357 of file ansi_c_y.tab.h.
#define TOK_CPROVER_FLOATBV 379 |
Definition at line 356 of file ansi_c_y.tab.h.
#define TOK_CPROVER_ID 387 |
Definition at line 364 of file ansi_c_y.tab.h.
#define TOK_CPROVER_LOOP_INVARIANT 388 |
Definition at line 365 of file ansi_c_y.tab.h.
#define TOK_CPROVER_REQUIRES 389 |
Definition at line 366 of file ansi_c_y.tab.h.
#define TOK_CPROVER_THROW 383 |
Definition at line 360 of file ansi_c_y.tab.h.
#define TOK_CPROVER_TRY 385 |
Definition at line 362 of file ansi_c_y.tab.h.
#define TOK_CW_VAR_ARG_TYPEOF 357 |
Definition at line 334 of file ansi_c_y.tab.h.
#define TOK_DECLTYPE 414 |
Definition at line 391 of file ansi_c_y.tab.h.
#define TOK_DECR 297 |
Definition at line 274 of file ansi_c_y.tab.h.
#define TOK_DEFAULT 266 |
Definition at line 243 of file ansi_c_y.tab.h.
#define TOK_DELETE 413 |
Definition at line 390 of file ansi_c_y.tab.h.
#define TOK_DIVASSIGN 308 |
Definition at line 285 of file ansi_c_y.tab.h.
#define TOK_DO 267 |
Definition at line 244 of file ansi_c_y.tab.h.
#define TOK_DOTPM 434 |
Definition at line 411 of file ansi_c_y.tab.h.
#define TOK_DOUBLE 268 |
Definition at line 245 of file ansi_c_y.tab.h.
#define TOK_ELLIPSIS 306 |
Definition at line 283 of file ansi_c_y.tab.h.
#define TOK_ELSE 269 |
Definition at line 246 of file ansi_c_y.tab.h.
#define TOK_ENUM 270 |
Definition at line 247 of file ansi_c_y.tab.h.
#define TOK_EQ 302 |
Definition at line 279 of file ansi_c_y.tab.h.
#define TOK_EQUIVALENT 392 |
Definition at line 369 of file ansi_c_y.tab.h.
#define TOK_EXISTS 374 |
Definition at line 351 of file ansi_c_y.tab.h.
#define TOK_EXPLICIT 415 |
Definition at line 392 of file ansi_c_y.tab.h.
#define TOK_EXTERN 271 |
Definition at line 248 of file ansi_c_y.tab.h.
#define TOK_FALSE 394 |
Definition at line 371 of file ansi_c_y.tab.h.
#define TOK_FASTCALL 371 |
Definition at line 348 of file ansi_c_y.tab.h.
#define TOK_FLOAT 272 |
Definition at line 249 of file ansi_c_y.tab.h.
#define TOK_FLOATING 320 |
Definition at line 297 of file ansi_c_y.tab.h.
#define TOK_FOR 273 |
Definition at line 250 of file ansi_c_y.tab.h.
#define TOK_FORALL 373 |
Definition at line 350 of file ansi_c_y.tab.h.
#define TOK_FRIEND 416 |
Definition at line 393 of file ansi_c_y.tab.h.
#define TOK_GCC_ASM 339 |
Definition at line 316 of file ansi_c_y.tab.h.
#define TOK_GCC_ASM_PAREN 340 |
Definition at line 317 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE 341 |
Definition at line 318 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_ALIAS 349 |
Definition at line 326 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_ALIGNED 342 |
Definition at line 319 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_CONSTRUCTOR 352 |
Definition at line 329 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_DESTRUCTOR 353 |
Definition at line 330 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_GNU_INLINE 347 |
Definition at line 324 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_MODE 346 |
Definition at line 323 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_NORETURN 351 |
Definition at line 328 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_PACKED 344 |
Definition at line 321 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_SECTION 350 |
Definition at line 327 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION 343 |
Definition at line 320 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_VECTOR_SIZE 345 |
Definition at line 322 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_WEAK 348 |
Definition at line 325 of file ansi_c_y.tab.h.
#define TOK_GCC_AUTO_TYPE 331 |
Definition at line 308 of file ansi_c_y.tab.h.
#define TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P 359 |
Definition at line 336 of file ansi_c_y.tab.h.
#define TOK_GCC_DECIMAL128 338 |
Definition at line 315 of file ansi_c_y.tab.h.
#define TOK_GCC_DECIMAL32 336 |
Definition at line 313 of file ansi_c_y.tab.h.
#define TOK_GCC_DECIMAL64 337 |
Definition at line 314 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT128 333 |
Definition at line 310 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT128_ALT 334 |
Definition at line 311 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT80 332 |
Definition at line 309 of file ansi_c_y.tab.h.
#define TOK_GCC_INT128 335 |
Definition at line 312 of file ansi_c_y.tab.h.
#define TOK_GCC_LABEL 354 |
Definition at line 331 of file ansi_c_y.tab.h.
#define TOK_GE 301 |
Definition at line 278 of file ansi_c_y.tab.h.
#define TOK_GENERIC 400 |
Definition at line 377 of file ansi_c_y.tab.h.
#define TOK_GOTO 274 |
Definition at line 251 of file ansi_c_y.tab.h.
#define TOK_IDENTIFIER 317 |
Definition at line 294 of file ansi_c_y.tab.h.
#define TOK_IF 275 |
Definition at line 252 of file ansi_c_y.tab.h.
#define TOK_IMAG 396 |
Definition at line 373 of file ansi_c_y.tab.h.
#define TOK_IMAGINARY 401 |
Definition at line 378 of file ansi_c_y.tab.h.
#define TOK_IMPLIES 391 |
Definition at line 368 of file ansi_c_y.tab.h.
#define TOK_INCR 296 |
Definition at line 273 of file ansi_c_y.tab.h.
#define TOK_INLINE 276 |
Definition at line 253 of file ansi_c_y.tab.h.
#define TOK_INT 277 |
Definition at line 254 of file ansi_c_y.tab.h.
#define TOK_INT16 325 |
Definition at line 302 of file ansi_c_y.tab.h.
#define TOK_INT32 326 |
Definition at line 303 of file ansi_c_y.tab.h.
#define TOK_INT64 327 |
Definition at line 304 of file ansi_c_y.tab.h.
#define TOK_INT8 324 |
Definition at line 301 of file ansi_c_y.tab.h.
#define TOK_INTEGER 319 |
Definition at line 296 of file ansi_c_y.tab.h.
#define TOK_INTERFACE 368 |
Definition at line 345 of file ansi_c_y.tab.h.
#define TOK_LE 300 |
Definition at line 277 of file ansi_c_y.tab.h.
#define TOK_LONG 278 |
Definition at line 255 of file ansi_c_y.tab.h.
#define TOK_MINUSASSIGN 311 |
Definition at line 288 of file ansi_c_y.tab.h.
#define TOK_MODASSIGN 309 |
Definition at line 286 of file ansi_c_y.tab.h.
#define TOK_MSC_ASM 355 |
Definition at line 332 of file ansi_c_y.tab.h.
#define TOK_MSC_BASED 356 |
Definition at line 333 of file ansi_c_y.tab.h.
#define TOK_MSC_DECLSPEC 367 |
Definition at line 344 of file ansi_c_y.tab.h.
#define TOK_MSC_EXCEPT 365 |
Definition at line 342 of file ansi_c_y.tab.h.
#define TOK_MSC_FINALLY 364 |
Definition at line 341 of file ansi_c_y.tab.h.
#define TOK_MSC_IF_EXISTS 439 |
Definition at line 416 of file ansi_c_y.tab.h.
#define TOK_MSC_IF_NOT_EXISTS 440 |
Definition at line 417 of file ansi_c_y.tab.h.
#define TOK_MSC_LEAVE 366 |
Definition at line 343 of file ansi_c_y.tab.h.
#define TOK_MSC_TRY 363 |
Definition at line 340 of file ansi_c_y.tab.h.
#define TOK_MSC_UUIDOF 438 |
Definition at line 415 of file ansi_c_y.tab.h.
#define TOK_MULTASSIGN 307 |
Definition at line 284 of file ansi_c_y.tab.h.
#define TOK_MUTABLE 417 |
Definition at line 394 of file ansi_c_y.tab.h.
#define TOK_NAMESPACE 418 |
Definition at line 395 of file ansi_c_y.tab.h.
#define TOK_NE 303 |
Definition at line 280 of file ansi_c_y.tab.h.
#define TOK_NEW 419 |
Definition at line 396 of file ansi_c_y.tab.h.
#define TOK_NOEXCEPT 420 |
Definition at line 397 of file ansi_c_y.tab.h.
#define TOK_NORETURN 402 |
Definition at line 379 of file ansi_c_y.tab.h.
#define TOK_NULLPTR 405 |
Definition at line 382 of file ansi_c_y.tab.h.
#define TOK_OFFSETOF 361 |
Definition at line 338 of file ansi_c_y.tab.h.
#define TOK_OPERATOR 421 |
Definition at line 398 of file ansi_c_y.tab.h.
#define TOK_ORASSIGN 316 |
Definition at line 293 of file ansi_c_y.tab.h.
#define TOK_OROR 305 |
Definition at line 282 of file ansi_c_y.tab.h.
#define TOK_PLUSASSIGN 310 |
Definition at line 287 of file ansi_c_y.tab.h.
#define TOK_PRIVATE 422 |
Definition at line 399 of file ansi_c_y.tab.h.
#define TOK_PROTECTED 423 |
Definition at line 400 of file ansi_c_y.tab.h.
#define TOK_PTR32 328 |
Definition at line 305 of file ansi_c_y.tab.h.
#define TOK_PTR64 329 |
Definition at line 306 of file ansi_c_y.tab.h.
#define TOK_PUBLIC 424 |
Definition at line 401 of file ansi_c_y.tab.h.
#define TOK_REAL 395 |
Definition at line 372 of file ansi_c_y.tab.h.
#define TOK_REGISTER 279 |
Definition at line 256 of file ansi_c_y.tab.h.
#define TOK_RESTRICT 280 |
Definition at line 257 of file ansi_c_y.tab.h.
#define TOK_RETURN 281 |
Definition at line 258 of file ansi_c_y.tab.h.
#define TOK_SCANNER_EOF 408 |
Definition at line 385 of file ansi_c_y.tab.h.
#define TOK_SCANNER_ERROR 407 |
Definition at line 384 of file ansi_c_y.tab.h.
#define TOK_SCOPE 433 |
Definition at line 410 of file ansi_c_y.tab.h.
#define TOK_SHIFTLEFT 298 |
Definition at line 275 of file ansi_c_y.tab.h.
#define TOK_SHIFTRIGHT 299 |
Definition at line 276 of file ansi_c_y.tab.h.
#define TOK_SHLASSIGN 312 |
Definition at line 289 of file ansi_c_y.tab.h.
#define TOK_SHORT 282 |
Definition at line 259 of file ansi_c_y.tab.h.
#define TOK_SHRASSIGN 313 |
Definition at line 290 of file ansi_c_y.tab.h.
#define TOK_SIGNED 283 |
Definition at line 260 of file ansi_c_y.tab.h.
#define TOK_SIZEOF 284 |
Definition at line 261 of file ansi_c_y.tab.h.
#define TOK_STATIC 285 |
Definition at line 262 of file ansi_c_y.tab.h.
#define TOK_STATIC_ASSERT 403 |
Definition at line 380 of file ansi_c_y.tab.h.
#define TOK_STDCALL 370 |
Definition at line 347 of file ansi_c_y.tab.h.
#define TOK_STRING 322 |
Definition at line 299 of file ansi_c_y.tab.h.
#define TOK_STRUCT 286 |
Definition at line 263 of file ansi_c_y.tab.h.
#define TOK_SWITCH 287 |
Definition at line 264 of file ansi_c_y.tab.h.
#define TOK_TEMPLATE 425 |
Definition at line 402 of file ansi_c_y.tab.h.
#define TOK_THIS 426 |
Definition at line 403 of file ansi_c_y.tab.h.
#define TOK_THREAD_LOCAL 404 |
Definition at line 381 of file ansi_c_y.tab.h.
#define TOK_THROW 427 |
Definition at line 404 of file ansi_c_y.tab.h.
#define TOK_TRUE 393 |
Definition at line 370 of file ansi_c_y.tab.h.
#define TOK_TRY 430 |
Definition at line 407 of file ansi_c_y.tab.h.
#define TOK_TYPEDEF 288 |
Definition at line 265 of file ansi_c_y.tab.h.
#define TOK_TYPEDEFNAME 318 |
Definition at line 295 of file ansi_c_y.tab.h.
#define TOK_TYPEID 428 |
Definition at line 405 of file ansi_c_y.tab.h.
#define TOK_TYPENAME 429 |
Definition at line 406 of file ansi_c_y.tab.h.
#define TOK_TYPEOF 330 |
Definition at line 307 of file ansi_c_y.tab.h.
#define TOK_UNARY_TYPE_PREDICATE 436 |
Definition at line 413 of file ansi_c_y.tab.h.
#define TOK_UNDERLYING_TYPE 441 |
Definition at line 418 of file ansi_c_y.tab.h.
#define TOK_UNION 289 |
Definition at line 266 of file ansi_c_y.tab.h.
#define TOK_UNSIGNED 290 |
Definition at line 267 of file ansi_c_y.tab.h.
#define TOK_USING 431 |
Definition at line 408 of file ansi_c_y.tab.h.
#define TOK_VIRTUAL 432 |
Definition at line 409 of file ansi_c_y.tab.h.
#define TOK_VOID 291 |
Definition at line 268 of file ansi_c_y.tab.h.
#define TOK_VOLATILE 292 |
Definition at line 269 of file ansi_c_y.tab.h.
#define TOK_WCHAR_T 293 |
Definition at line 270 of file ansi_c_y.tab.h.
#define TOK_WHILE 294 |
Definition at line 271 of file ansi_c_y.tab.h.
#define TOK_XORASSIGN 315 |
Definition at line 292 of file ansi_c_y.tab.h.
#define YYDEBUG 0 |
Definition at line 37 of file ansi_c_y.tab.h.
#define YYSTYPE_IS_DECLARED 1 |
Definition at line 424 of file ansi_c_y.tab.h.
#define YYSTYPE_IS_TRIVIAL 1 |
Definition at line 423 of file ansi_c_y.tab.h.
#define YYTOKENTYPE |
Definition at line 45 of file ansi_c_y.tab.h.
typedef int YYSTYPE |
Definition at line 422 of file ansi_c_y.tab.h.
enum yytokentype |
Definition at line 46 of file ansi_c_y.tab.h.
int yyansi_cparse | ( | void | ) |
Definition at line 3294 of file ansi_c_y.tab.cpp.
References ansi_c_declarationt::add_initializer(), exprt::add_source_location(), ANSI_C_LOCAL_LABEL, ANSI_C_SYMBOL, ansi_c_identifiert::base_name, convert_integer_literal(), ansi_c_declarationt::declarators(), forall_operands, id2string(), ansi_c_identifiert::id_class, exprt::move_to_operands(), exprt::operands(), PARSER, ansi_c_identifiert::prefixed_name, irept::set(), ansi_c_declarationt::set_is_enum_constant(), ansi_c_declarationt::set_is_member(), ansi_c_declarationt::set_is_parameter(), ansi_c_declarationt::set_is_static_assert(), stack, stack_type, typet::subtypes(), irept::swap(), to_ansi_c_declaration(), exprt::type(), YY_, YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_REDUCE_PRINT, YY_STACK_PRINT, YY_SYMBOL_PRINT, YYABORT, YYACCEPT, yychar, yycheck, yydefact, yydefgoto, yydestruct(), YYDPRINTF, YYEMPTY, YYEOF, yyerror, YYFINAL, YYINITDEPTH, YYLAST, yylex, yylval, YYMAXDEPTH, yynerrs, YYNTOKENS, yypact, yypact_value_is_default, yypgoto, YYPOPSTACK, yyr1, yyr2, YYSIZE_T, yyalloc::yyss_alloc, YYSTACK_ALLOC, YYSTACK_BYTES, YYSTACK_FREE, YYSTACK_RELOCATE, yystos, YYSYNTAX_ERROR, yytable, yytable_value_is_error, YYTERROR, YYTRANSLATE, and yyalloc::yyvs_alloc.
YYSTYPE yyansi_clval |