OSDN Git Service

(process_pragma): Take the IDENTIFIER_POINTER tree