Question

我们正在为STM32F103 MCU开发。我们在ARM GCC工具链中使用裸机C ++代码。经过几个小时的可疑表达，我们发现常量关键字会触发该表达式的不同结果。使用x86 GCC工具链测试同一段代码时，问题就不存在了我们使用STM的GPIOS进行调试这是完全重现问题的代码：

#include "stm32f10x.h"
#include "system_stm32f10x.h"

#include "stdlib.h"
#include "stdio.h"

  const unsigned short RTC_FREQ = 62500;
  unsigned short prescaler_1ms = RTC_FREQ/1000;

int main()
{

//********** Clock Init **********
   RCC->CFGR |= RCC_CFGR_ADCPRE_0 | RCC_CFGR_ADCPRE_1; // ADC prescaler
   RCC->APB2ENR |= RCC_APB2ENR_AFIOEN; // Alternate Function I/O clock enable
   RCC->APB2ENR |= RCC_APB2ENR_IOPCEN; // I/O port C clock enable
   RCC->APB2ENR |= RCC_APB2ENR_IOPAEN; // I/O port A clock enable
   RCC->APB2ENR |= RCC_APB2ENR_ADC1EN; // ADC 1 interface clock enable
   RCC->APB1ENR |= RCC_APB1ENR_TIM2EN; // Timer 2 clock enable 
   RCC->AHBENR = RCC_AHBENR_DMA1EN; // DMA1 clock enable
   RCC->CSR = RCC_CSR_LSION; // Internal Low Speed oscillator enable
//********************************

/* GPIO Configuration */
   GPIOC->CRH = GPIO_CRH_MODE12_0; //GPIO Port C Pin 12 
   GPIOC->CRH |= GPIO_CRH_MODE13_1 | GPIO_CRH_MODE13_0;
   GPIOC->CRH |= GPIO_CRH_MODE10_0;
   GPIOC->CRH |= GPIO_CRH_MODE9_0;
   GPIOC->CRH |= GPIO_CRH_MODE8_0;
   GPIOC->CRL = GPIO_CRL_MODE7_0;
   GPIOC->CRL |= GPIO_CRL_MODE6_0;
   GPIOC->CRL |= GPIO_CRL_MODE4_0;
   GPIOC->CRL |= GPIO_CRL_MODE3_0;


   while(1){

      if(prescaler_1ms & (1<<0))GPIOC->BSRR |= GPIO_BSRR_BR13;
      else GPIOC->BSRR |= GPIO_BSRR_BS13;
      if(prescaler_1ms & (1<<1))GPIOC->BSRR |= GPIO_BSRR_BR12;
      else GPIOC->BSRR |= GPIO_BSRR_BS12;
      if(prescaler_1ms & (1<<2))GPIOC->BSRR |= GPIO_BSRR_BR10;
      else GPIOC->BSRR |= GPIO_BSRR_BS10;
      if(prescaler_1ms & (1<<3))GPIOC->BSRR |= GPIO_BSRR_BR9;
      else GPIOC->BSRR |= GPIO_BSRR_BS9;
      if(prescaler_1ms & (1<<4))GPIOC->BSRR |= GPIO_BSRR_BR8;
      else GPIOC->BSRR |= GPIO_BSRR_BS8;
      if(prescaler_1ms & (1<<5))GPIOC->BSRR |= GPIO_BSRR_BR7;
      else GPIOC->BSRR |= GPIO_BSRR_BS7;
      if(prescaler_1ms & (1<<6))GPIOC->BSRR |= GPIO_BSRR_BR6;
      else GPIOC->BSRR |= GPIO_BSRR_BS6;
      if(prescaler_1ms & (1<<7))GPIOC->BSRR |= GPIO_BSRR_BR4;
      else GPIOC->BSRR |= GPIO_BSRR_BS4;
      if(prescaler_1ms & (1<<8))GPIOC->BSRR |= GPIO_BSRR_BR3;
      else GPIOC->BSRR |= GPIO_BSRR_BS3;

   }
   return 0;
}

当代码编译时，我们期望GPIOS上的结果为 0b111110 。当我们改变时

const unsigned short RTC_FREQ = 62500;

到

unsigned short RTC_FREQ = 62500;

我们得到 0b111111111 这是我们使用的Makefile：

EABI_PATH=$(ROOT_DIR)"arm_toolchain/gcc-arm-none-eabi-6-2017-q2-update/arm-none-eabi/"
CMSIS_INC_PATH=$(ROOT_DIR)"STMLib/STM32F10x_StdPeriph_Lib_V3.5.0/Libraries/CMSIS/CM3/"
PROJECT_INC=$(ROOT_DIR)

