on-demand definitions for compiler-built-in functions#1910

Merged

tautschnig merged 6 commits intodevelopfrom

builtin-factory

Mar 7, 2018

Commits on Mar 7, 2018

export all gcc bultin headers
Daniel Kroening
committed
added a factory for builtin function declarations
Daniel Kroening
committed
use the builtins factory in the C frontend
Daniel Kroening
committed
pass type definitions to the C++ front-end
Daniel Kroening
committed
switch to C++ version of find_pattern
Daniel Kroening
committed
Makefile: use a variable for all those generated .inc files
Daniel Kroening
committed