重定位被截断，R_X86_64_PC32针对未定义的符号

Question

在此C程序中，我需要以结构化方法进行队列处理。当我尝试在netbeans中运行该程序时，我看到我收到了重新定位被截断的错误。我的教授告诉我要在Clion中运行它，但我仍然遇到同样的错误。该错误专门说明我对“出队”，“入队”和“ getCurrentSize”有未定义的引用。

Definition compute_formula (f : formula) : nat :=
  match f with
  | Formula n m f => f n m
  end.

This is the error message