Symbol: DOUBLE_SIZE
usr.bin/xlint/common/inittyp.c
101
typeinfo("double", DOUBLE, DOUBLE, DOUBLE_SIZE, 2, 'f'),
usr.bin/xlint/common/inittyp.c
111
DOUBLE_SIZE * 2, 2, 'c'),
usr.bin/xlint/lint1/lex.c
663
} else if (t == DOUBLE || LDOUBLE_SIZE == DOUBLE_SIZE) {