[Bug]: internal error: UTI-MIS-1049 chpl version 2.6.0

[sprock]

Summary of Problem

Description:
When compiling I received the error in the title.

Is this issue currently blocking your progress?
No, I can do the work in another language.

Steps to Reproduce

Source Code:

// main.chpl
use CTypes;

// Declare the external function signature in Chapel
extern proc passarray_cpp(array: c_float, size: c_int): c_int;

proc main() {
  var a: [0..9] c_float;
  var size: c_int = 10;
  for i in 0..9 {
    a[i] = (2.5 * i * i) : real(32);
  }
  writeln("Result from C++ function: ");

  passarray_cpp(a, size);
}

// passarray.cpp (C++ implementation file)
#include "passarray.h"
#include <iostream>

using namespace std;

int passarray_cpp(float *array, int size) {
  for (int i = 0; i < size; ++i) {
    std::cout << "C++ array[" << i << "] = "  << array[i] << "\n";
  }
  return 0;
}

// passarray.h
int passarray_cpp(float *array, int size);

Compile command:
c++ -c -fPIC passarray.cpp
c++ -shared -o passarray.so passarray.o
chpl passarray.chpl passarray.h passarray.so

Execution command:
Did not compile.

Associated Future Test(s):

Configuration Information

• Output of chpl --version:
  chpl version 2.6.0
  built with LLVM version 19.1.7
  available LLVM targets: xcore, x86-64, x86, wasm64, wasm32, ve, systemz, sparcel, sparcv9, sparc, riscv64, riscv32, ppc64le, ppc64, ppc32le, ppc32, nvptx64, nvptx, msp430, mips64el, mips64, mipsel, mips, loongarch64, loongarch32, lanai, hexagon, bpfeb, bpfel, bpf, avr, thumbeb, thumb, armeb, arm, amdgcn, r600, aarch64_32, aarch64_be, aarch64, arm64_32, arm64

• Output of $CHPL_HOME/util/printchplenv --anonymize:
  CHPL_TARGET_PLATFORM: freebsd
  CHPL_TARGET_COMPILER: llvm
  CHPL_TARGET_ARCH: amd64
  CHPL_TARGET_CPU: unknown
  CHPL_LOCALE_MODEL: flat
  CHPL_COMM: none
  CHPL_TASKS: fifo
  CHPL_LAUNCHER: none
  CHPL_TIMERS: generic
  CHPL_UNWIND: none
  CHPL_TARGET_MEM: jemalloc
  CHPL_ATOMICS: cstdlib
  CHPL_GMP: bundled
  CHPL_HWLOC: none
  CHPL_RE2: bundled
  CHPL_LLVM: system
  CHPL_AUX_FILESYS: none

