replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Microsoft suffixes 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@11 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2011-05-09 04:58:24 +00:00
parent d145ad7136
commit 9bde3bc6ea
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/cpp/scanner.l
View File

@ -58,7 +58,8 @@ fractional_constant ([0-9]*"."[0-9]+)|([0-9]+".")
floating_constant (({fractional_constant}{exponent_part}?)|([0-9]+{exponent_part}))[FfLl]?
integer_suffix [uUlL]
integer_suffix_opt {integer_suffix}*
iw_suffix ("i8"|"i16"|"i32"|"i64"|"i128")
integer_suffix_opt {integer_suffix}*|{iw_suffix}?
decimal_constant [1-9][0-9]*{integer_suffix_opt}
octal_constant "0"[0-7]*{integer_suffix_opt}
hex_constant "0"[xX][0-9a-fA-F]+{integer_suffix_opt}