编译器是如何限制局部静态变量作用域的？

请教各位同学个问题哈。
编译器是如何限制局部静态变量作用域的？

参考GPT和自己的思路：编译器通过在符号表中记录变量的作用域信息，来限制局部静态变量的作用域。当编译器编译函数时，会为该函数的局部变量分配栈空间，其中局部静态变量会被分配在静态存储区域，而非栈区域。由于静态存储区域中的变量生命周期与程序的运行时间相同，因此局部静态变量的作用域可以被限制在该函数内。此外，编译器在对函数进行优化时，也会在合适的位置插入代码，以确保局部静态变量在函数执行过程中正常工作。