The result is not very pretty but do the job. * for the moment I've kept '<asn:%d>' as name for the numerical AS as it's simpler for testing but it can of course be changed. * I've changed combine_address_space() to better reflect the original 'T |= S' usage instead of the more functional you suggested. * patch 4 which introduced the ugly -faddress-space-names=... must be dropped (it was there for early adopters to already benefit having the names displayed without needing yet to redefine __user to use the name (which can only be done when most users have upgraded their version of Sparse). -- Luc
