Fix compile errors on Windows with Clang

Author: edubart

.github/workflows/test.yml

@@ -7,13 +7,11 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-latest, macos-latest, windows-latest]
+        os: [ubuntu-latest, macos-latest, windows-2025]
         cc: [gcc, clang]
         exclude:
         - os: macos-latest
           cc: gcc
-        - os: windows-latest
-          cc: clang
     runs-on: ${{matrix.os}}
     env:
       CC: ${{matrix.cc}}
@@ -29,13 +27,13 @@ jobs:
     - name: Test
       run: make test CC=${{matrix.cc}}
     - name: Install (Unix)
-      if: ${{ matrix.os != 'windows-latest' }}
+      if: ${{ matrix.os != 'windows-2025' }}
       run: sudo make install
     - name: Install (Windows)
-      if: ${{ matrix.os == 'windows-latest' }}
+      if: ${{ matrix.os == 'windows-2025' }}
       run: make install
     - name: Run hello world example
-      if: ${{ matrix.os != 'windows-latest' }}
+      if: ${{ matrix.os != 'windows-2025' }}
       run: nelua --verbose examples/helloworld.nelua
 
   test-32bits:

lib/errorhandling.nelua

@@ -48,7 +48,9 @@ function cgenerator.visitors.Call(context, node, emitter, ...)
     end
     if #funcsym.type.rettypes > 1 then
       local rettypename = context:funcrettypename(funcsym.type)
-      emitter:add_indent_ln('return (',rettypename,'){0};')
+      emitter:add_indent('return')
+      emitter:add_zeroed_type_literal(rettypename, rettypename);
+      emitter:add_ln(';')
     elseif #funcsym.type.rettypes == 1 then
       local rettypename = context:funcrettypename(funcsym.type)
       emitter:add_indent('return ')

lib/span.nelua

@@ -17,7 +17,7 @@ Remarks: A span initialized from a list of unnamed fields points to an array of
   ##[[
   static_assert(traits.is_type(T), "invalid type '%s", T)
   static_assert(not T.is_comptime, "spans cannot be of type '%s'", T)
-  static_assert(T.size ~= 0, "spans cannot be of empty type '%s'", T)
+  static_assert(T.is_empty ~= true, "spans cannot be of empty type '%s'", T)
   ]]
   local T: type = @#[T]#
 

lualib/nelua/analyzer.lua

@@ -893,6 +893,7 @@ function visitors.RecordType(context, node, opts)
   else
     recordtype = types.RecordType({}, node)
     recordtype.size = nil -- size is unknown yet
+    recordtype.is_empty = nil
   end
   attr.type = primtypes.type
   attr.value = recordtype

lualib/nelua/cbuiltins.lua

@@ -262,6 +262,9 @@ end
 
 -- Used to take reference of literals (rvalues).
 function cbuiltins.NELUA_LITERAL_REF(context)
+  if ccompiler.get_cc_info().is_cpp then --luacov:disable
+    context:get_visiting_node():raisef('taking reference of a compound literal is not allowed in the C++ backend')
+  end --luacov:enable
   context:define_builtin_macro('NELUA_LITERAL_REF', [[
 /* Macro used to take reference of literals. */
 #define NELUA_LITERAL_REF(T, x) (&((struct{T v;}){x}.v))
@@ -1519,11 +1522,8 @@ function cbuiltins.operators.bnot(_, _, emitter, argattr, argname)
 end
 
 -- Implementation of reference operator (`&`).
-function cbuiltins.operators.ref(_, node, emitter, argattr, argname)
+function cbuiltins.operators.ref(_, _, emitter, argattr, argname)
   if not argattr.lvalue and argattr.type.is_aggregate then -- taking reference of a literal
-    if ccompiler.get_cc_info().is_cpp then --luacov:disable
-      node:raisef('taking reference of a compound literal is not allowed in the C++ backend')
-    end --luacov:enable
     emitter:add_builtin('NELUA_LITERAL_REF')
     emitter:add('(', argattr.type, ', (', argname, '))')
   else

tests/gc_test.nelua

@@ -50,8 +50,8 @@ do -- finalizers
       end
     end
 
-    local foo: *Foo <volatile> = gc_allocator:new(Foo{count=count})
-    local foos: span(Foo) <volatile> = gc_allocator:new(Foo{count=count}, 2)
+    local foo: *Foo = gc_allocator:new(Foo{count=count})
+    local foos: span(Foo) = gc_allocator:new(Foo{count=count}, 2)
     foos = (@span(Foo)){}
     foo = nilptr
   end