diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 10:26:54 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 10:26:54 +0100 |
| commit | 37c1f923b8a94049df4fa57654d6c38e5c733679 (patch) | |
| tree | 0cf6944f6430f480d1e8b50f09693df7b31768f2 /gcc/ada/tracebak.c | |
| parent | 8f252d27b1a28de7b0df05cd0caf826e223ffa43 (diff) | |
| download | gcc-37c1f923b8a94049df4fa57654d6c38e5c733679.zip gcc-37c1f923b8a94049df4fa57654d6c38e5c733679.tar.gz gcc-37c1f923b8a94049df4fa57654d6c38e5c733679.tar.bz2 | |
[multiple changes]
2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sem_eval.adb (Compile_Time_Compare): For static operands, we
can perform a compile time comparison even if in preanalysis mode.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (SCO_Record): Always use
Traverse_Declarations_Or_Statements to process the library level
declaration, so that SCOs are properly generated for its aspects.
From-SVN: r194778
Diffstat (limited to 'gcc/ada/tracebak.c')
0 files changed, 0 insertions, 0 deletions