Changeset 7959e56 for src/CodeGen/Generate.cpp

Timestamp:

Feb 3, 2025, 1:27:20 PM (2 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

dfe8f78

Parents:

59fdd0d

Message:

Eliminate libcfa-build warnings of missing int-to-pointer casts.

Replace a zero_t variable use with literal 0 when it's an argument to an intrinsic and we're generating final C code. Partially revert e0330d2cd1a. Such intrinsics are initialization/assignment of pointers; using the variable implies a missing cast, while using literal 0 needs no cast.

CodeGenerator?.hpp
CodeGenerator?.cpp

Put attibute unused on all zero_t/one_t object decls. It is needed on those whose uses are rewritten by the rule above.

Generate.cpp

File:

• src/CodeGen/Generate.cpp (modified) (2 diffs)

src/CodeGen/Generate.cpp ¶

@@ -46 +46 @@
                 }
         };
+
+        struct ZeroOneObjectHider final {
+                ast::ObjectDecl const * postvisit( ast::ObjectDecl const * decl ) {
+                        if ( decl->type.as<ast::ZeroType>() || decl->type.as<ast::OneType>() ) {
+                                ast::ObjectDecl * mutDecl = ast::mutate( decl );
+                                mutDecl->attributes.push_back( new ast::Attribute( "unused" ) );
+                                return mutDecl;
+                        }
+                        return decl;
+                }
+        };
 } // namespace
 
@@ -52 +63 @@
         erase_if( translationUnit.decls, shouldClean );
         ast::Pass<TreeCleaner>::run( translationUnit );
+        ast::Pass<ZeroOneObjectHider>::run( translationUnit );
 
         ast::Pass<CodeGenerator> cgv( os,