Changes in / [454b4e0:12b5e94a]

Files:

• driver/Makefile.am (modified) (1 diff)
• libcfa/prelude/Makefile.am (modified) (1 diff)
• libcfa/src/Makefile.am (modified) (1 diff)
• libcfa/src/concurrency/io/setup.cfa (modified) (1 diff)
• longrun_tests/Makefile.am (modified) (1 diff)
• src/AST/Pass.hpp (modified) (1 diff)
• src/AST/Pass.impl.hpp (modified) (5 diffs)
• src/Common/CodeLocation.h (modified) (2 diffs)
• src/ControlStruct/MLEMutator.cc (modified) (1 diff)
• src/Makefile.am (modified) (2 diffs)
• tests/Makefile.am (modified) (1 diff)
• tests/unified_locking/mutex_test.hfa (modified) (1 diff)
• tools/Makefile.am (modified) (1 diff)
• tools/prettyprinter/Makefile.am (modified) (1 diff)

driver/Makefile.am

@@ -19 +19 @@
 
 # applies to both programs
-AM_CXXFLAGS = @HOST_FLAGS@ -Wall -Wextra -Werror=return-type -O2 -g -std=c++14 -I${abs_top_srcdir}/src -I${abs_top_srcdir}/src/include
+AM_CXXFLAGS = @HOST_FLAGS@ -Wall -O2 -g -std=c++14 -I${abs_top_srcdir}/src -I${abs_top_srcdir}/src/include
 
 # don't install cfa directly

libcfa/prelude/Makefile.am

@@ -26 +26 @@
 
 CC = @LOCAL_CFACC@
-AM_CFLAGS = -g -Wall -Werror=return-type -Wno-unused-function -fPIC @ARCH_FLAGS@ @CONFIG_CFLAGS@
+AM_CFLAGS = -g -Wall -Wno-unused-function -fPIC @ARCH_FLAGS@ @CONFIG_CFLAGS@
 AM_CFAFLAGS = @CONFIG_CFAFLAGS@
 

libcfa/src/Makefile.am

@@ -33 +33 @@
 # The built sources must not depend on the installed inst_headers_src
 AM_CFAFLAGS = -quiet -cfalib -I$(srcdir)/stdhdr -I$(srcdir)/concurrency $(if $(findstring ${gdbwaittarget}, ${@}), -XCFA --gdb) @CONFIG_CFAFLAGS@
-AM_CFLAGS = -g -Wall -Werror=return-type -Wno-unused-function -fPIC -fexceptions -pthread @ARCH_FLAGS@ @CONFIG_CFLAGS@
-AM_CCASFLAGS = -g -Wall -Werror=return-type -Wno-unused-function @ARCH_FLAGS@ @CONFIG_CFLAGS@
+AM_CFLAGS = -g -Wall -Wno-unused-function -fPIC -fexceptions -pthread @ARCH_FLAGS@ @CONFIG_CFLAGS@
+AM_CCASFLAGS = -g -Wall -Wno-unused-function @ARCH_FLAGS@ @CONFIG_CFLAGS@
 CFACC = @CFACC@
 

libcfa/src/concurrency/io/setup.cfa

@@ -32 +32 @@
 
         void __cfa_io_start( processor * proc ) {}
-        bool __cfa_io_flush( processor * proc, int ) { return false; }
+        bool __cfa_io_flush( processor * proc, int ) {}
         void __cfa_io_stop ( processor * proc ) {}
 

longrun_tests/Makefile.am

@@ -36 +36 @@
         -g \
         -Wall \
-        -Wextra \
-        -Werror=return-type
         -Wno-unused-function \
         -quiet \

src/AST/Pass.hpp

@@ -265 +265 @@
         result1<ast::Stmt> call_accept_as_compound(const ast::Stmt *);
 
+        template<typename it_t, template <class...> class container_t>
+                static inline void take_all_delta( it_t it, container_t<ast::ptr<ast::Decl>> * decls, bool * mutated = nullptr ) {
+                        if(empty(decls)) return;
+
+                        std::transform(decls->begin(), decls->end(), it, [](ast::ptr<ast::Decl>&& decl) -> auto {
+                                        auto loc = decl->location;
+                                        auto stmt = new DeclStmt( loc, decl.release() );
+                                        return { {stmt}, -1, false };
+                                });
+                        decls->clear();
+                        if(mutated) *mutated = true;
+                }
+
         // Container of statements
         template< template <class...> class container_t >

src/AST/Pass.impl.hpp

@@ -160 +160 @@
 
         template< typename core_t >
