how does bison detect conflicts?

[SainTiss]

Hi,

I've just read the bison manual online, and there's one thing that isn't
really clear:

I got the impression that conflicts, like shift/reduce can be detected
when the actual input is being parsed by yyparse()...

yet it seems that bison already tells me that there are such conflicts
during the generation of the parser code!

How does it do that? Surely bison doesn't "try" every possible input
combination?

Thanks

Hans

signature.asc
Description: This is a digitally signed message part