diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-02 12:59:10 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-02 12:59:10 +0200 |
| commit | c32e15e23759d354c1491a69767093e374f52754 (patch) | |
| tree | d661c371fab8b4c684bfd4b34a2b53f6e54a6686 /powerpc/TargetPrinter.ml | |
| parent | b946cdfc8e33468a813cd8b2e41aa3442b51f04f (diff) | |
| download | compcert-c32e15e23759d354c1491a69767093e374f52754.tar.gz compcert-c32e15e23759d354c1491a69767093e374f52754.zip | |
Do not search for high and low pc of inlined functions.
Diffstat (limited to 'powerpc/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions