On Sun, Aug 28, 2011 at 8:56 PM, Jakub Jelinek wrote:
> Hi!
>
> Depending on the computed hash of the parameter register, corresponding
> ENTRY_VALUE and the size of the hash table it can sometimes happen that
> val2 = cselib_lookup_from_insn will actually find val, which means that
> ENTRY_VALUEs
Since expansion of pre/post is skipped in formal verification mode, the
analysis of pre/post expressions for correctness, and to complete nodes with
their types, was missing. Now corrected.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Yannick Moy
* sem_prag.adb (Check_
The backend for formal verification handles much more easily aggregates that
are not expanded into loops, as this happens with array aggregates, so prevent
expansion in this mode.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Yannick Moy
* exp_aggr.adb (Expand_Array_Agg
Two new configuration attributes for languages are added:
Dependency_Kind and Language_Kind. No change of functionality so no test.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Vincent Celier
* prj-attr.adb: New Compiler attribute Dependency_Kind and Language_Kind
Within an instance, a spurious ambiguity may arise between a local subprogram
and the actual for a formal subprogram of the enclosing instance. Previously
the code only handled spurious ambiguities between two actuals or two local
subprograms.
The following must compile quietly:
---
function Cutd
In formal verification mode, it is expected that subtypes are declared before
use, hence these additional declarations.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Yannick Moy
* sem_ch3.adb (Array_Type_Declaration): Insert a subtype declaration
for every index
Do not warn for multiple consecutive Asm statements. The warning was intended
to prevent a common case where users expect such consecutive statements to
be listed in order in the code as given, withotu specifying necessary input
and output constraints.
However, since we now warn about missing inpu
Using "cpysn" just flips the sign bit, but that will generate an
invalid VAX Float for an input value of 0.0, as VAX float formats
do not allow signed zeros.
The following should compile and execute successfully.
procedure test1 is
XX, YY, ZZ : Long_Float;
begin
XX := 0.0;
YY := 1.1;
This change fixes the processing of a type conversion to a derived
type with a private non-discriminated ancestor whose full view has a
discriminant with default. Previous compiler versions would crash or produce
a junk error message.
The following compilation must be accepted quietly:
$ gcc -c de
This change ensures that a subprogram declaration or a generic instantiation
does not create a new entry point in the sequence of statement SCOs.
For the following compilation, a single statement sequence SCO line shall
be output for the declaration of X, the instantiation I, and the declaration
o
The Support_64_Bit_Divides flag in file system.ads was used prevent the
inclusion of the 64-bit division routine from libgcc when there is no
hardware support for this operation. However, the front end is not the
most appropriate place to control this. In the link phase we have all the
required inf
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard.
2011-08-29 Richard Guenther
* gimple-fold.c (gimple_fold_stmt_to_constant_1): Set a location
on the built ADDR_EXPR.
Index: gcc/gimple-fold.c
==
This change enhances the SCO information for pragmas: the pragma name is
now recorded in the SCO, to allow Xcov to apply differentiated processing
for different pragmas.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Thomas Quinot
* par_sco.adb, scos.adb, scos.ads, put_s
This new attribute, similar to 'Elab_Body for a subprogram is used only
in CodePeer mode, and corresponds to CodePeer's 'Elab_Subp_Body special
init procedure.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Arnaud Charlet
* bindgen.adb (Gen_Elab_Calls): Generate calls to
On Sunday 28 August 2011 22:36:28, Kai Tietz wrote:
> +#ifdef HAVE_ENOSPC
> + no_space_on_device = ENOSPC,
> +#endif
>no_such_device = ENODEV,
> @@ -96,12 +100,18 @@
> -//not_supported = ENOTSUP,
> +#ifd
If the trigger in a timed entry call is a dispatching primitive, the kind of
dispatching operation being invoked (procedure, protected entry or task entry)
is determined at run-time, and the construct expands into a test in which
the branches execute separate copies of the triggering statements. Th
The expansion of an object declaration for a tagged object includes a separate
assignment to the tag of the entity being declared. This assignment was not
being analyzed in all cases, as when it is the result of the expansion of a
'Old attribute.
The following must compile quietly:
gnatmake
Hi!
http://gcc.gnu.org/ml/gcc-patches/2011-08/msg01767.html
PR middle-end/48722
Fix RTL sharing problem with CALL_INSN_FUNCTION_USAGE
http://gcc.gnu.org/ml/gcc-patches/2011-08/msg00428.html
Adjust gthr-posix.h so that g++ -C -E works with STL headers
This attribute returns the alignment honored by malloc.
The following program should display this value:
with Ada.Text_IO; use Ada.Text_IO;
procedure Alloc_Algn is
begin
Put_Line ("malloc alignment:"
& Integer'Image (Standard'System_Allocator_Alignment));
end Alloc_Algn;
Tested on
On 08/29/2011 10:54 AM, Pedro Alves wrote:
While these two didn't get the HAVE_... prefix. Was that intended?
To be clear: make sure before committing that *all* use _GLIBCXX_HAVE_*
Paolo.
When binding a Stand-Alone library that is extending another Stand-Alone
library, ALI files that are not interfaces of the SAL project may not
be found, because the object path was incorrectly set.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Vincent Celier
* makeutl.a
If the left-hand side is a packed component, The expansion of an assignment
statement uses a single bit-field operation. If the component is a record and
the right hand side of the assignment has a different representation, the
assignment must be expanded into individual component assignments, each
If the option -gnatd.H is present (Standard Package mode for gnat2why), skip
the frontend, except the call to Create_Standard, and call the backend
directly.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Johannes Kanig
* frontend.adb (Frontend): Exit after creating Stan
The new implementation of controlled objects didn't handle
all alignments cases.
No behaviour change compared to the previous implementation.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* s-pooglo.adb (Allocate, Deallocate): Take into account the align
The Ada2012 attribute 'Old is expanded into an object declaration that captures
the value of a formal before execution. This patch fixes a bug that placed the
object declaration in the wrong scope when the enclosing subprogram body had
a single local declaration for a use clause.
The following m
This patch improves on the code generated for an assignment to a component of
a bit-packed array, when lhs and rhs have a different representation.
Executing the following :
gcc -c -gnatG p1.adb | grep -c '\$system__pack_40'
must yield:
1
---
package Conf is
type UINT32_T is mod 2**32
Splice_Subtree specifies a position in the target container to which the source
subtree should be moved. The target position is a 2-tuple comprising the new
parent of the subtree and its new (next) sibling (parameter Before).
Before attempting to move the subtree, the implementation must perform t
The default search dirs were set before the Builder switches were read
in the main project files. When the Builder switches included --RTS=,
the wrong default search dirs were added. This patch ensures that the
default search dirs are added after the Builder switches were read.
There is no simple t
Ada2012 introduce a new kind of formal type definition. An incomplete formal
type can be instantiated with any actual (as long as discriminants and tagged
nature conform). The actual for a formal incomplete type is not frozen by
the instance itself.
The following must compile quietly in Ada2012
Some checks on illegal uses of class-wide expressions do not apply to access_
to_subprograms. Use base type to determine whether an access subtype belongs
to the latter category.
The following must compile quietly in Ada205 mode:
package T is
pragma Elaborate_Body;
end T;
---
with Ada.Containe
This constant was in fact useless as ZCX_By_Default implied it.
No change in behavior.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* system-darwin-x86.ads, system-linux-s390x.ads, system-linux-alpha.ads,
system-tru64.ads, system-irix-n32.ads,
If the renamed object in an object renaming declaration is a function call of a
limited type, the expansion of the renaming is complicated by the presence of
various temporaries and subtypes that capture constraints of the renamed object.
This patch rewrites the renaming as an object declaration, w
Preliminary work to handle foreign exceptions.
No functionnal change.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* a-exexpr-gcc.adb (Unwind_Action) Rewrite as an integer with constants.
(GNAT_GCC_Exception): Remove N_Cleanups_To_Trigger compon
Files containing the MELT translated to C code were not loaded correctly
due to bad search path when working with an installed plugin. Present
commit fixes this by:
- using a melt find to search in current dir
- ensuring the melt_modulename in melt descriptor only contains the
module name, and
The operations Find_In_Subtree and Ancestor_Find had a Container parameter as
part of the signature (it was included in AI05-0136 by mistake), but that
parameter is not necessary, and has therefore been removed.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Matthew Heaney
This patch makes "some" a reserved word, as will be required by the Ada 2012
RM.
The following test must get an error:
% gcc -c -gnat2012 some_id.ads
some_id.ads:2:04: reserved word "some" cannot be used as identifier
package Some_Id is
Some : Integer; -- ERROR: "some" is a reserved word
end
Aborts are deferred just before propagating an exception and undefered at the
beginning of usual exception handler. But this mechanism is not necessary
if ZCX propagation is used (as aborts are synchronous in this case) and
prevents from using foreign (eg C++) exceptions are aborts won't be always
On 08/29/2011 12:33 AM, Mikael Morin wrote:
diff --git a/libgfortran/caf/mpi.c b/libgfortran/caf/mpi.c
index ea4c0f0..711c6ee 100644
--- a/libgfortran/caf/mpi.c
+++ b/libgfortran/caf/mpi.c
@@ -103,7 +103,7 @@ _gfortran_caf_finalize (void)
{
while (caf_static_list != NULL)
{
- fre
Little cleanup, no functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* a-exexpr.adb, a-except-2005.ads (Jmpbuf_Address): Move to a-exexpr.adb
(To_Jmpbuf_Address): Ditto
(builtin_longjmp): Ditto
Index: a-exexpr.adb
===
On Mon, 29 Aug 2011, Jakub Jelinek wrote:
> http://gcc.gnu.org/ml/gcc-patches/2011-08/msg00428.html
> Adjust gthr-posix.h so that g++ -C -E works with STL headers
>
OK in the absence of libgcc maintainer objecti
The check that raises Constraint_Error for arguments
that equal the machine number nearest Pi / 2.0 must
be removed, as the tangent of this machine number is
well-defined and does not overflow.
-- Test case, should compile and execute quietly
with Ada.Numerics.Long_Long_Elementary_Functions;
use A
Ada 2012 added a Synchronous_Barrier type to allow many tasks to be blocked
and be released at once, similar to the functionality provided by POSIX
barriers. See AI-0174 for details.
The following test case should compile quietly in Ada2012 mode and execute
without any output message:
pragma Task
On Sat, Aug 27, 2011 at 3:39 AM, Artem Shinkarov
wrote:
> Hi
>
> Here is a patch with vector comparison only.
> Comparison is expanded using VEC_COND_EXPR, conversions between the
> different types inside the VEC_COND_EXPR are happening in optabs.c.
I have split out the middle-end infrastructure
With this new feature, foreign exceptions can be caught in 'when others'
handlers and will correctly propagate through Ada frames (including at-end
handlers).
No pure Ada test.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* a-exexpr-gcc.adb (Unwind_Exc
On 08/29/11 11:03, Jakub Jelinek wrote:
> http://gcc.gnu.org/ml/gcc-patches/2011-08/msg01767.html
> PR middle-end/48722
> Fix RTL sharing problem with CALL_INSN_FUNCTION_USAGE
Looks OK.
Bernd
On 08/18/2011 11:23 AM, Richard Guenther wrote:
Yeah, well. That's really a question for language lawyers;) I agree
that it would be nice to have mask ? val0 : val1 behave "the same"
for scalars and vectors. The question is whether for vectors you
define it on the bit-level (which makes it eq
On Fri, Aug 26, 2011 at 8:54 PM, Aldy Hernandez wrote:
> This is a "slight" update from the last revision, with your issues addressed
> as I explained in the last email. However, everything turned out to be much
> tricker than I expected (variable length offsets with arrays, bit fields
> spanning
On 08/27/2011 02:04 AM, Jan Hubicka wrote:
Hello,
Could I have a review for the trivial patch posted in
http://gcc.gnu.org/ml/gcc-patches/2011-08/msg01123.html
-fprofile-use sets flag_branch_probabilities.
But we should also be able to use -fbranch-probabilities on its own
using the informat
On Mon, Aug 22, 2011 at 9:50 PM, Uros Bizjak wrote:
> On Mon, Aug 22, 2011 at 5:34 PM, Richard Guenther
> wrote:
>
>>> In this case it is simple to analyse that a is a comparison, but you
>>> cannot embed the operations of a into VEC_COND_EXPR.
>>
>> Sure, but if the above is C source the fronten
On Mon, Aug 29, 2011 at 1:59 PM, Christian Bruel wrote:
>
>
> On 08/27/2011 02:04 AM, Jan Hubicka wrote:
>>>
>>> Hello,
>>>
>>> Could I have a review for the trivial patch posted in
>>> http://gcc.gnu.org/ml/gcc-patches/2011-08/msg01123.html
>>>
>>> -fprofile-use sets flag_branch_probabilities.
>>
The procedure Setup_Exception did nothing and is now removed.
No functionnal change.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* a-exexpr.adb (Setup_Exception): Removed.
* a-exexpr-gcc.adb (Setup_Exception): Removed.
* a-except.adb (E
Remove all its parameters as they were unused.
No functionnal changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* a-exexpr.adb (Propagate_Exception): Remove all the parameters as
they were unused.
* a-exexpr-gcc.adb (Propagate_Except
On Mon, Aug 29, 2011 at 2:09 PM, Richard Guenther
wrote:
> On Mon, Aug 22, 2011 at 9:50 PM, Uros Bizjak wrote:
>> On Mon, Aug 22, 2011 at 5:34 PM, Richard Guenther
>> wrote:
>>
In this case it is simple to analyse that a is a comparison, but you
cannot embed the operations of a into VE
Two components (Private_Data and Cleanup_Flag) are now removed because they
were unused.
No functionnal change.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* a-exstat.adb (String_To_EO): Do no set Cleanup_Flag.
* a-exexda.adb (Set_Exception_C_
This patch fixes a typo in the expansion of an allocator for an unconstrained
packed array, when the expression is a function call.
The execution of tester below must yield:
in next_frame
in next_frame
1
2
---
with Media;
with ada.text_IO;
procedure Tester is
Case_1 :Media.Image :=
In Ada 2012 it is possible to inherit non-conformant homographs, but they
can't be called or overridden. The following test now compiles silently.
package Pack1 is
type Int1 is interface;
procedure Op (X : in Int1) is null;
end Pack1;
package Pack2 is
type Int2 is interface;
proce
Compilation was stopping on errors in Alfa mode due to incorrect generation of
a type, and inconsistent treatment of packing.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Yannick Moy
* freeze.adb (Freeze_Record_Type): Ignore packing in Alfa mode, like
in CodePe
Hi Paolo,
>> I guess the patch is ok now?
>
> Yes. Nice that Jon replied in the meanwhile and clarified the undefined
> behavior issue: for the time being I think we can keep the __cplusplus
> checks, should also help during this testing period. We can certainly clean
> up the thing later. Mayb
This exception stack was once used by VMS, but isn't anymore.
No functional change.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* s-taprop-vms.adb (Get_Exc_Stack_Addr): Remove.
(Initialize_TCB): Remove Exc_Stack_Ptr initialization.
(Fin
No functional change.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* raise-gcc.c (get_ip_from_context): New function. Factorize code.
Index: raise-gcc.c
===
--- raise-gcc.c (revision 17820
This change prevents Put_SCOs from emitting a spurious blank line in the
ALI file in case the length of a statements line is congruent to 0 modulo 6.
The following compilation must not produce any blank line in the middle of
C lines.
$ gcc -c -gnateS blank_line_in_scos.adb
package Blank_Line_In_SC
This new implementation avoids dependencies on BLAS and LAPACK.
The advantages are simplicity (no external requirements), more certainty
about accuracy and availability for all floating point types. Obvious
disadvantages are lack of target-specific optimizations that may affect
both accuracy, less
On Mon, Aug 29, 2011 at 12:21:12PM +0200, Alexandre Lissy wrote:
> Files containing the MELT translated to C code were not loaded correctly
> due to bad search path when working with an installed plugin. Present
> commit fixes this by:
> - using a melt find to search in current dir
> - ensuring t
Le 29/08/2011 15:15, Basile Starynkevitch a écrit :
> On Mon, Aug 29, 2011 at 12:21:12PM +0200, Alexandre Lissy wrote:
>> Files containing the MELT translated to C code were not loaded correctly
>> due to bad search path when working with an installed plugin. Present
>> commit fixes this by:
>> -
Alfa mode for formal verification currently does no deal with tasking and
tagged types. Suppress expansion of these features to simplify input to
formal verification back-end.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Yannick Moy
* exp_ch13.adb (Expand_N_Freeze_Enti
Project dependencies are needed in various cases, for instance because
the linker needs to find all the list of non-Ada objects when building
a global archive in gprbuild. But these project dependencies need to be
explicitly computed initially, and this wasn't done for aggregated
projects.
Tested
Hi,
> Hi Paolo,
>
>>> I guess the patch is ok now?
>> Yes. Nice that Jon replied in the meanwhile and clarified the undefined
>> behavior issue: for the time being I think we can keep the __cplusplus
>> checks, should also help during this testing period. We can certainly clean
>> up the thing l
The expanded code for an instantiation may contain apparent ambiguities when
two subprograms that are generic formals or that depend on formal types become
homonyms after formals are replaced with actuals. In some cases, the ambiguity
can be resolved by favoring the innermost interpretation, when b
There are two overloadings of Next. One is a selector function to return the
next node in the current bucket, the other navigates to the next element in the
container. The implementation of Generic_Equal needs to call the former, as it
interrogates the items in each bucket.
Also, the buckets array
As the length of any logical is limited to 255 bytes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Tristan Gingold
* gnatcmd.adb (GNATCmd): On OpenVMS, truncate the length of
GNAT_DRIVER_COMMAND_LINE to 255.
Index: gnatcmd.adb
=
If a package in a limited_with clause contains an incomplete type and its
completion, both of them have a limited view, and these may be visible at the
same time though intervening packages. These two limited views must be treated
as identical in conformance tests.
The following must build quietly;
Le 29/08/2011 15:15, Basile Starynkevitch a écrit :
> On Mon, Aug 29, 2011 at 12:21:12PM +0200, Alexandre Lissy wrote:
>> Files containing the MELT translated to C code were not loaded correctly
>> due to bad search path when working with an installed plugin. Present
>> commit fixes this by:
>> -
Hi,
tested x86_64-linux, committed to mainline.
Thanks,
Paolo.
///
2011-08-29 Paolo Carlini
PR libstdc++/50118
* include/bits/stl_list.h (_List_base<>::
_List_base(const allocator_type&)): Remove.
(_List_base<>::_List_base(const _Node_
On Tue, May 10, 2011 at 2:55 AM, Richard Guenther wrote:
>
> This moves fold-consts conversion folding to forwprop, our tree
> pattern matcher & optimizer. In addition to what fold-const
> does this makes us canonicalize unsigned truncations to use
> bitwise and of a mask, this form is more readi
It is not possible to specify "-largs" as a switch in package linker of
the main project file, to link with an external library libargs. This
patch corrects this. Now any option found in the switches of packages
Compiler, Binder or Linker is taken as is into account.
Tested on x86_64-pc-linux-gnu,
Instance bodies nested within generic bodies are always built, so that semantic
checks can be performed on them. Finalization actions on entities within these
instances must not be generated because expansion will have been disabled at
various points and because finalizers are only relevant in exec
This patch fixes a spurious error on an exponentation operand that has a
universal interpretation, when the parent node is overloaded and one of its
interpretations is a fixed-point type.
The following must compile quietly:
gcc -c adt.adb
with Sim;
package adt is
task type Cust;
end;
pack
Le 29/08/2011 15:15, Basile Starynkevitch a écrit :
> On Mon, Aug 29, 2011 at 12:21:12PM +0200, Alexandre Lissy wrote:
>> Files containing the MELT translated to C code were not loaded correctly
>> due to bad search path when working with an installed plugin. Present
>> commit fixes this by:
>> -
This patch adds new debugging routines (pp to print a node, node list, name_id,
etc., and ppp to print a tree). No change in functionality; no test available.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-29 Bob Duff
* treepr.ads: Improve debugging facilities. pn(x) no lo
The compiler may crash processing a constant object declaration whose
expression is a nested aggregate. After this patch the following test
compiles without errors.
package Test_Nested_Aggregate is
type T_Comp (Validity : Boolean := False) is record
null;
end record;
type T_Root is
There are two overloadings of Next. One is a selector function to return the
next node in the current bucket, the other navigates to the next element in the
container. The implementation of Generic_Iteration needs to call the former, as
it interrogates the items in each bucket, before moving on the
If the domain of iteration is a derived container type, the aspect Default_
Iterator is inherited. As for other calls to inherited operations, the actual
must be view-converted to the type of the formal to be a valid argument.
The following must compile quietly:
gcc -c -gnat12 repro.adb
---
w
It was not possible to use an Ada reserved word such as Interface as an
identifier, when the default Ada version is Ada 2005. This patch corrects
this.
The following project file should be accepted by all project aware tools
such as gnatmake:
project Interface is
end Interface;
Tested on x86_64-p
The formal verification back-end expects declaration to be present for Itypes,
even if they are not attached to the tree. Add such declarations in the case
of Itypes introduced for index/component types of arrays and anonymous array
types in object declaration.
Tested on x86_64-pc-linux-gnu, commi
Make_Independent decrements Wait_Count, which caused a race condition -- if the
timing is just wrong, it causes Make_Passive to find Wait_Count = 0, which
eventually causes the program to hang. This patch prevents hanging by
decrementing Wait_Count only if nonzero.
No test is available, because it'
If an object of type Cursor does not have an explicit initialization
expression, then it must default-initialize to the same value as constant
No_Element. The Node component of type Cursor has scalar type Count_Type, so it
requires an explicit initialization expression of its own declaration, in or
This patch causes exceptions propagated by the termination handler to be
ignored, as required by the Ada RM. The following test should run to completion
silently:
with Ada.Task_Identification;
with Ada.Task_Termination; use Ada.Task_Termination;
with Ada.Exceptions;
package Task_Term_Exc is
task
The semantics of operation Move for the bounded forms must match the semantics
of the unbounded forms. The post-condition is defined (for all containers) such
that when Move completes, the Source container is empty. The fix is to clear
the Source container after its elements have been assigned to T
The equivalence defined in AI05-0071-1 for formal subprogram matching
is extended such that it applies to explicit as well as default actual
subprograms. The following test now compiles without errors.
package Pack1 is
type Root is tagged record
F1 : Integer;
end record;
proced
This patch makes a conversion optab from the direct optabs vcond
and vcondu. This allows to specify different modes for the
actual comparison and the value that is selected.
All targets but i386 are trivially converted by
s/vcond/vcond/. The i386 port is enhanced
to support a OP b ? c : d as (
This patch makes the compiler more robust in certain cases where "with X"
refers to a library-level instance that got errors that caused "instantiation
abandoned". Previously, the compiler would sometimes go into an infinite loop.
The following test should get errors:
gcc -c main.adb
p-i.ads:4:42:
Formal verification relies on a computation of effects based on the local
effects generated in ALFA sections in ALI files. These effects should mention
explicitly all read/writes to memory through explicit dereferences. This is
now done with a special "HEAP" variable.
Tested on x86_64-pc-linux-gnu
Le 29/08/2011 15:15, Basile Starynkevitch a écrit :
> On Mon, Aug 29, 2011 at 12:21:12PM +0200, Alexandre Lissy wrote:
>> Files containing the MELT translated to C code were not loaded correctly
>> due to bad search path when working with an installed plugin. Present
>> commit fixes this by:
>> -
Le 29/08/2011 16:44, Alexandre Lissy a écrit :
> Le 29/08/2011 15:15, Basile Starynkevitch a écrit :
>> On Mon, Aug 29, 2011 at 12:21:12PM +0200, Alexandre Lissy wrote:
>>> Files containing the MELT translated to C code were not loaded correctly
>>> due to bad search path when working with an insta
I looked at the ISL sources and saw that they generally had license
notices of the form:
* Use of this software is governed by the GNU LGPLv2.1 license
For use in GCC I think it needs to have the "any later version" clause to
allow distribution under later versions of the LGPL as well, so that
2011/8/26 Georg-Johann Lay :
> Georg-Johann Lay wrote:
>> progmem_section is a section to put jump tables in.
>>
>> This patch puts jump tables in individual sections if
>> -ffunction-section is on and does some more cleanup around
>> that, i.e. implement TARGET_ASM_FUNCTION_RODATA_SECTION hook.
>>
On 08/23/11 12:12, Richard Sandiford wrote:
> Ping for:
>
> http://gcc.gnu.org/ml/gcc-patches/2011-08/msg01181.html
> http://gcc.gnu.org/ml/gcc-patches/2011-08/msg01182.html
Ok.
Bernd
Le 29/08/2011 16:57, Alexandre Lissy a écrit :
> Le 29/08/2011 16:44, Alexandre Lissy a écrit :
>> Le 29/08/2011 15:15, Basile Starynkevitch a écrit :
>>> On Mon, Aug 29, 2011 at 12:21:12PM +0200, Alexandre Lissy wrote:
Files containing the MELT translated to C code were not loaded correctly
>
On Mon, 29 Aug 2011, Richard Guenther wrote:
>
> This patch makes a conversion optab from the direct optabs vcond
> and vcondu. This allows to specify different modes for the
> actual comparison and the value that is selected.
>
> All targets but i386 are trivially converted by
> s/vcond/vcond
Hi Paolo,
> Interesting. I suppose you are going to inform the SunStudio engineer
> that some of the above has to be adjusted for gcc 4.7+ (otherwise,
> please let me know, I can probably do it via Stephen Clamage)
that's the plan. I had some discussions about those issues when I
brought up th
1 - 100 of 139 matches
Mail list logo
