Skip to content

Commit 6c3e5ad

Browse files
committed
Delete test banners and the unused address_taken.cpp
1 parent 5265595 commit 6c3e5ad

203 files changed

Lines changed: 0 additions & 960 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎cpp2rust/analyses/address_taken.cpp‎

Lines changed: 0 additions & 207 deletions
This file was deleted.

‎cpp2rust/analyses/address_taken.h‎

Lines changed: 0 additions & 150 deletions
This file was deleted.

‎tests/ub/dangling-prvalue-as-lvalue.cpp‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,3 @@
1-
// Copyright (c) 2022-present INESC-ID.
2-
// Distributed under the MIT license that can be found in the LICENSE file.
3-
41
// panic-ub: refcount
52
// nondet-result: unsafe
63

‎tests/ub/max.cpp‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,3 @@
1-
// Copyright (c) 2022-present INESC-ID.
2-
// Distributed under the MIT license that can be found in the LICENSE file.
3-
41
// ub: unsafe
52
// panic-ub: refcount
63

‎tests/ub/ub1.cpp‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,3 @@
1-
// Copyright (c) 2022-present INESC-ID.
2-
// Distributed under the MIT license that can be found in the LICENSE file.
3-
41
// panic-ub: refcount
52
// nondet-result: unsafe
63
int &dangling() {

‎tests/ub/ub10.cpp‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,3 @@
1-
// Copyright (c) 2022-present INESC-ID.
2-
// Distributed under the MIT license that can be found in the LICENSE file.
3-
41
// panic-ub: refcount
52
// nondet-result: unsafe
63
int main() {

‎tests/ub/ub11.cpp‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,3 @@
1-
// Copyright (c) 2022-present INESC-ID.
2-
// Distributed under the MIT license that can be found in the LICENSE file.
3-
41
// panic-ub: refcount
52
// nondet-result: unsafe
63
int main() {

0 commit comments

Comments
 (0)