From 9bde3bc6eaf5d80304f13fd6c788566c4e8bf085 Mon Sep 17 00:00:00 2001
From: kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>
Date: Mon, 9 May 2011 04:58:24 +0000
Subject: [PATCH] Microsoft suffixes

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@11 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
---
 src/cpp/scanner.l | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/cpp/scanner.l b/src/cpp/scanner.l
index 3dd24d22ad..e2767f602c 100644
--- a/src/cpp/scanner.l
+++ b/src/cpp/scanner.l
@@ -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}