Skip to content

Commit

Permalink
[LLDB] Remove undefined behavior in TestConstStaticIntegralMember.py
Browse files Browse the repository at this point in the history
Setting an enum without a fixed underlying type to a value which is outside the
value range is undefined behavior.

The initializer needs to be a constant expression and therefore this was always
ill-formed we just were not diagnosing it before.

See D130058 and D131307 for more details.

Differential Revision: https://reviews.llvm.org/D131460
  • Loading branch information
shafik committed Aug 9, 2022
1 parent 03e345b commit 1438639
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 4 deletions.
Expand Up @@ -53,8 +53,6 @@ def test(self):

# Test an unscoped enum.
self.expect_expr("A::enum_val", result_value="enum_case2")
# Test an unscoped enum with an invalid enum case.
self.expect_expr("A::invalid_enum_val", result_value="enum_case1 | enum_case2 | 0x4")

# Test a scoped enum.
self.expect_expr("A::scoped_enum_val", result_value="scoped_enum_case2")
Expand Down
2 changes: 0 additions & 2 deletions lldb/test/API/lang/cpp/const_static_integral_member/main.cpp
Expand Up @@ -47,7 +47,6 @@ struct A {
std::numeric_limits<unsigned long long>::min();

const static Enum enum_val = enum_case2;
const static Enum invalid_enum_val = static_cast<Enum>(enum_case2 + 5);
const static ScopedEnum scoped_enum_val = ScopedEnum::scoped_enum_case2;
const static ScopedEnum invalid_scoped_enum_val = static_cast<ScopedEnum>(5);
const static ScopedCharEnum scoped_char_enum_val = ScopedCharEnum::case2;
Expand Down Expand Up @@ -102,7 +101,6 @@ int main() {
int member_copy = ClassWithOnlyConstStatic::member;

Enum e = A::enum_val;
e = A::invalid_enum_val;
ScopedEnum se = A::scoped_enum_val;
se = A::invalid_scoped_enum_val;
ScopedCharEnum sce = A::scoped_char_enum_val;
Expand Down

0 comments on commit 1438639

Please sign in to comment.