Fix static analysis warning about undefined bheaviour.

PR binutils/19310
	* dwarf.c (display_debug_frames): Recode range test to avoid
	undefined behaviour.
This commit is contained in:
Nick Clifton 2015-12-08 09:49:49 +00:00
parent ec9ab52c32
commit 7460c0abe8
2 changed files with 7 additions and 1 deletions

View File

@ -1,3 +1,9 @@
2015-12-08 Nick Clifton <nickc@redhat.com>
PR binutils/19310
* dwarf.c (display_debug_frames): Recode range test to avoid
undefined behaviour.
2015-12-03 Tristan Gingold <gingold@adacore.com>
* od-macho.c (bfd_mach_o_header_flags_name): Add name

View File

@ -6459,7 +6459,7 @@ display_debug_frames (struct dwarf_section *section,
case DW_CFA_def_cfa_expression:
ul = LEB ();
if (start >= block_end || start + ul > block_end || start + ul < start)
if (start >= block_end || ul > (unsigned long) (block_end - start))
{
printf (_(" DW_CFA_def_cfa_expression: <corrupt len %lu>\n"), ul);
break;