Add missing checks for Waddress-space
commit909d306e74e73a40aab10dcbe26261fb381a30b2
authorMartin Nagy <nagy.martin@gmail.com>
Sat, 25 Apr 2009 07:36:16 +0000 (25 07:36 +0000)
committerChristopher Li <sparse@chrisli.org>
Sat, 18 Jul 2009 05:30:10 +0000 (18 05:30 +0000)
treeb0e287fd0032adab1e01d9e2c0dbef688c5f5306
parentf4a530b2be22a04560d41ad1f3d4b50fa0d7687b
Add missing checks for Waddress-space

Remove all previous checks for Waddress_space and add one centralized to
the address_space attribute handler. If user passes the
-Wno-address-space option, we behave as if every pointer had no address
space.

Signed-off-by: Martin Nagy <nagy.martin@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
evaluate.c
parse.c