CXXINCS = -I$(EABI_PATH)"include" -I$(CMSIS_INC_PATH)"CoreSupport" -I$(CMSIS_INC_PATH)"DeviceSupport/ST/STM32F10x" -I$(PROJECT_INC)"Source" -I$(PROJECT_INC)"Includes"

CXXLIBS = -L$(EABI_PATH)"lib" -L$(EABI_PATH)"6.3.1"
CXXFLAGS = --specs=nosys.specs -DSTM32F10X_MD -DVECT_TAB_FLASH -fdata-sections -ffunction-sections -fno-exceptions -mthumb -mcpu=cortex-m3 -march=armv7-m -O2
LDFLAGS = -lstdc++ -Wl,--gc-sections

CC = $(EABI_PATH)"../bin/arm-none-eabi-gcc"
CXX = $(EABI_PATH)"../bin/arm-none-eabi-g++"
LD = $(EABI_PATH)"../bin/arm-none-eabi-ld"
STRIP = $(EABI_PATH)"../bin/arm-none-eabi-strip"

all:
        $(CC) $(CXXINCS) -c $(PROJECT_INC)"Source/syscalls.c" $(PROJECT_INC)"Source/startup.c" $(CXXFLAGS)
        $(CXX) $(CXXINCS) -c $(PROJECT_INC)"Source/main.cpp" $(CMSIS_INC_PATH)"DeviceSupport/ST/STM32F10x/system_stm32f10x.c" $(CXXFLAGS)
        $(CXX) $(CXXLIBS) -o main syscalls.o main.o startup.o -T linker.ld system_stm32f10x.o $(LDFLAGS)
        $(STRIP) --strip-all main
        $(EABI_PATH)"bin/objcopy" -O binary main app
        $(EABI_PATH)"bin/objdump" -b binary -m arm_any -D app > app_disasm
        rm -f *.o main adc timer task solenoid dma startup syscalls system_stm32f10x

有没有人知道会导致这样的问题？这是编译器错误吗？我们错过了什么吗？

Answer 1

将我的理论推广到答案，因为它已被启动代码和LD脚本确认。

C ++初始化代码，应该将62复制到prescaler_1ms，不会被调用。当您将RTC_FREQ定义为const时，此计算的结果在编译时已知，其中62个存在于闪存中，无需初始化。

C ++初始化由许多生成的函数执行，其名称类似于_Z41__static_initialization_and_destruction_0ii。编译器在.init_array和.pre_init_array部分收集指向这些函数的指针。在调用main()之前，启动代码应迭代这些指针并调用它们中的每一个。这些指针数组的边界对于启动代码是已知的，因为这些特殊符号由链接描述文件定义：

__preinit_array_start, __preinit_array_end
__init_array_start, __init_array_end

_preinit_array和__init_array之间的区别尚不清楚。在调用_init函数之前调用前一部分，之后调用后者。在我的项目中，gcc提供的_init函数似乎不是一个有效的函数，所以我不称之为。

当使用__fini_array_start和__fini_array_end调用全局对象的C ++析构函数时，程序终止时存在对称过程。但是，对于嵌入式系统，它可能不相关。

使项目调用C ++初始化的最小步骤是：

在链接描述文件中包含.init_array部分。

从您提供的文档中，似乎.init_array部分已定义为：

. = ALIGN(4);
__preinit_array_start = .;
KEEP(*(.preinit_array))
__preinit_array_end = .;

. = ALIGN(4);
__init_array_start = .;
KEEP(*(SORT(.init_array.*)))
KEEP(*(.init_array))
__init_array_end = .;

拥有在程序启动时调用这些指针的代码。 您的设置中似乎没有此部分，这是问题的实际原因。

您可以将以下代码（或类似代码）添加到__Init_Data()中的startup.c函数中：

// usually these are defined with __attribute__((weak)) but I prefer to get errors when required things are missing
extern void (*__preinit_array_start[])(void);
extern void (*__preinit_array_end[])(void);
extern void (*__init_array_start[])(void);
extern void (*__init_array_end[])(void);

void __Init_Data(void) {

    // copying initialized data from flash to RAM
    ...

    // zeroing bss segment
    ...

    // calling C++ initializers
    void (**f)(void);
    for (f = __preinit_array_start; f != __preinit_array_end; f++)
        (*f)();
    // init(); // _init and _fini do not work for me
    for (f = __init_array_start; f != __init_array_end; f++)
        (*f)();
}

同样，我不确定_init函数，所以它在这里被注释掉了。我可能会在一段时间后问自己的问题。

C ++常量关键字异常行为

1 个答案: