On Thu, Apr 25, 2013 at 3:02 PM, Jakub Jelinek wrote:
>
> 2013-04-25 Jakub Jelinek
>
> * tree-ssa-uninit.c (compute_uninit_opnds_pos): In functions
> with nonlocal goto receivers or returns twice calls, ignore
> unininitialized values from abnormal edges to nl goto recei
Reproduced. This looks like another instance of a case I found testing
my follow-on patch: the helper routines have some assertion checking
that is too strict for the broader usage where we may be scaling
counts up and not just down. I am verifying and will send a patch in
the morning that suppress
On Thu, Apr 25, 2013 at 5:22 PM, Jakub Jelinek wrote:
> Hi!
>
> I'd like to ping 2 color diagnostics patches:
>
> - http://gcc.gnu.org/ml/gcc-patches/2013-04/msg00787.html
> colorize filename using locus color even when printed
> without :line:column
you should declare the variables locus_cs
On 4/25/13, Diego Novillo wrote:
> On 2013-04-24 15:58 , Lawrence Crowl wrote:
>> * var-tracking.c'emit_note_data_def.vars
>> * var-tracking.c'shared_hash_def.htab
>> * var-tracking.c'changed_variables
>>
>> Fold variable_htab_hash, variable_htab_eq, variable_htab_free
>>into new struct variab
On 4/25/13, Richard Biener wrote:
> Thus, the patch is ok apart from the var-tracking.c bits which
> I defer to respective maintainers.
Okay, I split out the var-tracking.c changes. I've committed the
rest to trunk.
--
Lawrence Crowl
Attaching an updated patch.
Thanks
Sri
On Thu, Apr 25, 2013 at 4:42 PM, Sriraman Tallam wrote:
> On Tue, Apr 23, 2013 at 9:59 PM, Jakub Jelinek wrote:
>> On Tue, Apr 23, 2013 at 03:58:06PM -0700, Sriraman Tallam wrote:
>>> This patch generates labels for cold function parts that are split whe
On Tue, Apr 23, 2013 at 9:59 PM, Jakub Jelinek wrote:
> On Tue, Apr 23, 2013 at 03:58:06PM -0700, Sriraman Tallam wrote:
>> This patch generates labels for cold function parts that are split when
>> using the option -freorder-blocks-and-partition. The cold label name
>> is generated by suffixin
ok.
David
On Thu, Apr 25, 2013 at 4:37 PM, Dehao Chen wrote:
> The ported patch:
>
> r188371 | dehao | 2012-06-09 18:44:58 -0700 (Sat, 09 Jun 2012) | 13 lines
>
> 2012-06-10 Dehao Chen
>
> Backport r188303 from google-4_7
> * gcc/cgraph.c (cgraph_node): Add attribute to function decl.
> * gcc
The ported patch:
r188371 | dehao | 2012-06-09 18:44:58 -0700 (Sat, 09 Jun 2012) | 13 lines
2012-06-10 Dehao Chen
Backport r188303 from google-4_7
* gcc/cgraph.c (cgraph_node): Add attribute to function decl.
* gcc/opts-global.c (add_attribute_pattern): New function.
(pattern_match_function_a
I'll take a look. Teresa
On Thu, Apr 25, 2013 at 3:29 PM, H.J. Lu wrote:
> On Fri, Apr 5, 2013 at 7:18 AM, Teresa Johnson wrote:
>> On Thu, Mar 28, 2013 at 2:27 AM, Richard Biener
>> wrote:
>>> On Wed, Mar 27, 2013 at 6:22 PM, Teresa Johnson
>>> wrote:
I found that the node weight update
On Fri, Apr 5, 2013 at 7:18 AM, Teresa Johnson wrote:
> On Thu, Mar 28, 2013 at 2:27 AM, Richard Biener
> wrote:
>> On Wed, Mar 27, 2013 at 6:22 PM, Teresa Johnson wrote:
>>> I found that the node weight updates on cloned nodes during ipa-cp were
>>> leading to incorrect/insane weights. Both the
Hi!
I'd like to ping 2 color diagnostics patches:
- http://gcc.gnu.org/ml/gcc-patches/2013-04/msg00787.html
colorize filename using locus color even when printed
without :line:column
- http://gcc.gnu.org/ml/gcc-patches/2013-04/msg00923.html
make -fdiagnostics-color=auto the default if GCC_
Hello,
Le 23/04/2013 09:58, Tobias Burnus a écrit :
> The constraint checks for assumed-type and assumed-rank with regards to
> intrinsics only worked very indirectly and, hence, was not strict
> enough. That's now fixed with the attached patch - also for
> NO_ARG_CHECK. For the latter, it also im
Hi!
Bootstrap currently fails in libgo, there are false positive warnings
that ({anonymous}) is uninitialized in multiple places.
The testcase below reproduces this issue too. The problem is
that the ab edges to setjmp call are added conservatively, thus they can be
added even from calls before
Hi!
This patch fixes a bug where a ms_abi -> sysv call to memcpy
is miscompiled. In this case, registers %rdi and %rsi aren't call
clobbered in the ms_abi, and are in sysv ABI, thus they aren't in
the regs_invalidated_by_call regset, but are instead represented
by clobber in the pattern of the CA
Hi!
This patch adds folding of constant arguments v>> and v<<, which helps to
optimize the testcase from the PR back into constant store after vectorized
loop is unrolled.
Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
2013-04-25 Jakub Jelinek
PR tree-optimizati
On Thu, 18 Apr 2013, Chung-Lin Tang wrote:
> 2013-04-18 Chung-Lin Tang
>
> * opts-common.c (integral_argument): Add support for hexadecimal
> command option integer arguments. Update comments.
You should propose this sort of non-Nios II-specific change in a separate
thread wi
I should ask the following general standard new-port questions:
* Does the port build cleanly when configured with --enable-werror-always
and built using a native compiler from current GCC trunk - for both 32-bit
host, and 64-bit host? It should. This is the standard way of ensuring
the same
On Thu, 18 Apr 2013, Chung-Lin Tang wrote:
> Index: gcc/config/nios2/nios2.h
> ===
> --- gcc/config/nios2/nios2.h (revision 0)
> +++ gcc/config/nios2/nios2.h (revision 409063)
> @@ -0,0 +1,686 @@
> +/* Definitions of target machine
Hi
Here is a patch to use move semantic when inserting a move_iterator
range into the unordered containers.
2013-04-25 François Dumont
* include/bits/hashtable_policy.h
(_Insert_base<>::insert<_It>(_It, _It)): Enable move semantic.
* testsuite/23_containers/unordered_set/in
On Thu, 18 Apr 2013, Chung-Lin Tang wrote:
> +nios2-*-linux*)
> + tmake_file="$tmake_file nios2/t-nios2 nios2/t-linux t-libgcc-pic
> t-slibgcc-libgcc"
> + extra_parts="$extra_parts crti.o crtn.o"
> + md_unwind_header=nios2/linux-unwind.h
> + ;;
> +nios2-*-*)
> + tmake_file="$t
On 04/25/2013 11:29 AM, Vladimir Makarov wrote:
On 04/24/2013 03:42 PM, Michael Meissner wrote:
I'm seeing a lot of failures with these changes in make check.
I've reproduced it, Mike. I'll work on it. Thanks.
I've fixed it, Mike. It is on the branch now.
2013-04-25 Vladimir Makarov
On Tue, 16 Apr 2013, Sriraman Tallam wrote:
> Ok, it is on by default now. There is a way to turn it off, with
> -mno-generate-builtins.
Any new option needs documenting in invoke.texi.
--
Joseph S. Myers
jos...@codesourcery.com
On 04/25/2013 11:36 AM, Paolo Carlini wrote:
On 04/25/2013 11:16 AM, Jonathan Wakely wrote:
On 25 April 2013 09:52, Paolo Carlini wrote:
Hi,
could you please take care of the profile-mode bits too? Let's try
to keep
the 3 modes in sync, I noticed only by chance.
Does **anyone** use profile
On Thu, Apr 25, 2013 at 2:03 PM, Janne Blomqvist
wrote:
> On Wed, Apr 24, 2013 at 11:02 PM, Janne Blomqvist
> wrote:
>> Hi,
>>
>> the attached patch hopefully fixes the PR.
>
> Try 2 with fixed path, passes bootstrap on my system also after I
> removed the system-provided zlib.h.
>
> Ok for trunk
On 2013-04-24 15:58 , Lawrence Crowl wrote:
* var-tracking.c'emit_note_data_def.vars
* var-tracking.c'shared_hash_def.htab
* var-tracking.c'changed_variables
Fold variable_htab_hash, variable_htab_eq, variable_htab_free
into new struct variable_hasher.
Add typedef variable_table_type.
Add typ
On Thu, 2013-04-25 at 13:43 -0400, Diego Novillo wrote:
> On 2013-04-25 12:30 , David Malcolm wrote:
>
> > diff --git a/contrib/ChangeLog b/contrib/ChangeLog
> > index 9f4505b..01afcb5 100644
> > --- a/contrib/ChangeLog
> > +++ b/contrib/ChangeLog
> > @@ -1,3 +1,7 @@
> > +2013-04-25 David Malcolm
On 2013-04-25 12:30 , David Malcolm wrote:
diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 9f4505b..01afcb5 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,7 @@
+2013-04-25 David Malcolm
+
+* repro_fail: filter out "-ignore SIGHUP" from the spawn lines
+
This
I'm attempting to use contrib/repro_fail to track down my testcase
failures, but the spawn lines of the testcases I'm interested are of the
form:
spawn -ignore SIGHUP COMMAND ARGS
rather than just:
spawn COMMAND ARGS
which leads to repro_fail's attempt to rerun the command failing with:
..
In the patch adding ref-qualifiers, I initially turned the 'this'
argument back into a glvalue for the object with
build_fold_indirect_ref. I was nervous about this being able to
reliably reconstruct the original glvalue argument, so on the trunk I
switched things to wait and take the address
Leaving value-dependent expressions alone doesn't work if you then
silently turn them into error_mark_node because they aren't INTEGER_CST.
And while I'm in this code, there's no need to check the result of
cxx_constant_value, as it already returns error_mark_node for
non-constant expressions.
On 25/04/13 11:36, James Greenhalgh wrote:
Hi,
The aarch64_simd_bsl pattern performs an operation which can
be described in C as:
(a & b) | (~a & c)
Rewriting this in RTL rather than using an UNSPEC allows for
better constant folding.
Regression tested for aarch64-none-elf with no regression
On Thu, Apr 25, 2013 at 05:43:30PM +0200, Marek Polacek wrote:
> On Thu, Apr 25, 2013 at 05:31:29PM +0200, Jakub Jelinek wrote:
> > > + /* For logb(-Inf) we have to return +Inf. */
> > > + if (value->cl == rvc_inf && !tree_expr_nonnegative_p (arg))
> >
> > Why not
> > if (value->cl ==
On Thu, Apr 25, 2013 at 05:31:29PM +0200, Jakub Jelinek wrote:
> > + /* For logb(-Inf) we have to return +Inf. */
> > + if (value->cl == rvc_inf && !tree_expr_nonnegative_p (arg))
>
> Why not
> if (value->cl == rvc_inf && value->sign)
> or
> if (real_isinf (value) && real_
On 04/24/2013 03:42 PM, Michael Meissner wrote:
I'm seeing a lot of failures with these changes in make check.
I've reproduced it, Mike. I'll work on it. Thanks.
On 25/04/13 16:38, Ian Bolton wrote:
Since this is a bug fix, I'll need to backport to 4.8.
Is that OK?
Cheers,
Ian
OK
/Marcus
On 20 March 2013 17:21, Ian Bolton wrote:
MOVK should not be generated with a negative immediate, which
the assembler rightfully rejects.
This patch makes MOVK ou
When we have a braced-init-list as an initializer for an aggregate type,
we need to call reshape_init on it to put it into the appropriate form;
we were forgetting this in the case of mem-initializers.
Tested x86_64-pc-linux-gnu, applying to trunk and 4.8.
commit de8c0876aa988ca01a3ec256eccd0a9
Since this is a bug fix, I'll need to backport to 4.8.
Is that OK?
Cheers,
Ian
> OK
> /Marcus
>
> On 20 March 2013 17:21, Ian Bolton wrote:
> > MOVK should not be generated with a negative immediate, which
> > the assembler rightfully rejects.
> >
> > This patch makes MOVK output its 2nd opera
On Thu, Apr 25, 2013 at 05:24:48PM +0200, Marek Polacek wrote:
> On Thu, Apr 25, 2013 at 05:16:31PM +0200, Marek Polacek wrote:
> > Okay, patch updated. Ok now (which branches, all active?)?
> > Regtested/bootstrapped again on x86_64-linux.
>
> Eh, I've found a bug in previous version (not proper
On Thu, Apr 25, 2013 at 05:16:31PM +0200, Marek Polacek wrote:
> Okay, patch updated. Ok now (which branches, all active?)?
> Regtested/bootstrapped again on x86_64-linux.
Eh, I've found a bug in previous version (not properly adjusted
testcase). So this one should be ok.
2013-04-25 Marek Pola
On Thu, Apr 25, 2013 at 03:44:08PM +0200, Richard Biener wrote:
> On Thu, Apr 25, 2013 at 3:23 PM, Marek Polacek wrote:
> > This is an attempt to fix PR57066, where when folding logb call,
> > we returned -Inf for logb(-Inf), which is not correct.
> >
> > I had to adjust one testcase, because it c
Tobias Burnus wrote:
Additionally, I have committed the recent branch patch,
http://gcc.gnu.org/ml/fortran/2013-04/msg00221.html , with the
followup patch at http://gcc.gnu.org/ml/fortran/2013-04/msg00223.html
- Rev. 198277
Attached is another dependency fix, committed as Rev. 198307.
Tobias
On Thu, Apr 25, 2013 at 04:19:20PM +0200, Richard Biener wrote:
>
> This is the patch that I consider final as a first step (to avoid
> changing too much at once). I've analyzed the few failures
> and compared to the previous patch changed the tree-ssa-tailmerge.c
> part to deal with merging of l
Hi,
Add some test cases for regex_traits in v3.
Thank you!
--
Tim Shen
regex-testsuite.patch
Description: Binary data
This is the patch that I consider final as a first step (to avoid
changing too much at once). I've analyzed the few failures
and compared to the previous patch changed the tree-ssa-tailmerge.c
part to deal with merging of loop latch and loop preheader (even
if that's a really bad idea) to not reg
On Thu, Apr 25, 2013 at 3:23 PM, Marek Polacek wrote:
> This is an attempt to fix PR57066, where when folding logb call,
> we returned -Inf for logb(-Inf), which is not correct.
>
> I had to adjust one testcase, because it checked for a wrong value.
>
> What I don't know yet is what we should retu
On Thu, Apr 25, 2013 at 03:37:35PM +0200, Marc Glisse wrote:
> If a function with one or more NaN arguments returns a NaN result,
> the result should be the same as one of the NaN arguments (after
> possible type conversion), except perhaps for the sign."
>
>
> "F.9.3.11 The logb functions
> — lo
On Thu, 25 Apr 2013, Marek Polacek wrote:
This is an attempt to fix PR57066, where when folding logb call,
we returned -Inf for logb(-Inf), which is not correct.
I had to adjust one testcase, because it checked for a wrong value.
What I don't know yet is what we should return for -Nan, it shou
This is an attempt to fix PR57066, where when folding logb call,
we returned -Inf for logb(-Inf), which is not correct.
I had to adjust one testcase, because it checked for a wrong value.
What I don't know yet is what we should return for -Nan, it should be
in C9X standard, but I don't have it by
On Wed, Apr 24, 2013 at 4:51 PM, Sriraman Tallam wrote:
> Hi Teresa,
>
> Thanks for reviewing. I have addressed all the issues and attached
> the updated patch. Please find comments inlined.
>
> Thanks
> Sri
>
> On Wed, Apr 24, 2013 at 2:00 PM, Teresa Johnson wrote:
>> Comments inline below.
>
On 2013-04-25 09:18, Uros Bizjak wrote:
Yes, this patch will work up to building libstdc++, where it will fail
with the same reason on movqi pattern (on non-BWX target). I suspect
that QImode access is generated during LRA (where reload_in_progress
is false!) and it directly generates movqi, whic
On 04/24/13 20:02, Lawrence Crowl wrote:
This patch is a consolodation of the hash_table patches to the
cxx-conversion branch for files under gcc/config.
Recipients:
config/arm/arm.c - ni...@redhat.com, ramana.radhakrish...@arm.com
config/ia64/ia64.c - wil...@tuliptree.org, sell...@mips.com
conf
OK
/Marcus
On 25 April 2013 11:34, James Greenhalgh wrote:
>
> Hi,
>
> neg2 was described as only being applicable to modes
> in the VDQM iterator. But the instruction generated, `NEG',
> has a .2D form.
>
> This patch corrects the iterator used to one including V2DImode.
>
> Patch regression tes
OK
/Marcus
On 25 April 2013 11:31, James Greenhalgh wrote:
>
> Hi,
>
> This patch adds infrastructure for TARGET_FOLD_BUILTIN and uses it to
> fold the `abs` builtins to GIMPLE/GENERIC.
>
> Tested on aarch64-none-elf with no regressions.
>
> Thanks
> James
>
> ---
> gcc/
>
> 2013-04-22 James Gre
OK
/Marcus
On 25 April 2013 11:29, James Greenhalgh wrote:
>
> Hi,
>
> This patch supersedes the patch by Tejas here:
> http://gcc.gnu.org/ml/gcc-patches/2013-03/msg00502.html
>
> The patch uses the new TARGET_GIMPLE_FOLD_BUILTIN mechanism rather
> than TARGET_FOLD_BUILTIN.
>
> This patch therefo
On Fri, Dec 7, 2012 at 9:01 PM, Easwaran Raman wrote:
> It seems I need to reset the debug uses of a statement before moving
> the statement itself. The attached patch starts from the leaf to root
> of the tree to be reassociated and places them at the point where
> their dependences will be met a
On Wed, Apr 24, 2013 at 9:58 PM, Lawrence Crowl wrote:
> On 4/24/13, Lawrence Crowl wrote:
>> Updated hash table patch. This patch does not include the config part,
>> and does not include the entries already approved.
>>
>> The patch is attached due to size.
>
> Trying again. Patch attached co
On Wed, Apr 24, 2013 at 11:02 PM, Janne Blomqvist
wrote:
> Hi,
>
> the attached patch hopefully fixes the PR.
Try 2 with fixed path, passes bootstrap on my system also after I
removed the system-provided zlib.h.
Ok for trunk?
2013-04-25 Janne Blomqvist
PR bootstrap/57028
* Make-lang
OK.
Thank you.
/Marcus
On 17 April 2013 11:05, Hurugalawadi, Naveen
wrote:
> Hi,
>
>>> I suggest for this one test case either making it compile only and
>>> dropping main() such that the pattern match only looks in the
>>> assembled output of the cmp_* functions
>
> The testcase will check onl
Looks OK to me. Thank you.
/Marcus
On 22 April 2013 08:15, Hurugalawadi, Naveen
wrote:
> Hi,
>
>>> This and the preceding scan are the same pattern. So if either passes
>>> you'll fail to detect a failure in the other.
>
> Thanks for the suggestion.
>
> Please find attached the modified patch a
All forms of the pragma Warnings now allow an optional extra argument
(Reason => static_string_EXPRESSION) that is intended for documenting
the purpose of a Warnings pragma. The compiler checks that the argument
is a static string expression, but otherwise ignores it. The string is
left in the tree
We now deal directly in the formal verification back-end with complex
membership tests, so this special expansion is useless and can be removed.
Tested on x86_64-pc-linux-gnu, committed on trunk
2013-04-25 Yannick Moy
* exp_spark.adb (Expand_SPARK_N_In): Remove procedure.
(Exp
On Thu, Apr 25, 2013 at 12:31 PM, Graham Stott
wrote:
> All,
>
> The struture init_expmed_rtl defined in expmed.c has many fields which are
> totally unused
> this patch removes them.
>
> Bootstraped x86_64 all langauges
>
Ok.
Thanks,
Richard.
> Graham
>
> gcc/ChangeLog
> * expmed.c: (init_
Hi,
The aarch64_simd_bsl pattern performs an operation which can
be described in C as:
(a & b) | (~a & c)
Rewriting this in RTL rather than using an UNSPEC allows for
better constant folding.
Regression tested for aarch64-none-elf with no regressions.
OK?
Thanks,
James
---
gcc/
2013-04-25
This patch conditions the error message generation part of the Contract_Cases
mechanism to produce a short default message or a longer, more elaborate one
when switch -gnateE is in effect.
-- Source --
-- main.adb
procedure Main is
X : Integer;
procedure Proc
This patch implements the following formal verification rules:
A package_declaration of generic_package_declaration shall have a completion (a
body) if it contains a non-null Abstract_State aspect specification.
If a subprogram is nested within another and if the Global aspect specification
of th
Hi,
neg2 was described as only being applicable to modes
in the VDQM iterator. But the instruction generated, `NEG',
has a .2D form.
This patch corrects the iterator used to one including V2DImode.
Patch regression tested on aarch64-none-elf with no regressions.
OK?
Thanks,
James
2013-02-28
Hi,
This patch adds infrastructure for TARGET_FOLD_BUILTIN and uses it to
fold the `abs` builtins to GIMPLE/GENERIC.
Tested on aarch64-none-elf with no regressions.
Thanks
James
---
gcc/
2013-04-22 James Greenhalgh
* config/aarch64/aarch64-builtins.c
(aarch64_fold_builtin)
This patch enhances the error message related to the use of a bad predicate.
The compiler now advises on how to remedy the issue if the context warrants it.
-- Source --
-- main.adb
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
procedure Main is
subtype Even i
This patch adds a check in the analysis of quantified expressions to detect an
unused loop variable and issue a warning.
-- Source --
-- warnings.adb
with Ada.Containers.Doubly_Linked_Lists;
procedure Warnings is
package DLL is new Ada.Containers.Doubly_Linked_List
All,
The struture init_expmed_rtl defined in expmed.c has many fields which are
totally unused
this patch removes them.
Bootstraped x86_64 all langauges
Graham
gcc/ChangeLog
* expmed.c: (init_expmed_rtl) Remove unused fields reg_fld, plus_fld,
mult_fld, sdiv_fld1, udiv_fld1,
sdi
Hi,
This patch supersedes the patch by Tejas here:
http://gcc.gnu.org/ml/gcc-patches/2013-03/msg00502.html
The patch uses the new TARGET_GIMPLE_FOLD_BUILTIN mechanism rather
than TARGET_FOLD_BUILTIN.
This patch therefore adds the infrastructure for
TARGET_GIMPLE_FOLD_BUILTIN and an implementati
This patch adds a check in the analysis of quantified expressions to detect a
suspicious use of quantifier "some" when "all" was meant.
-- Source --
-- semantics.ads
package Semantics is
function Error_1 (X : Integer) return Boolean
with
Post => (for some Y
This patch adds machinery to catch illegal object or state declarations that
introduce a hidden state within a package subject to a null abstract state.
-- Source --
-- gen.ads
generic
type Data_Type is private;
package Gen is
Visible_Obj : Data_Type;
private
This patch removes the debug flags -gnatd.X and -gnatd.Y along with
the related Opt flag Use_Expression_With_Actions. This flag was for
temporary use as this feature was implemented. It is now fully
implemented, and we have no use for the flag, or for the special
code used in a few cases if the fla
This patch fixes a gap in the visibility machinery, that allowed the use
of selected component notation on objects of a private type derived from
other private types with a private full view.
Compiling foo.adb must yield:
foo.adb:7:29: no selector "Exists"
for type "Optional_Rate_Of_T
AI05-0022 requires that tampering checks be performed in order to detect
manipulation of the container via generic actual subprograms. (In the case of
the ordered maps, that would occur through generic operators "<" for Key_Type
and "=" for Element_Type.)
However, for an empty container, no such c
Allow building a vaxfloat runtime by setting a target system.ads boolean,
vice having a build directory gnat.adc configuration pragma and the attendant
and repeated full runtime recompilation with gnatmake.
Tested on x86_64-pc-linux-gnu, committed on trunk
2013-04-25 Doug Rupp
* targp
This patch updates the mechanism which creates predicate functions to ensure
that the expression of a static predicate is static.
-- Source --
-- pack.ads
package Pack is
subtype T1 is Integer with Dynamic_Predicate => T1 /= 0;
subtype T2 is T1 with Static_Predic
This patch moves routine Find_Pragma from sem_util to einfo. No change in
behavior, no test.
Tested on x86_64-pc-linux-gnu, committed on trunk
2013-04-25 Hristian Kirtchev
* einfo.ads, einfo.adb: Remove with and use clauses for Namet.
(Find_Pragma): New routine.
* sem_
This patch modifies the logic that generates procedure _Postconditions to take
into account empty invariant procedures and disabled predicates.
-- Source --
-- main.adb
pragma Assertion_Policy (Invariant => Check);
procedure Main is
X : Integer := 1;
type R is n
This patch provides partial support for ghost entities, in particular ghost
subprograms. Ghost entities are no longer categorized as such by an aspect,
instead one should use aspect/pragma Convention with convention_identifier
Ghost.
-- Source --
-- gen.ads
generic
Hi,
tested make check/check-debug on x86_64-linux, committed to mainline.
Thanks,
Paolo.
/
2013-04-25 Paolo Carlini
PR libstdc++/57065
* include/debug/unordered_map (unordered_map, unordered_multimap):
Fix default allocator type.
* include
On 04/25/2013 11:16 AM, Jonathan Wakely wrote:
On 25 April 2013 09:52, Paolo Carlini wrote:
Hi,
On 04/21/2013 10:08 PM, François Dumont wrote:
Hi
Here is another proposal with:
- No attempt to remove const key
- No attempt to use assignment operator
- noexcept move constructor; I slight
I have merged the trunk into the Fortran-Dev branch, Rev. 198276.
Additionally, I have committed the recent branch patch,
http://gcc.gnu.org/ml/fortran/2013-04/msg00221.html , with the followup
patch at http://gcc.gnu.org/ml/fortran/2013-04/msg00223.html - Rev. 198277
Comments to the patches,
On 25 April 2013 09:52, Paolo Carlini wrote:
> Hi,
>
>
> On 04/21/2013 10:08 PM, François Dumont wrote:
>>
>> Hi
>>
>> Here is another proposal with:
>> - No attempt to remove const key
>> - No attempt to use assignment operator
>> - noexcept move constructor; I slightly modify a static asserti
Hi,
On 04/21/2013 10:08 PM, François Dumont wrote:
Hi
Here is another proposal with:
- No attempt to remove const key
- No attempt to use assignment operator
- noexcept move constructor; I slightly modify a static assertion so
that it checks that _M_bucket_index is noexcept qualified which
On 22/04/13 11:56, James Greenhalgh wrote:
Hello,
This patch fixes the following warning in config/aarch64/aarch64.c:
.../gcc/config/aarch64/aarch64.c: In function ‘void
aarch64_print_operand(FILE*, rtx, char)’:
.../gcc/config/aarch64/aarch64.c:3376:42: warning: format ‘%x’ expects argument
On Thu, Apr 25, 2013 at 10:04 AM, Chung-Ju Wu wrote:
>> * config/alpha/alpha.c (TARGET_LRA_P): New define.
>>
>> Bootstrapped and regression tested [1] on alphaev68-unknown-linux-gnu.
>>
>> OK for 4.9?
>>
>
> Yep.
Unfortunately, alphas are m
2013/4/23 Vladimir Makarov :
> On 13-04-22 2:19 PM, Steven Bosscher wrote:
>>
>> On Mon, Apr 22, 2013 at 7:33 PM, Jeff Law wrote:
>>>
>>> On 04/22/2013 11:17 AM, Uros Bizjak wrote:
On Tue, Jan 29, 2013 at 12:34 AM, Richard Henderson
wrote:
>
> On 01/28/2013 03:14 PM, Uros Bi
2013/4/23 Steven Bosscher :
> On Mon, Apr 22, 2013 at 7:33 PM, Jeff Law wrote:
>> On 04/22/2013 11:17 AM, Uros Bizjak wrote:
>>>
>>> On Tue, Jan 29, 2013 at 12:34 AM, Richard Henderson
>>> wrote:
On 01/28/2013 03:14 PM, Uros Bizjak wrote:
>
>
> 2013-01-28 Uros Bizjak
>
>
91 matches
Mail list logo
