Changes in src/CodeGen/CodeGenerator.cpp [f070ea8:7959e56]

File:

• src/CodeGen/CodeGenerator.cpp (modified) (4 diffs)

src/CodeGen/CodeGenerator.cpp

@@ -130 +130 @@
         // TODO: Which means the ast::Pass is just providing a default no visit?
         visit_children = false;
+        changeState_ArgToIntrinsic(false);
 }
 
@@ -466 +467 @@
                 if ( var->var->linkage == ast::Linkage::Intrinsic &&
                                 ( opInfo = operatorLookup( var->var->name ) ) ) {
+                        changeState_ArgToIntrinsic(true);
                         auto arg = expr->args.begin();
                         switch ( opInfo->type ) {
@@ -558 +560 @@
         if ( auto name = expr->func.as<ast::NameExpr>() ) {
                 if ( const OperatorInfo * opInfo = operatorLookup( name->name ) ) {
+                        changeState_ArgToIntrinsic(true);
                         auto arg = expr->args.begin();
                         switch ( opInfo->type ) {
@@ -743 +746 @@
         extension( expr );
         const OperatorInfo * opInfo;
-        if ( expr->var->linkage == ast::Linkage::Intrinsic
+        if ( visitingArgToIntrinsic
+                        && options.genC
+                        && dynamic_cast<ast::ZeroType const *>( expr->var->get_type() ) ) {
+                // int * p; p = 0;               ==>  ?=?( p, (zero_t){} );  ==>  p = 0;
+                // void f( zero_t z ) { g(z); }  ==>  g(z);                  ==>  g(z);
+                // (we are at the last '==>')
+                output << "0";
+        } else if ( expr->var->linkage == ast::Linkage::Intrinsic
                         && ( opInfo = operatorLookup( expr->var->name ) )
                         && opInfo->type == OT_CONSTANT ) {