diff options
author | John Levon <john.levon@joyent.com> | 2020-01-20 02:47:24 -0800 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-01-22 23:24:20 +0100 |
commit | 54d1c99ed7c10ba13ec6ae8dbacc3babe13b141f (patch) | |
tree | 0fa2f1412aab6537015c5b50cd0622d5e78d0c3f | |
parent | 972a9fd5d024ff60e980a0457d75d659c11df612 (diff) | |
download | sparse-54d1c99ed7c10ba13ec6ae8dbacc3babe13b141f.tar.gz |
define __PRAGMA_REDEFINE_EXTNAME
As per:
https://gcc.gnu.org/onlinedocs/gcc-4.6.3/gcc/Symbol_002dRenaming-Pragmas.html
we should set this define.
Signed-off-by: John Levon <john.levon@joyent.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | lib.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1368,6 +1368,8 @@ static void predefined_macros(void) if (optimize_size) predefine("__OPTIMIZE_SIZE__", 0, "1"); + predefine("__PRAGMA_REDEFINE_EXTNAME", 1, "1"); + // Temporary hacks predefine("__extension__", 0, NULL); predefine("__pragma__", 0, NULL); |