    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)