diff options
| author | gingerBill <bill@gingerbill.org> | 2018-12-02 15:53:52 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2018-12-02 15:53:52 +0000 |
| commit | 00161023cda147daa5638539df5d46fb18aebfa6 (patch) | |
| tree | b2b811d47b9306e273382f4840c6c3ae9e6099ca /src/check_expr.cpp | |
| parent | 784c48c9e36c11595b23fb0df002c063dd42a2bf (diff) | |
Endian specific integers: e.g. i32 i32le i32be
Diffstat (limited to 'src/check_expr.cpp')
| -rw-r--r-- | src/check_expr.cpp | 13 |
1 files changed, 13 insertions, 0 deletions
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); |