3 Commits

Author	SHA1	Message	Date
Daniel Kolesa	1f4f7e8597	eolian: cycle checks for all toplevel decls in static analyzer ... This is necessary because e.g. typedecls can introduce cycles into the system by self-referencing in struct field expressions.	2018-05-13 17:06:12 +02:00
Daniel Kolesa	95e3468aee	eolian: introduce initial out-of-validation static checking ... For now this checks for validity of explicitly imported dependencies in eo/eot files. It will warn if the dependency is unused.	2018-05-11 14:02:36 +02:00
Daniel Kolesa	0a399be7b0	eolian: add source file for the future static checker	2018-05-03 17:14:39 +02:00