On 12.05.2015 21:11, Philippe Waroquiers wrote: > On Tue, 2015-05-12 at 18:22 +0000, sv...@va... wrote: > >> + The KIND parameter tells what kind of ADDR is allowed: >> + 'M' ADDR must be mapped >> + 'U' ADDR must be unmapped >> + '*' ADDR can be mapped or unmapped >> +*/ >> +Bool VG_(am_addr_is_in_extensible_client_stack)( Addr addr, HChar kind ) > Any reason why an HChar is used, rather than the classical enum ? > (which is usually more readable?) I felt that the encoding characters were good enough and it wasn't worth inventing a new type and thinking about good enumerator names. Florian |