mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-03 10:35:49 +01:00
Dave Abrahams
2afbfd6146
* Add assertion to detect UB in interpreter.cpp This change, applied to6e5070d("Adapting jsiek's executable semantics tooling for commit. (#237)"), causes the if2.6c test to segfault. Becase the assertion fires only when `stmt == nullptr` and no code has permission to change `stmt` (it is `const`) before it is dereferenced in the `switch`, and nothiing in `PrintStatement` is supposed to exit the program, the assertion is a valid change that detects a bug. The crash was originally manifest in29a5994("Executable Semantics: 1st-class stacks (#296)"). * Temporarily disable the if2 test pending #311 See https://github.com/carbon-language/carbon-lang/issues/311 * [executable semantics] Record exit code on expected error. This will prevent a final segfault from sneaking by, detected as a passing test. A more principled follow-up commit would bottleneck detected error exit reporting and have it write something to std::cerr that can be recognized.
121 lines
2.9 KiB
Python
121 lines
2.9 KiB
Python
# Part of the Carbon Language project, under the Apache License v2.0 with LLVM
|
|
# Exceptions. See /LICENSE for license information.
|
|
# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
# TODO(https://github.com/carbon-language/carbon-lang/issues/266):
|
|
# Migrate bison/flex usage to a more hermetic bazel build.
|
|
|
|
load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library")
|
|
load("//bazel/testing:golden_test.bzl", "golden_test")
|
|
|
|
cc_binary(
|
|
name = "executable_semantics",
|
|
srcs = ["main.cpp"],
|
|
deps = [":syntax"],
|
|
)
|
|
|
|
cc_library(
|
|
name = "syntax",
|
|
srcs = [
|
|
"syntax.tab.cpp",
|
|
"syntax.yy.cpp",
|
|
"syntax_helpers.cpp",
|
|
"syntax_helpers.h",
|
|
],
|
|
hdrs = ["syntax.tab.h"],
|
|
# Disable warnings for generated code.
|
|
copts = [
|
|
"-Wno-unneeded-internal-declaration",
|
|
"-Wno-unused-function",
|
|
"-Wno-writable-strings",
|
|
],
|
|
deps = [
|
|
"//executable_semantics/ast:declaration",
|
|
"//executable_semantics/ast:expression",
|
|
"//executable_semantics/ast:expression_or_field_list",
|
|
"//executable_semantics/interpreter",
|
|
],
|
|
)
|
|
|
|
genrule(
|
|
name = "syntax_bison_srcs",
|
|
srcs = ["syntax.ypp"],
|
|
outs = [
|
|
"syntax.tab.cpp",
|
|
"syntax.tab.h",
|
|
],
|
|
cmd = "M4=$(M4) $(BISON) " +
|
|
"--output=$(location syntax.tab.cpp) " +
|
|
"--defines=$(location syntax.tab.h) " +
|
|
"$(location syntax.ypp)",
|
|
toolchains = [
|
|
"@rules_bison//bison:current_bison_toolchain",
|
|
"@rules_m4//m4:current_m4_toolchain",
|
|
],
|
|
)
|
|
|
|
genrule(
|
|
name = "syntax_flex_srcs",
|
|
srcs = ["syntax.lpp"],
|
|
outs = ["syntax.yy.cpp"],
|
|
cmd = "M4=$(M4) $(FLEX) " +
|
|
"--outfile=$(location syntax.yy.cpp) " +
|
|
"$(location syntax.lpp)",
|
|
toolchains = [
|
|
"@rules_flex//flex:current_flex_toolchain",
|
|
"@rules_m4//m4:current_m4_toolchain",
|
|
],
|
|
)
|
|
|
|
EXAMPLES = [
|
|
"block1",
|
|
"break1",
|
|
"choice1",
|
|
"continue1",
|
|
"fun_recur",
|
|
"fun1",
|
|
"fun2",
|
|
"fun3",
|
|
"fun4",
|
|
"fun5",
|
|
"fun6_fail_type",
|
|
"funptr1",
|
|
"if1",
|
|
# (Temporarily disabled pending
|
|
# https://github.com/carbon-language/carbon-lang/issues/311)
|
|
# "if2",
|
|
"if3",
|
|
"match_int_default",
|
|
"match_int",
|
|
"match_type",
|
|
"next",
|
|
"pattern_init",
|
|
"record1",
|
|
"struct1",
|
|
"struct2",
|
|
"struct3",
|
|
"tuple_assign",
|
|
"tuple_match",
|
|
"tuple1",
|
|
"tuple2",
|
|
"undef1",
|
|
"undef2",
|
|
"while1",
|
|
"zero",
|
|
]
|
|
|
|
[genrule(
|
|
name = "%s_out" % e,
|
|
srcs = ["testdata/%s.6c" % e],
|
|
outs = ["testdata/%s.out" % e],
|
|
# Suppress command errors.
|
|
cmd = "$(location executable_semantics) $< > $@ 2>&1 || echo EXIT CODE: $$? >> $@",
|
|
tools = [":executable_semantics"],
|
|
) for e in EXAMPLES]
|
|
|
|
[golden_test(
|
|
name = "%s_test" % e,
|
|
golden = "testdata/%s.golden" % e,
|
|
subject = "testdata/%s.out" % e,
|
|
) for e in EXAMPLES]
|