|
1 | | -/* Copyright 2014-2015 Samsung Electronics Co., Ltd. |
| 1 | +/* Copyright 2014-2016 Samsung Electronics Co., Ltd. |
| 2 | + * Copyright 2016 University of Szeged. |
2 | 3 | * |
3 | 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
4 | 5 | * you may not use this file except in compliance with the License. |
|
20 | 21 | #include "jrt.h" |
21 | 22 | #include "mem-poolman.h" |
22 | 23 |
|
23 | | -JERRY_STATIC_ASSERT (sizeof (ecma_property_t) <= sizeof (uint64_t)); |
| 24 | +JERRY_STATIC_ASSERT (sizeof (ecma_property_t) <= sizeof (uint64_t), |
| 25 | + size_of_ecma_property_t_must_be_less_than_or_equal_to_8_bytes); |
24 | 26 |
|
25 | | -JERRY_STATIC_ASSERT (sizeof (ecma_object_t) <= sizeof (uint64_t)); |
26 | | -JERRY_STATIC_ASSERT (ECMA_OBJECT_OBJ_TYPE_SIZE <= sizeof (uint64_t) * JERRY_BITSINBYTE); |
27 | | -JERRY_STATIC_ASSERT (ECMA_OBJECT_LEX_ENV_TYPE_SIZE <= sizeof (uint64_t) * JERRY_BITSINBYTE); |
| 27 | +JERRY_STATIC_ASSERT (sizeof (ecma_object_t) <= sizeof (uint64_t), |
| 28 | + size_of_ecma_object_t_must_be_less_than_or_equal_to_8_bytes); |
| 29 | +JERRY_STATIC_ASSERT (ECMA_OBJECT_OBJ_TYPE_SIZE <= sizeof (uint64_t) * JERRY_BITSINBYTE, |
| 30 | + ECMA_OBJECT_OBJ_TYPE_SIZE_must_be_less_than_or_equal_to_64_bits); |
| 31 | +JERRY_STATIC_ASSERT (ECMA_OBJECT_LEX_ENV_TYPE_SIZE <= sizeof (uint64_t) * JERRY_BITSINBYTE, |
| 32 | + ECMA_OBJECT_LEX_ENV_TYPE_SIZE_must_be_less_than_or_equal_to_64_bits); |
28 | 33 |
|
29 | | -JERRY_STATIC_ASSERT (sizeof (ecma_collection_header_t) == sizeof (uint64_t)); |
30 | | -JERRY_STATIC_ASSERT (sizeof (ecma_collection_chunk_t) == sizeof (uint64_t)); |
31 | | -JERRY_STATIC_ASSERT (sizeof (ecma_string_t) == sizeof (uint64_t)); |
32 | | -JERRY_STATIC_ASSERT (sizeof (ecma_getter_setter_pointers_t) <= sizeof (uint64_t)); |
| 34 | +JERRY_STATIC_ASSERT (sizeof (ecma_collection_header_t) == sizeof (uint64_t), |
| 35 | + size_of_ecma_collection_header_t_must_be_less_than_or_equal_to_8_bytes); |
| 36 | +JERRY_STATIC_ASSERT (sizeof (ecma_collection_chunk_t) == sizeof (uint64_t), |
| 37 | + size_of_ecma_collection_chunk_t_must_be_less_than_or_equal_to_8_bytes); |
| 38 | +JERRY_STATIC_ASSERT (sizeof (ecma_string_t) == sizeof (uint64_t), |
| 39 | + size_of_ecma_string_t_must_be_less_than_or_equal_to_8_bytes); |
| 40 | +JERRY_STATIC_ASSERT (sizeof (ecma_getter_setter_pointers_t) <= sizeof (uint64_t), |
| 41 | + size_of_ecma_getter_setter_pointers_t_must_be_less_than_or_equal_to_8_bytes); |
33 | 42 |
|
34 | 43 | /** \addtogroup ecma ECMA |
35 | 44 | * @{ |
|
0 commit comments