asan: score: global-buffer-overflow

I'm flying blind here, not having an s+core s3 insn set reference,
but this seems reasonably obvious from what is done by the assembler.
s3_do16_rpop does some mixing of imm and reg values to place in the
rpop reg field, but I'm not going to try to fix the disassembly
there.

	* score-dis.c (print_insn_score16): Move rpush/rpop imm field
	value adjustment so that it doesn't affect reg field too.
This commit is contained in:
Alan Modra 2019-12-16 10:00:39 +10:30
parent 36bd8ea7f0
commit 84e098cdea
2 changed files with 12 additions and 9 deletions

View File

@ -1,3 +1,8 @@
2019-12-16 Alan Modra <amodra@gmail.com>
* score-dis.c (print_insn_score16): Move rpush/rpop imm field
value adjustment so that it doesn't affect reg field too.
2019-12-16 Alan Modra <amodra@gmail.com>
* crx-dis.c (EXTRACT, SBM): Avoid signed overflow.

View File

@ -954,15 +954,6 @@ print_insn_score16 (bfd_vma pc, struct disassemble_info *info, long given)
reg = given >> bitstart;
reg &= (2 << (bitend - bitstart)) - 1;
/* Check rpush rd, 0 and rpop! rd, 0.
If reg = 0, then set to 32. */
if (((given & 0x00007c00) == 0x00006c00
|| (given & 0x00007c00) == 0x00006800)
&& reg == 0)
{
reg = 32;
}
switch (*c)
{
case 'R':
@ -972,6 +963,13 @@ print_insn_score16 (bfd_vma pc, struct disassemble_info *info, long given)
func (stream, "%s", score_regnames[reg]);
break;
case 'd':
/* Check rpush rd, 0 and rpop! rd, 0.
If 0, then print 32. */
if (((given & 0x00007c00) == 0x00006c00
|| (given & 0x00007c00) == 0x00006800)
&& reg == 0)
reg = 32;
if (*(c + 1) == '\0')
func (stream, "%ld", reg);
else