diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-03-18 15:40:40 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-03-20 00:52:39 +0100 |
| commit | c88f0098ff20f8f64cd4f57c4b63363da88b8ee0 (patch) | |
| tree | b4f8685fee65af4310f193d7628c3281e7d350b2 /validation/linear | |
| parent | e737cc332ccb8f48fb0f1ddefd4a4fba20140c9d (diff) | |
| download | sparse-dev-c88f0098ff20f8f64cd4f57c4b63363da88b8ee0.tar.gz | |
add support for linearization of builtins
Sparse ignores most builtins. A few of them are directly
interpreted at parsing time (types_compatible_p, offsetof).
Some others are expanded if their argument(s) are constant
but that's all.
However, some of the builtins are significant at the IR
level and shouldn't thus be ignored.
This patch add the support needed for the linearization of
these builtins.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear')
0 files changed, 0 insertions, 0 deletions