ignore_case 94 gtags-cscope/gtags-cscope.c int ignore_case; ignore_case 135 gtags-cscope/gtags-cscope.c ignore_case = 1; ignore_case 209 gtags-cscope/gtags-cscope.c const char *msg = ignore_case ? ignore_case 275 gtags-cscope/gtags-cscope.c ignore_case ^= 1; ignore_case 331 gtags-cscope/gtags-cscope.c if (opt || ignore_case) { ignore_case 336 gtags-cscope/gtags-cscope.c if (ignore_case)