-        typename ast::Pass< core_t >::template result1<ast::Expr> ast::Pass< core_t >::call_accept( const ast::Expr * expr ) {
+        ast::Pass< core_t >::result1<ast::Expr> ast::Pass< core_t >::call_accept( const ast::Expr * expr ) {
                 __pedantic_pass_assert( __visit_children() );
                 __pedantic_pass_assert( expr );
@@ -174 +174 @@
 
         template< typename core_t >
-        typename ast::Pass< core_t >::template result1<ast::Stmt> ast::Pass< core_t >::call_accept( const ast::Stmt * stmt ) {
+        ast::Pass< core_t >::result1<ast::Stmt> ast::Pass< core_t >::call_accept( const ast::Stmt * stmt ) {
                 __pedantic_pass_assert( __visit_children() );
                 __pedantic_pass_assert( stmt );
@@ -183 +183 @@
 
         template< typename core_t >
-        typename ast::Pass< core_t >::template result1<ast::Stmt> ast::Pass< core_t >::call_accept_as_compound( const ast::Stmt * stmt ) {
+        ast::Pass< core_t >::result1<ast::Stmt> ast::Pass< core_t >::call_accept_as_compound( const ast::Stmt * stmt ) {
                 __pedantic_pass_assert( __visit_children() );
                 __pedantic_pass_assert( stmt );
@@ -258 +258 @@
         template< typename core_t >
         template< template <class...> class container_t >
-        typename ast::Pass< core_t >::template resultNstmt<container_t> ast::Pass< core_t >::call_accept( const container_t< ptr<Stmt> > & statements ) {
+        ast::Pass< core_t >::resultNstmt<container_t> ast::Pass< core_t >::call_accept( const container_t< ptr<Stmt> > & statements ) {
                 __pedantic_pass_assert( __visit_children() );
                 if( statements.empty() ) return {};
@@ -346 +346 @@
         template< typename core_t >
         template< template <class...> class container_t, typename node_t >
-        typename ast::Pass< core_t >::template resultN<container_t, node_t> ast::Pass< core_t >::call_accept( const container_t< ast::ptr<node_t> > & container ) {
+        ast::Pass< core_t >::resultN<container_t, node_t> ast::Pass< core_t >::call_accept( const container_t< ast::ptr<node_t> > & container ) {
                 __pedantic_pass_assert( __visit_children() );
                 if( container.empty() ) return {};

src/Common/CodeLocation.h

@@ -26 +26 @@
         CodeLocation() = default;
 
-
         /// Create a new CodeLocation with the given values.
         CodeLocation( const char* filename, int lineno )
@@ -34 +33 @@
 
         CodeLocation( const CodeLocation& rhs ) = default;
-        CodeLocation( CodeLocation&& rhs ) = default;
-        CodeLocation& operator=( const CodeLocation & ) = default;
-        CodeLocation& operator=( CodeLocation && ) = default;
 
         bool isSet () const {

src/ControlStruct/MLEMutator.cc

@@ -66 +66 @@
 
         // break labels have to come after the statement they break out of, so mutate a statement, then if they inform us
-        // through the breakLabel field that they need a place to jump to on a break statement, add the break label to the
+        // through the breakLabel field tha they need a place to jump to on a break statement, add the break label to the
         // body of statements
         void MultiLevelExitMutator::fixBlock( std::list< Statement * > &kids, bool caseClause ) {

src/Makefile.am

@@ -59 +59 @@
 
 $(srcdir)/AST/Type.hpp : BasicTypes-gen.cc
-        ${AM_V_GEN}${CXXCOMPILE} $< -o BasicTypes-gen -Wall -Wextra -Werror=return-type
+        ${AM_V_GEN}${CXXCOMPILE} $< -o BasicTypes-gen -Wall -Wextra
         @./BasicTypes-gen
         @rm BasicTypes-gen
@@ -71 +71 @@
 EXTRA_DIST = include/cassert include/optional BasicTypes-gen.cc
 
-AM_CXXFLAGS = @HOST_FLAGS@ -Wno-deprecated -Wall -Wextra -Werror=return-type -DDEBUG_ALL -I./Parser -I$(srcdir)/Parser -I$(srcdir)/include -DYY_NO_INPUT -O3 -g -std=c++14 $(TCMALLOCFLAG)
+AM_CXXFLAGS = @HOST_FLAGS@ -Wno-deprecated -Wall -Wextra -DDEBUG_ALL -I./Parser -I$(srcdir)/Parser -I$(srcdir)/include -DYY_NO_INPUT -O3 -g -std=c++14 $(TCMALLOCFLAG)
 AM_LDFLAGS  = @HOST_FLAGS@ -Xlinker -export-dynamic
 ARFLAGS     = cr

tests/Makefile.am

@@ -43 +43 @@
         -g \
         -Wall \
-        -Werror=return-type \
         -Wno-unused-function \
         -Wno-psabi \

tests/unified_locking/mutex_test.hfa

@@ -54 +54 @@
 }
 
-void test() {
+int test() {
         uint32_t sum = -32;
         mo.sum = -32;

tools/Makefile.am

@@ -19 +19 @@
 
 noinst_PROGRAMS = busy catchsig repeat watchdog
-AM_CFLAGS = -Wall -Wextra -Werror=return-type -O2 -g
+AM_CFLAGS = -Wall -Wextra -O2 -g
 busy_LDFLAGS     = -pthread
 

tools/prettyprinter/Makefile.am

@@ -32 +32 @@
 nodist_pretty_SOURCES = ${SRC}
 pretty_LDADD = ${LEXLIB} -ldl                   # yywrap
-pretty_CXXFLAGS = -Wno-deprecated -Wall -Wextra -Werror=return-type -DYY_NO_INPUT -O2 -g -std=c++14
+pretty_CXXFLAGS = -Wno-deprecated -Wall -DYY_NO_INPUT -O2 -g -std=c++14
 
 MOSTLYCLEANFILES = parser.output