// This property corresponds to the GCC 'const' attribute.
DoesNotAccessMemory,
- // AccessesArguments - This function accesses function arguments in
- // non-volatile and well known ways, but does not access any other memory.
+ // AccessesArguments - This function accesses function arguments in well
+ // known (possibly volatile) ways, but does not access any other memory.
//
// Clients may use the Info parameter of getModRefBehavior to get specific
// information about how pointer arguments are used.
AccessesArguments,
// AccessesArgumentsAndGlobals - This function has accesses function
- // arguments and global variables in non-volatile and well-known ways, but
+ // arguments and global variables well known (possibly volatile) ways, but
// does not access any other memory.
//
// Clients may use the Info parameter of getModRefBehavior to get specific