Add additional test cases for #1209

These test cases don't use dynamic labels.
https://github.com/cc65/cc65/issues/1209#issuecomment-678738971

Also update the original test case for consistency:
* Change failure message to just "FAIL", as there is only one failure
* Outdent label definitions
* Clarify description
This commit is contained in:
Jesse Rosenstock 2020-08-23 21:50:54 +02:00 committed by Oliver Schmidt
parent d38e5858f0
commit 344aea0669
4 changed files with 121 additions and 3 deletions

View File

@ -81,6 +81,18 @@ $(WORKDIR)/bug1209-ind-goto-rev.$1.$2.prg: bug1209-ind-goto-rev.c | $(WORKDIR)
$(if $(QUIET),echo misc/bug1209-ind-goto-rev.$1.$2.prg)
$(NOT) $(CL65) -t sim$2 -$1 -o $$@ $$< $(NULLERR)
# should compile, but gives an error
$(WORKDIR)/bug1209-ind-goto-rev-2.$1.$2.prg: bug1209-ind-goto-rev-2.c | $(WORKDIR)
@echo "FIXME: " $$@ "currently does not compile."
$(if $(QUIET),echo misc/bug1209-ind-goto-rev-2.$1.$2.prg)
$(NOT) $(CL65) -t sim$2 -$1 -o $$@ $$< $(NULLERR)
# should compile, but gives an error
$(WORKDIR)/bug1209-ind-goto-rev-3.$1.$2.prg: bug1209-ind-goto-rev-3.c | $(WORKDIR)
@echo "FIXME: " $$@ "currently does not compile."
$(if $(QUIET),echo misc/bug1209-ind-goto-rev-3.$1.$2.prg)
$(NOT) $(CL65) -t sim$2 -$1 -o $$@ $$< $(NULLERR)
# should compile, but gives an error
$(WORKDIR)/pptest2.$1.$2.prg: pptest2.c | $(WORKDIR)
@echo "FIXME: " $$@ "currently does not compile."

View File

@ -0,0 +1,54 @@
/*
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 without dynamic labels and order label def, label ref, goto.
https://github.com/cc65/cc65/issues/1209
This should compile and should be moved to tests/val/ when the bug is fixed.
*/
#include <stdio.h>
#include <stdlib.h>
/* When operating correctly, this returns 0. */
static unsigned char y = 0;
int f (void) {
L: if (y) return 0;
{
static const void *const x[1] = {&&L};
y = 1;
goto *x[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;
}

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 without dynamic labels and order label ref, label def, goto.
https://github.com/cc65/cc65/issues/1209
This should compile and should be moved to tests/val/ when the bug is fixed.
*/
#include <stdio.h>
#include <stdlib.h>
/* When operating correctly, this returns 0. */
static unsigned char y = 0;
int f (void) {
static const void *const x[1] = {&&L};
L: if (y) return 0;
y = 1;
goto *x[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;
}

View File

@ -19,7 +19,7 @@
*/
/*
Tests of indirect goto with the label before the goto.
Test of indirect goto with dynamic labels and order label def, label ref, goto.
https://github.com/cc65/cc65/issues/1209
This should compile and should be moved to tests/val/ when the bug is fixed.
*/
@ -32,7 +32,7 @@ int f (void)
{
static void *x[1];
/* Define the label before referencing it with indirect label syntax. */
L: if (x[0] != 0) return 0;
L: if (x[0] != 0) return 0;
x[0] = &&L;
goto *x[0];
}
@ -46,7 +46,7 @@ int main (void)
if (failures == 0) {
printf ("PASS\n");
} else {
printf ("FAIL: %d failures\n", failures);
printf ("FAIL\n");
}
return failures;