请注意，本文内容源自机器翻译，可能存在语法或其它翻译错误，仅供参考。如需获取准确内容，请参阅链接中的英语原文或自行翻译。
器件型号：TM4C129XNCZAD 只是偶然发现 ustdlib 中的函数原型不匹配。 它存在于 TivaWare 的所有版本中、并在使用最高优化时导致编译错误：
ustdlib.h：
extern int usprintf (char * restrict s、const char * restrict 格式、...)；
ustdlib.c：
int usprintf (char * restrict s、const char *格式、...)
显然、c 文件中缺少"restrict"关键字。
此致
Klaus
