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 384 |
Definition at line 369 of file ansi_c_y.tab.h.
#define TOK_ACSL_FORALL 383 |
Definition at line 368 of file ansi_c_y.tab.h.
#define TOK_ALIGNAS 405 |
Definition at line 390 of file ansi_c_y.tab.h.
#define TOK_ALIGNOF 369 |
Definition at line 354 of file ansi_c_y.tab.h.
#define TOK_ANDAND 304 |
Definition at line 289 of file ansi_c_y.tab.h.
#define TOK_ANDASSIGN 314 |
Definition at line 299 of file ansi_c_y.tab.h.
#define TOK_ARRAY_OF 385 |
Definition at line 370 of file ansi_c_y.tab.h.
#define TOK_ARROW 295 |
Definition at line 280 of file ansi_c_y.tab.h.
#define TOK_ARROWPM 443 |
Definition at line 428 of file ansi_c_y.tab.h.
#define TOK_ASM_STRING 323 |
Definition at line 308 of file ansi_c_y.tab.h.
#define TOK_ATOMIC_TYPE_QUALIFIER 406 |
Definition at line 391 of file ansi_c_y.tab.h.
#define TOK_ATOMIC_TYPE_SPECIFIER 407 |
Definition at line 392 of file ansi_c_y.tab.h.
#define TOK_AUTO 258 |
Definition at line 243 of file ansi_c_y.tab.h.
#define TOK_BINARY_TYPE_PREDICATE 445 |
Definition at line 430 of file ansi_c_y.tab.h.
#define TOK_BOOL 259 |
Definition at line 244 of file ansi_c_y.tab.h.
#define TOK_BREAK 261 |
Definition at line 246 of file ansi_c_y.tab.h.
#define TOK_BUILTIN_VA_ARG 365 |
Definition at line 350 of file ansi_c_y.tab.h.
#define TOK_CASE 262 |
Definition at line 247 of file ansi_c_y.tab.h.
#define TOK_CATCH 417 |
Definition at line 402 of file ansi_c_y.tab.h.
#define TOK_CDECL 377 |
Definition at line 362 of file ansi_c_y.tab.h.
#define TOK_CHAR 263 |
Definition at line 248 of file ansi_c_y.tab.h.
#define TOK_CHAR16_T 418 |
Definition at line 403 of file ansi_c_y.tab.h.
#define TOK_CHAR32_T 419 |
Definition at line 404 of file ansi_c_y.tab.h.
#define TOK_CHARACTER 321 |
Definition at line 306 of file ansi_c_y.tab.h.
#define TOK_CLANG_BUILTIN_CONVERTVECTOR 367 |
Definition at line 352 of file ansi_c_y.tab.h.
#define TOK_CLASS 420 |
Definition at line 405 of file ansi_c_y.tab.h.
#define TOK_CLRCALL 380 |
Definition at line 365 of file ansi_c_y.tab.h.
#define TOK_COMPLEX 260 |
Definition at line 245 of file ansi_c_y.tab.h.
#define TOK_CONST 264 |
Definition at line 249 of file ansi_c_y.tab.h.
#define TOK_CONSTEXPR 414 |
Definition at line 399 of file ansi_c_y.tab.h.
#define TOK_CONTINUE 265 |
Definition at line 250 of file ansi_c_y.tab.h.
#define TOK_CPROVER_ATOMIC 389 |
Definition at line 374 of file ansi_c_y.tab.h.
#define TOK_CPROVER_BITVECTOR 386 |
Definition at line 371 of file ansi_c_y.tab.h.
#define TOK_CPROVER_BOOL 390 |
Definition at line 375 of file ansi_c_y.tab.h.
#define TOK_CPROVER_CATCH 392 |
Definition at line 377 of file ansi_c_y.tab.h.
#define TOK_CPROVER_ENSURES 398 |
Definition at line 383 of file ansi_c_y.tab.h.
#define TOK_CPROVER_FINALLY 394 |
Definition at line 379 of file ansi_c_y.tab.h.
#define TOK_CPROVER_FIXEDBV 388 |
Definition at line 373 of file ansi_c_y.tab.h.
#define TOK_CPROVER_FLOATBV 387 |
Definition at line 372 of file ansi_c_y.tab.h.
#define TOK_CPROVER_ID 395 |
Definition at line 380 of file ansi_c_y.tab.h.
#define TOK_CPROVER_LOOP_INVARIANT 396 |
Definition at line 381 of file ansi_c_y.tab.h.
#define TOK_CPROVER_REQUIRES 397 |
Definition at line 382 of file ansi_c_y.tab.h.
#define TOK_CPROVER_THROW 391 |
Definition at line 376 of file ansi_c_y.tab.h.
#define TOK_CPROVER_TRY 393 |
Definition at line 378 of file ansi_c_y.tab.h.
#define TOK_CW_VAR_ARG_TYPEOF 364 |
Definition at line 349 of file ansi_c_y.tab.h.
#define TOK_DECLTYPE 422 |
Definition at line 407 of file ansi_c_y.tab.h.
#define TOK_DECR 297 |
Definition at line 282 of file ansi_c_y.tab.h.
#define TOK_DEFAULT 266 |
Definition at line 251 of file ansi_c_y.tab.h.
#define TOK_DELETE 421 |
Definition at line 406 of file ansi_c_y.tab.h.
#define TOK_DIVASSIGN 308 |
Definition at line 293 of file ansi_c_y.tab.h.
#define TOK_DO 267 |
Definition at line 252 of file ansi_c_y.tab.h.
#define TOK_DOTPM 442 |
Definition at line 427 of file ansi_c_y.tab.h.
#define TOK_DOUBLE 268 |
Definition at line 253 of file ansi_c_y.tab.h.
#define TOK_ELLIPSIS 306 |
Definition at line 291 of file ansi_c_y.tab.h.
#define TOK_ELSE 269 |
Definition at line 254 of file ansi_c_y.tab.h.
#define TOK_ENUM 270 |
Definition at line 255 of file ansi_c_y.tab.h.
#define TOK_EQ 302 |
Definition at line 287 of file ansi_c_y.tab.h.
#define TOK_EQUIVALENT 400 |
Definition at line 385 of file ansi_c_y.tab.h.
#define TOK_EXISTS 382 |
Definition at line 367 of file ansi_c_y.tab.h.
#define TOK_EXPLICIT 423 |
Definition at line 408 of file ansi_c_y.tab.h.
#define TOK_EXTERN 271 |
Definition at line 256 of file ansi_c_y.tab.h.
#define TOK_FALSE 402 |
Definition at line 387 of file ansi_c_y.tab.h.
#define TOK_FASTCALL 379 |
Definition at line 364 of file ansi_c_y.tab.h.
#define TOK_FLOAT 272 |
Definition at line 257 of file ansi_c_y.tab.h.
#define TOK_FLOATING 320 |
Definition at line 305 of file ansi_c_y.tab.h.
#define TOK_FOR 273 |
Definition at line 258 of file ansi_c_y.tab.h.
#define TOK_FORALL 381 |
Definition at line 366 of file ansi_c_y.tab.h.
#define TOK_FRIEND 424 |
Definition at line 409 of file ansi_c_y.tab.h.
#define TOK_GCC_ASM 344 |
Definition at line 329 of file ansi_c_y.tab.h.
#define TOK_GCC_ASM_PAREN 345 |
Definition at line 330 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE 346 |
Definition at line 331 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_ALIAS 354 |
Definition at line 339 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_ALIGNED 347 |
Definition at line 332 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_CONSTRUCTOR 357 |
Definition at line 342 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_DESTRUCTOR 358 |
Definition at line 343 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_FALLTHROUGH 359 |
Definition at line 344 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_GNU_INLINE 352 |
Definition at line 337 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_MODE 351 |
Definition at line 336 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_NORETURN 356 |
Definition at line 341 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_PACKED 349 |
Definition at line 334 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_SECTION 355 |
Definition at line 340 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION 348 |
Definition at line 333 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_USED 360 |
Definition at line 345 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_VECTOR_SIZE 350 |
Definition at line 335 of file ansi_c_y.tab.h.
#define TOK_GCC_ATTRIBUTE_WEAK 353 |
Definition at line 338 of file ansi_c_y.tab.h.
#define TOK_GCC_AUTO_TYPE 331 |
Definition at line 316 of file ansi_c_y.tab.h.
#define TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P 366 |
Definition at line 351 of file ansi_c_y.tab.h.
#define TOK_GCC_DECIMAL128 343 |
Definition at line 328 of file ansi_c_y.tab.h.
#define TOK_GCC_DECIMAL32 341 |
Definition at line 326 of file ansi_c_y.tab.h.
#define TOK_GCC_DECIMAL64 342 |
Definition at line 327 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT128 338 |
Definition at line 323 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT128X 339 |
Definition at line 324 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT16 332 |
Definition at line 317 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT32 333 |
Definition at line 318 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT32X 334 |
Definition at line 319 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT64 336 |
Definition at line 321 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT64X 337 |
Definition at line 322 of file ansi_c_y.tab.h.
#define TOK_GCC_FLOAT80 335 |
Definition at line 320 of file ansi_c_y.tab.h.
#define TOK_GCC_INT128 340 |
Definition at line 325 of file ansi_c_y.tab.h.
#define TOK_GCC_LABEL 361 |
Definition at line 346 of file ansi_c_y.tab.h.
#define TOK_GE 301 |
Definition at line 286 of file ansi_c_y.tab.h.
#define TOK_GENERIC 408 |
Definition at line 393 of file ansi_c_y.tab.h.
#define TOK_GOTO 274 |
Definition at line 259 of file ansi_c_y.tab.h.
#define TOK_IDENTIFIER 317 |
Definition at line 302 of file ansi_c_y.tab.h.
#define TOK_IF 275 |
Definition at line 260 of file ansi_c_y.tab.h.
#define TOK_IMAG 404 |
Definition at line 389 of file ansi_c_y.tab.h.
#define TOK_IMAGINARY 409 |
Definition at line 394 of file ansi_c_y.tab.h.
#define TOK_IMPLIES 399 |
Definition at line 384 of file ansi_c_y.tab.h.
#define TOK_INCR 296 |
Definition at line 281 of file ansi_c_y.tab.h.
#define TOK_INLINE 276 |
Definition at line 261 of file ansi_c_y.tab.h.
#define TOK_INT 277 |
Definition at line 262 of file ansi_c_y.tab.h.
#define TOK_INT16 325 |
Definition at line 310 of file ansi_c_y.tab.h.
#define TOK_INT32 326 |
Definition at line 311 of file ansi_c_y.tab.h.
#define TOK_INT64 327 |
Definition at line 312 of file ansi_c_y.tab.h.
#define TOK_INT8 324 |
Definition at line 309 of file ansi_c_y.tab.h.
#define TOK_INTEGER 319 |
Definition at line 304 of file ansi_c_y.tab.h.
#define TOK_INTERFACE 376 |
Definition at line 361 of file ansi_c_y.tab.h.
#define TOK_LE 300 |
Definition at line 285 of file ansi_c_y.tab.h.
#define TOK_LONG 278 |
Definition at line 263 of file ansi_c_y.tab.h.
#define TOK_MINUSASSIGN 311 |
Definition at line 296 of file ansi_c_y.tab.h.
#define TOK_MODASSIGN 309 |
Definition at line 294 of file ansi_c_y.tab.h.
#define TOK_MSC_ASM 362 |
Definition at line 347 of file ansi_c_y.tab.h.
#define TOK_MSC_BASED 363 |
Definition at line 348 of file ansi_c_y.tab.h.
#define TOK_MSC_DECLSPEC 374 |
Definition at line 359 of file ansi_c_y.tab.h.
#define TOK_MSC_EXCEPT 372 |
Definition at line 357 of file ansi_c_y.tab.h.
#define TOK_MSC_FINALLY 371 |
Definition at line 356 of file ansi_c_y.tab.h.
#define TOK_MSC_FORCEINLINE 375 |
Definition at line 360 of file ansi_c_y.tab.h.
#define TOK_MSC_IF_EXISTS 447 |
Definition at line 432 of file ansi_c_y.tab.h.
#define TOK_MSC_IF_NOT_EXISTS 448 |
Definition at line 433 of file ansi_c_y.tab.h.
#define TOK_MSC_LEAVE 373 |
Definition at line 358 of file ansi_c_y.tab.h.
#define TOK_MSC_TRY 370 |
Definition at line 355 of file ansi_c_y.tab.h.
#define TOK_MSC_UUIDOF 446 |
Definition at line 431 of file ansi_c_y.tab.h.
#define TOK_MULTASSIGN 307 |
Definition at line 292 of file ansi_c_y.tab.h.
#define TOK_MUTABLE 425 |
Definition at line 410 of file ansi_c_y.tab.h.
#define TOK_NAMESPACE 426 |
Definition at line 411 of file ansi_c_y.tab.h.
#define TOK_NE 303 |
Definition at line 288 of file ansi_c_y.tab.h.
#define TOK_NEW 427 |
Definition at line 412 of file ansi_c_y.tab.h.
#define TOK_NOEXCEPT 428 |
Definition at line 413 of file ansi_c_y.tab.h.
#define TOK_NORETURN 410 |
Definition at line 395 of file ansi_c_y.tab.h.
#define TOK_NULLPTR 413 |
Definition at line 398 of file ansi_c_y.tab.h.
#define TOK_OFFSETOF 368 |
Definition at line 353 of file ansi_c_y.tab.h.
#define TOK_OPERATOR 429 |
Definition at line 414 of file ansi_c_y.tab.h.
#define TOK_ORASSIGN 316 |
Definition at line 301 of file ansi_c_y.tab.h.
#define TOK_OROR 305 |
Definition at line 290 of file ansi_c_y.tab.h.
#define TOK_PLUSASSIGN 310 |
Definition at line 295 of file ansi_c_y.tab.h.
#define TOK_PRIVATE 430 |
Definition at line 415 of file ansi_c_y.tab.h.
#define TOK_PROTECTED 431 |
Definition at line 416 of file ansi_c_y.tab.h.
#define TOK_PTR32 328 |
Definition at line 313 of file ansi_c_y.tab.h.
#define TOK_PTR64 329 |
Definition at line 314 of file ansi_c_y.tab.h.
#define TOK_PUBLIC 432 |
Definition at line 417 of file ansi_c_y.tab.h.
#define TOK_REAL 403 |
Definition at line 388 of file ansi_c_y.tab.h.
#define TOK_REGISTER 279 |
Definition at line 264 of file ansi_c_y.tab.h.
#define TOK_RESTRICT 280 |
Definition at line 265 of file ansi_c_y.tab.h.
#define TOK_RETURN 281 |
Definition at line 266 of file ansi_c_y.tab.h.
#define TOK_SCANNER_EOF 416 |
Definition at line 401 of file ansi_c_y.tab.h.
#define TOK_SCANNER_ERROR 415 |
Definition at line 400 of file ansi_c_y.tab.h.
#define TOK_SCOPE 441 |
Definition at line 426 of file ansi_c_y.tab.h.
#define TOK_SHIFTLEFT 298 |
Definition at line 283 of file ansi_c_y.tab.h.
#define TOK_SHIFTRIGHT 299 |
Definition at line 284 of file ansi_c_y.tab.h.
#define TOK_SHLASSIGN 312 |
Definition at line 297 of file ansi_c_y.tab.h.
#define TOK_SHORT 282 |
Definition at line 267 of file ansi_c_y.tab.h.
#define TOK_SHRASSIGN 313 |
Definition at line 298 of file ansi_c_y.tab.h.
#define TOK_SIGNED 283 |
Definition at line 268 of file ansi_c_y.tab.h.
#define TOK_SIZEOF 284 |
Definition at line 269 of file ansi_c_y.tab.h.
#define TOK_STATIC 285 |
Definition at line 270 of file ansi_c_y.tab.h.
#define TOK_STATIC_ASSERT 411 |
Definition at line 396 of file ansi_c_y.tab.h.
#define TOK_STDCALL 378 |
Definition at line 363 of file ansi_c_y.tab.h.
#define TOK_STRING 322 |
Definition at line 307 of file ansi_c_y.tab.h.
#define TOK_STRUCT 286 |
Definition at line 271 of file ansi_c_y.tab.h.
#define TOK_SWITCH 287 |
Definition at line 272 of file ansi_c_y.tab.h.
#define TOK_TEMPLATE 433 |
Definition at line 418 of file ansi_c_y.tab.h.
#define TOK_THIS 434 |
Definition at line 419 of file ansi_c_y.tab.h.
#define TOK_THREAD_LOCAL 412 |
Definition at line 397 of file ansi_c_y.tab.h.
#define TOK_THROW 435 |
Definition at line 420 of file ansi_c_y.tab.h.
#define TOK_TRUE 401 |
Definition at line 386 of file ansi_c_y.tab.h.
#define TOK_TRY 438 |
Definition at line 423 of file ansi_c_y.tab.h.
#define TOK_TYPEDEF 288 |
Definition at line 273 of file ansi_c_y.tab.h.
#define TOK_TYPEDEFNAME 318 |
Definition at line 303 of file ansi_c_y.tab.h.
#define TOK_TYPEID 436 |
Definition at line 421 of file ansi_c_y.tab.h.
#define TOK_TYPENAME 437 |
Definition at line 422 of file ansi_c_y.tab.h.
#define TOK_TYPEOF 330 |
Definition at line 315 of file ansi_c_y.tab.h.
#define TOK_UNARY_TYPE_PREDICATE 444 |
Definition at line 429 of file ansi_c_y.tab.h.
#define TOK_UNDERLYING_TYPE 449 |
Definition at line 434 of file ansi_c_y.tab.h.
#define TOK_UNION 289 |
Definition at line 274 of file ansi_c_y.tab.h.
#define TOK_UNSIGNED 290 |
Definition at line 275 of file ansi_c_y.tab.h.
#define TOK_USING 439 |
Definition at line 424 of file ansi_c_y.tab.h.
#define TOK_VIRTUAL 440 |
Definition at line 425 of file ansi_c_y.tab.h.
#define TOK_VOID 291 |
Definition at line 276 of file ansi_c_y.tab.h.
#define TOK_VOLATILE 292 |
Definition at line 277 of file ansi_c_y.tab.h.
#define TOK_WCHAR_T 293 |
Definition at line 278 of file ansi_c_y.tab.h.
#define TOK_WHILE 294 |
Definition at line 279 of file ansi_c_y.tab.h.
#define TOK_XORASSIGN 315 |
Definition at line 300 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 440 of file ansi_c_y.tab.h.
#define YYSTYPE_IS_TRIVIAL 1 |
Definition at line 439 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 438 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 3456 of file ansi_c_y.tab.cpp.
References add(), 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(), to_string(), 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 |