• Back-end compiler and version, e.g. gcc --version or clang --version:
  FreeBSD clang version 19.1.7 (https://github.com/llvm/llvm-project.git llvmorg-19.1.7-0-gcd708029e0b2)
  Target: x86_64-unknown-freebsd13.5
  Thread model: posix
  InstalledDir: /usr/bin

• (For Cray systems only) Output of module list:

[jabraham17]

This is an instance of #25731. The problem is that you have defined extern proc passarray_cpp(array: c_float, size: c_int): c_int;, when you should have done one of the following

• Use an array, which is de-sugared to an array formal automatically: extern proc passarray_cpp(array: [] c_float, size: c_int): c_int;
• Use an explicit c_ptr, and then call c_ptrTo : extern proc passarray_cpp(array: c_ptr(c_float), size: c_int): c_int; and passarray_cpp(c_ptrTo(a), size);

If you compile with the C backend (--target-compiler=clang or --target-compiler=gnu), you get a nicer error message

$ chplc main.chpl passarray.h passarray.so
In file included from /var/folders/sk/crm_jjp958z7rfk6h8n3f5zh0000gp/T//chpl-jade.deleteme-jrNVA2/_main.c:93:
/var/folders/sk/crm_jjp958z7rfk6h8n3f5zh0000gp/T//chpl-jade.deleteme-jrNVA2/main.c:418:15: error: passing '_real32' (aka 'float') to parameter of incompatible type 'float *'; remove *
  418 | passarray_cpp(*(call_tmp_chpl21), _ic__F1_size_chpl);
      |               ^~~~~~~~~~~~~~~~~~
./passarray.h:1:26: note: passing argument to parameter 'array' here
    1 | int passarray_cpp(float *array, int size);
      |                          ^
1 error generated.
make: *** [/var/folders/sk/crm_jjp958z7rfk6h8n3f5zh0000gp/T//chpl-jade.deleteme-jrNVA2/_main.o] Error 1
error: compiling generated source

Unrelated to this bug, but note that you are going to need to use extern "C" to get this program to actually work. C++ does name mangling which will change the linker name of passarray_cpp to __Z13passarray_cppPfi,

extern "C" int passarray_cpp(float *array, int size) {

There might be more you need to do to get the C compiler to accept this, e.g. using extern "C" in the header, guarded by ifdef __cplusplus

[sprock]

Thank you. Now it works.

…

________________________________ From: Jade Abraham ***@***.***> Sent: Monday, December 8, 2025 11:44 AM To: chapel-lang/chapel ***@***.***> Cc: Mason, Roger ***@***.***>; Author ***@***.***> Subject: Re: [chapel-lang/chapel] [Bug]: internal error: UTI-MIS-1049 chpl version 2.6.0 (Issue #28152) [https://avatars.githubusercontent.com/u/15747900?s=20&v=4]jabraham17 left a comment (chapel-lang/chapel#28152)<#28152 (comment)> This is an instance of #25731<#25731>. The problem is that you have defined extern proc passarray_cpp(array: c_float, size: c_int): c_int;, when you should have done one of the following * Use an array, which is de-sugared to an array formal automatically: extern proc passarray_cpp(array: [] c_float, size: c_int): c_int; * Use an explicit c_ptr, and then call c_ptrTo : extern proc passarray_cpp(array: c_ptr(c_float), size: c_int): c_int; and passarray_cpp(c_ptrTo(a), size); If you compile with the C backend (--target-compiler=clang or --target-compiler=gnu), you get a nicer error message $ chplc main.chpl passarray.h passarray.so In file included from /var/folders/sk/crm_jjp958z7rfk6h8n3f5zh0000gp/T//chpl-jade.deleteme-jrNVA2/_main.c:93: /var/folders/sk/crm_jjp958z7rfk6h8n3f5zh0000gp/T//chpl-jade.deleteme-jrNVA2/main.c:418:15: error: passing '_real32' (aka 'float') to parameter of incompatible type 'float *'; remove * 418 | passarray_cpp(*(call_tmp_chpl21), _ic__F1_size_chpl); | ^~~~~~~~~~~~~~~~~~ ./passarray.h:1:26: note: passing argument to parameter 'array' here 1 | int passarray_cpp(float *array, int size); | ^ 1 error generated. make: *** [/var/folders/sk/crm_jjp958z7rfk6h8n3f5zh0000gp/T//chpl-jade.deleteme-jrNVA2/_main.o] Error 1 error: compiling generated source Unrelated to this bug, but note that you are going to need to use extern "C" to get this program to actually work. C++ does name mangling which will change the linker name of passarray_cpp to __Z13passarray_cppPfi, extern "C" int passarray_cpp(float *array, int size) { There might be more you need to do to get the C compiler to accept this, e.g. using extern "C" in the header, guarded by ifdef __cplusplus — Reply to this email directly, view it on GitHub<#28152 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/ABQYOMMZTX6KQ3QRCMPVGO34AWIU3AVCNFSM6AAAAACOL4UPCKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTMMRXGQYDQMRUGY>. You are receiving this because you authored the thread.Message ID: ***@***.***>