YourWishes/jerryscript
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Additional assertions in jrt_{get/set}_bit_field_value.

Browse Source
This commit is contained in:
Ruben Ayrapetyan
2014-09-23 15:23:50 +04:00
parent 1fed738217
commit fd7f153747
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/libruntime/jrt-bit-fields.c
+2
View File
@@ -28,6 +28,7 @@ jrt_extract_bit_field (uint64_t container, /**< container to extract bit-field f
uint32_t width) /**< width of the bit-field to be extracted */ uint32_t width) /**< width of the bit-field to be extracted */
{ {
JERRY_ASSERT (lsb < JERRY_BITSINBYTE * sizeof (uint64_t)); JERRY_ASSERT (lsb < JERRY_BITSINBYTE * sizeof (uint64_t));
JERRY_ASSERT (width < JERRY_BITSINBYTE * sizeof (uint64_t));
JERRY_ASSERT ((lsb + width) <= JERRY_BITSINBYTE * sizeof (uint64_t)); JERRY_ASSERT ((lsb + width) <= JERRY_BITSINBYTE * sizeof (uint64_t));
uint64_t shifted_value = container >> lsb; uint64_t shifted_value = container >> lsb;
@@ -49,6 +50,7 @@ jrt_set_bit_field_value (uint64_t container, /**< container to insert bit-field
uint32_t width) /**< width of the bit-field to be extracted */ uint32_t width) /**< width of the bit-field to be extracted */
{ {
JERRY_ASSERT (lsb < JERRY_BITSINBYTE * sizeof (uint64_t)); JERRY_ASSERT (lsb < JERRY_BITSINBYTE * sizeof (uint64_t));
JERRY_ASSERT (width < JERRY_BITSINBYTE * sizeof (uint64_t));
JERRY_ASSERT ((lsb + width) <= JERRY_BITSINBYTE * sizeof (uint64_t)); JERRY_ASSERT ((lsb + width) <= JERRY_BITSINBYTE * sizeof (uint64_t));
JERRY_ASSERT (new_bit_field_value <= (1ull << width)); JERRY_ASSERT (new_bit_field_value <= (1ull << width));