6502/cc65
1
0
Fork 0
mirror of https://github.com/cc65/cc65.git synced 2024-12-28 06:30:16 +00:00
Code Issues Projects Releases Wiki Activity

Add tests for #1211

Browse Source 
CL_MoveRefs: Add CHECK (E->JumpTo != NULL) to make failure clearer.
This commit is contained in:
Jesse Rosenstock 2020-08-24 10:01:58 +02:00 committed by Oliver Schmidt
parent 4b7cd491e3
commit d38e5858f0
3 changed files with 104 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/cc65/codelab.c
View File

@ -112,6 +112,7 @@ void CL_MoveRefs (CodeLabel* OldLabel, CodeLabel* NewLabel)
CodeEntry* E = CL_GetRef (OldLabel, Count);
/* Change the reference to the new label */
CHECK (E->JumpTo != NULL);
CHECK (E->JumpTo == OldLabel);
CL_AddRef (NewLabel, E);

52
test/err/bug1211-ice-move-refs-1.c Normal file
View File

@ -0,0 +1,52 @@
/*
Copyright 2020 The cc65 Authors
This software is provided 'as-is', without any express or implied
warranty. In no event will the authors be held liable for any damages
arising from the use of this software.
Permission is granted to anyone to use this software for any purpose,
including commercial applications, and to alter it and redistribute it
freely, subject to the following restrictions:
1. The origin of this software must not be misrepresented; you must not
claim that you wrote the original software. If you use this software
in a product, an acknowledgment in the product documentation would be
appreciated but is not required.
2. Altered source versions must be plainly marked as such, and must not be
misrepresented as being the original software.
3. This notice may not be removed or altered from any source distribution.
*/
/*
Test of indirect goto with label merge ICE.
https://github.com/cc65/cc65/issues/1211
This should compile and should be moved to tests/val/ when the bug is fixed.
*/
#include <stdio.h>
/* When operating correctly, f(0) = 31 and f(1) = 41. */
int f (int x)
{
static const void *const labels[] = {&&L0, &&L1};
goto *labels[x];
L0: if (labels[0] != labels[1]) return 31;
else return 13;
L1: return 41;
}
static unsigned char failures = 0;
int main (void)
{
if (f (0) != 31) failures++;
if (failures == 0) {
printf ("PASS\n");
} else {
printf ("FAIL\n");
}
return failures;
}

51
test/err/bug1211-ice-move-refs-2.c Normal file
View File

@ -0,0 +1,51 @@
/*
Copyright 2020 The cc65 Authors
This software is provided 'as-is', without any express or implied
warranty. In no event will the authors be held liable for any damages
arising from the use of this software.
Permission is granted to anyone to use this software for any purpose,
including commercial applications, and to alter it and redistribute it
freely, subject to the following restrictions:
1. The origin of this software must not be misrepresented; you must not
claim that you wrote the original software. If you use this software
in a product, an acknowledgment in the product documentation would be
appreciated but is not required.
2. Altered source versions must be plainly marked as such, and must not be
misrepresented as being the original software.
3. This notice may not be removed or altered from any source distribution.
*/
/*
Test of indirect goto with label merge ICE.
https://github.com/cc65/cc65/issues/1211
This should compile and should be moved to tests/val/ when the bug is fixed.
*/
#include <stdio.h>
/* When operating correctly, this returns 0. */
int f (void)
{
static const void *const x[2] = {&&L0, &&L1};
goto *x[0];
L0:
L1: return 0;
}
static unsigned char failures = 0;
int main (void)
{
if (f () != 0) failures++;
if (failures == 0) {
printf ("PASS\n");
} else {
printf ("FAIL\n");
}
return failures;
}