added support for _int64 keyword

This commit is contained in:
Daniel Kroening 2018-07-24 18:33:16 +01:00
parent 7823d9c553
commit cbfcc5c5d3
2 changed files with 7 additions and 0 deletions

View File

@ -54,6 +54,8 @@ __int16 i16;
__int32 i32;
_int64 i64_with_just_one_underscore;
__int64 i64;
__int8 i8;

View File

@ -552,6 +552,11 @@ void ansi_c_scanner_init()
else
return make_identifier();
}
"_int64" { if(PARSER.mode==configt::ansi_ct::flavourt::VISUAL_STUDIO)
{ loc(); return TOK_INT64; }
else
return make_identifier();
}
"__ptr32" { return MSC_Keyword(TOK_PTR32); }
"__ptr64" { return MSC_Keyword(TOK_PTR64); }