From 3a8151b55ff20963d1a32105dc6029a34e07171e Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 31 Jan 2022 17:48:31 +0100
Subject: [PATCH] [tests] prepare test for reparsing C output
---
tests/basic/printer.cpp | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
create mode 100644 tests/basic/printer.cpp
diff --git a/tests/basic/printer.cpp b/tests/basic/printer.cpp
new file mode 100644
index 00000000..418ac957
--- /dev/null
+++ b/tests/basic/printer.cpp
@@ -0,0 +1,17 @@
+/* run.config
+NOFRAMAC:
+EXECNOW: LOG printer.res.c @frama-c@ @PTEST_FILE@ @CXX@ @MACHDEP@ -cxx-keep-mangling -ocode printer.res.c -print
+EXECNOW: @frama-c@ @CXX@ @MACHDEP@ -cxx-demangling-short printer.res.c -print
+*/
+
+namespace A {
+ struct B {
+ int x;
+ B() { x = 42; }
+ };
+}; // namespace A
+
+int main() {
+ A::B b;
+ return b.x;
+}
--
GitLab