From fd7f153747cffac907365e6c8dd51e87c88fd54e Mon Sep 17 00:00:00 2001 From: Ruben Ayrapetyan Date: Tue, 23 Sep 2014 15:23:50 +0400 Subject: [PATCH] Additional assertions in jrt_{get/set}_bit_field_value. --- src/libruntime/jrt-bit-fields.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/libruntime/jrt-bit-fields.c b/src/libruntime/jrt-bit-fields.c index 0f0870db8..9cacf2d81 100644 --- a/src/libruntime/jrt-bit-fields.c +++ b/src/libruntime/jrt-bit-fields.c @@ -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 */ { 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)); 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 */ { 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 (new_bit_field_value <= (1ull << width));