以前一直只知道compiler的优化选项分为5个优化级别,其实也没深究过这几个优化级别的差别。
这两天在做项目开发的时候遇到一个问题,打开-Os以后系统就会发生assert,关掉-Os则正常。从之前的认知来看,优化选项通常不会引入bug,仔细分析了下这个问题并查找相关资料,才发现原来问题如下:
> -Os有个比较特别的地方,除了和-O2有相同的优化选项以外,为了节省Size和提高运行速度,-Os取消了Alignment optimization。而这个Alignment optimization会将一些function,global variable等的地址放到2的幂次上,关掉了该优化,以global variable为例子,就会发现global variable原本为了alignment,两个variable之间可能有padding,现在就是连续的。引起的结果自然是有些variable的地址可能是奇数。
> 而这次遇到的问题,恰好会对一个global variable的地址进行STM的操作,发现地址为奇数以后,系统就crash。