diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:51:22 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:51:22 +0100 |
| commit | 0929d66bf81be1b0fca5537d946cd068dd731f99 (patch) | |
| tree | 27e5a6435029e91ddba30a57d86b60a06a5b3912 /gcc/tree-ssa.c | |
| parent | c63a2ad68bc0704fc2926badc46f3ccd952dbbb9 (diff) | |
| download | gcc-0929d66bf81be1b0fca5537d946cd068dd731f99.zip gcc-0929d66bf81be1b0fca5537d946cd068dd731f99.tar.gz gcc-0929d66bf81be1b0fca5537d946cd068dd731f99.tar.bz2 | |
[multiple changes]
2017-01-19 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.ads, sem_ch4.adb (Try_Object_Operation): Make subprogram
public, for use elsewhere.
* sem_ch6.adb (Analyze_Procedure_Call): In SPARK_Mode and within
an Inlined_body, recognize a call that uses object notation
and has not been rewritten as a regular call because regular
expansion has not taken place.
2017-01-19 Bob Duff <duff@adacore.com>
* checks.adb (Apply_Type_Conversion_Checks): Disable small optimization
in case of generic formal discrete types, because it causes crashes in
the compiler when built with assertions on.
From-SVN: r244620
Diffstat (limited to 'gcc/tree-ssa.c')
0 files changed, 0 insertions, 0 deletions