C:通过引用传递自动变量

void OpertateLoad(int load_id)
{
   int value = 0;

   /* code to calculate value */

   SetLoadRequest(load_id,&value);

   /*some processing  not involving value**/

}

void SetLoadRequest(int load_id, int* value)
{
   /**some processing**/
   LoadsArray[load_id] = *value; 
   /**some processing**/ 
}

据我所知,C编译器不能保证 Auto 变量将被存储。它可以是堆栈/寄存器(如果可用并且适合处理)。

value 在通用寄存器上, SetLoadRequest 函数可能引用了错误的数据。

我正在使用 IARARM 编译器 ARM CORTEX M-4

----------:编辑:----------

只是想确认一下:“如果函数返回局部自动变量的地址,而调用方正在取消引用它”,那么这种行为也是真的吗。

如果没有,那么C标准中是否有任何东西可以保证这两种情况下的行为?或者正如我之前所说的,它的未定义行为?