projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f922746) | patch
2008-05-20 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 20 May 2008 12:44:23 +0000 (12:44 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 20 May 2008 12:44:23 +0000 (12:44 +0000)
commitf40f973130342be3145e55d25b0ee77f49593085
tree26b6bdd22686a877ec6acac6e34c19c2037b8bf0tree | snapshot
parentf922746558ec61b500691abfafb9299a12bdd888commit | diff
2008-05-20  Robert Dewar  <dewar@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>

* checks.adb (Apply_Arithmetic_Overflow_Check): Avoid intermediate
overflow if result converted to wider integer type.
(Apply_Type_Conversion_Checks): Don't emit checks on conversions to
discriminated types when discriminant checks are suppressed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135616 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/checks.adb diff | blob | history
Domain: System / Toolchain;