2011-03-22  Le-Chun Wu  <lcwu@google.com>

	* c-common.c (c_common_attribute_table): Add new functions to process
	lock attributes.
	(attribute_takes_identifier_p): Handle lock attributes.
	(handle_lockable_attribute): New Handler.
	(handle_guarded_by_attribute): Likewise.
	(handle_point_to_guarded_by_attribute): Likewise.
	(handle_guarded_attribute): Likewise.
	(handle_point_to_guarded_attribute): Likewise.
	(handle_acquired_order_attribute): Likewise.
	(handle_lock_attribute): Likewise.
	(handle_unlock_attribute): Likewise.
	(handle_locks_required_excluded_attribute): Likewise.
	(handle_lock_returned_attribute): Likewise.
	(handle_no_thread_safety_analysis_attribute): Likewise.
	(supported_lock_expression): New helper function.
	(get_lock_decl): Likewise.
	(populate_acquired_after_map): Likewise.
	(is_lock_formal_parameter): Likewise.
	(check_lock_unlock_attr_args): Likewise.
	* c-cppbuiltin.c (c_cpp_builtins): Define annotalysis-related macros.
	* c-pretty-print.c (pp_c_expression): Handle SSA_NAME.