From 00161023cda147daa5638539df5d46fb18aebfa6 Mon Sep 17 00:00:00 2001 From: gingerBill Date: Sun, 2 Dec 2018 15:53:52 +0000 Subject: Endian specific integers: e.g. i32 i32le i32be --- src/check_expr.cpp | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'src/check_expr.cpp') diff --git a/src/check_expr.cpp b/src/check_expr.cpp index 28271efb8..5f23615d0 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -1304,6 +1304,13 @@ bool check_representable_as_constant(CheckerContext *c, ExactValue in_value, Typ case Basic_i32: case Basic_i64: case Basic_int: + + case Basic_i16le: + case Basic_i32le: + case Basic_i64le: + case Basic_i16be: + case Basic_i32be: + case Basic_i64be: { // return imin <= i && i <= imax; int a = big_int_cmp(&imin, &i); @@ -1318,6 +1325,12 @@ bool check_representable_as_constant(CheckerContext *c, ExactValue in_value, Typ case Basic_uint: case Basic_uintptr: + case Basic_u16le: + case Basic_u32le: + case Basic_u64le: + case Basic_u16be: + case Basic_u32be: + case Basic_u64be: { // return 0ull <= i && i <= umax; int b = big_int_cmp(&i, &umax); -- cgit v1.2.3