* Robert Dewar:
>> Duplication is how other GNU projects handle this. For instance, many
>> Emacs Lisp functions are documented twice: once as a docstring in the
>> source code (which is roughly equivalent to the comment-in-spec
>> approach), and once in the Elisp reference (which is GFDLed).
>
>
* Robert Dewar:
> Does *anyone* print documentation "out as a book", this seems to me
> to be a completely obsolete concept.
People still buy books which are available freely in electronic form.
This means that some printing still goes on.
It might also be necessary to consider what it means whe
* Robert Dewar:
>> People still buy books which are available freely in electronic form.
>> This means that some printing still goes on.
>
> I think there is a difference between a novel you can hold and
> read, and computer documentation. My question was not whether
> anyone reads books any more,
* Robert Dewar:
> In the case of interfaces to library routines, what we do
> is to have fully commented Ada package specs that act as
> both the documentation of the implementation interface and
> as the user documentation (for an example, look at g-spipat.ads).
> I can't see any value in duplica
* Joel Sherrill:
>> This approach is far less useful for languages which haven't got
>> separate spec files because it encourages programmers of client code
>> to look at the implementation, potentially picking up implementation
>> details. It encourages the documentation writer to accidentally r
* H. J. Lu:
> Sometime I have to do
>
> int x = 0;
>
> to silence gcc from uninitialized warnings when I know it is
> unnecessary.
I guess the official idiom is
int x = x;
and it is somewhat used in the GNU project although it is not
portable.
* Andrew Haley:
> On 08/21/2010 10:43 AM, Florian Weimer wrote:
>> * H. J. Lu:
>>
>>> Sometime I have to do
>>>
>>> int x = 0;
>>>
>>> to silence gcc from uninitialized warnings when I know it is
>>> unnecessary.
>>
>
* Wendell Nichols:
> I have some code that passes pointers like:
>
> int foo( int a,char *& word){
> ...
> }
>
> If that function modifies the actual pointer word (indexes it for
> instance) I will get a stack smashing error at runtime. The code runs
> perfectly if I set -fno-stack-protector.
>
>
* koala:
> When trying to build gnat from this snapshot, i had an issue at line
> 280 from gcc/ada/g-socthi-mingw.adb due to:
>
> g-socthi.adb:280:45 value not in range of type "Interfaces.C.unsigned"
> g-socthi.adb:280:45 static expression fails Constraint-check
> Is it all an known issue ?
>
> T
* Florian Weimer:
> Can you look at the generated s-soscons.ads file? I suspect that the
> default
>
> #ifndef MSG_WAITALL
> # define MSG_WAITALL -1
> #endif
> CND(MSG_WAITALL, "Wait for full reception")
>
> kicks in and sets MSG_WAITALL to -1.
>
>
Is this supposed to work (it seems to me that -gnatC is silently
ignored), and is the generated file format documented somewhere?
* Frédéric Buclin:
> If nothing severe is found in the coming days, we will probably upgrade
> the production installation later this week. I think Ian will keep you
> informed about this.
It seems that the new Bugzilla does not set a Message-ID header when
sending mail. While this is not a viol
* Geert Bosch:
> The Ada front end has very extensive warnings. I don't think
> they really contribute measurably to performance.
> We don't try to construct call graphs to determine
> wether the array reference will be executed or not.
> If the line appears in your program, it will cause an
> err
* Ian Lance Taylor:
> The Go frontend was approved for inclusion with gcc by the steering
> committee a while back: http://gcc.gnu.org/ml/gcc/2010-01/msg00500.html .
How general is the garbage collector and its support infrastructure in
the compiler? AFAICS, it's precise, unlike the Boehm/Dehmer
Mozilla seems to receive a report of an exploitable operator new[]
overflow every couple of months now. Obviously, this is not good.
What is necessary so that GCC can fix this code generation issue?
I've created a patch, together with a test case, but it has not been
approved, nor have I been tol
* Chris Lattner:
> On overflow it just forces the size passed in to operator new to
> -1ULL, which throws bad_alloc.
This is also what my patch tries to implement.
* Joe Buck:
> It's wasted code if the multiply instruction detects the overflow.
> It's true that the cost is small (maybe just one extra instruction
> and the same number of tests, maybe one more on architectures where you
> have to load a large constant), but it is slightly worse code than what
Trunk has this:
| /* Create an INT_CST node with a CST value zero extended. */
|
| static inline tree
| build_int_cstu (tree type, unsigned HOST_WIDE_INT cst)
| {
| return double_int_to_tree (type, uhwi_to_double_int (cst));
| }
But the comment is misleading because of:
| /* Constructs tree
* Richard Guenther:
>> If I don't want sign extension, what function should I use instead?
>> Should I just call build_int_cst_wide directly?
>
> You should use a different type, one that is not sign-extended.
> Non-canonical constants are not allowed as we share them based on
> type and value.
I
* Ian Lance Taylor:
> Bill Cox writes:
>
>> $ gcc myprog.c -lgit://github/~waywardgeek/sonic=0.1
>
> In Go we have a program goinstall which looks at import statements and
> pulls in required libraries, where the libraries are named based on
> where the sources live. A similar process could
I get strange warnings when I do arithmetic involving TYPE_MAX_VALUE
(size_type_node), in particular this code:
/* Multiplies MUL1 with MUL2, and adds ADD. Returns (size_t)-1 if the
result cannot be be represented as a size_t value. If ADD is
null_tree, treat it as a zero constant.
*/
tre
* Richard Guenther:
> On Wed, Jan 19, 2011 at 10:53 PM, Florian Weimer wrote:
>> I get strange warnings when I do arithmetic involving TYPE_MAX_VALUE
>> (size_type_node), in particular this code:
>>
>> /* Multiplies MUL1 with MUL2, and adds ADD. Returns (size_t)-1 i
* Richard Guenther:
>> Thanks for the suggestion. TYPE_MAX_VALUE (sizetype) appears to be
>> -1, as the result of this code in stor-layout.c:
>>
>> /* sizetype is unsigned but we need to fix TYPE_MAX_VALUE so that it is
>> sign-extended in a way consistent with force_fit_type. */
>> max =
* Gabriel Dos Reis:
>>> Still, it's certainly an improvement on the current
>>> situation and the cost is negligible compared to the call to the
>>> allocator. Since it's a security issue, some form of the patch should
>>> go in.
>>
>> Well, should I resubmit, with the fix for the problem buildin
* H. J. Lu:
> Here are diffs of SPEC CPU 2K between before and after with gcc 4.1
> using "-O2 -ffast-math" on Nocona:
And what about Opterons? IOW, how "generic" is the optimization?
* Ben Chelf:
> Right now, we're guarding access to the actual defects that we
> report for a couple of reasons: (1) We think that you, as developers
> of gcc, should have the chance to look at the defects we find to patch
> them before random other folks get to see what we found and (2) From a
>
* Mark Mitchell:
> 1. What do we do if people do advertise jobs that are not free software
> jobs, or not purely free software jobs? How pure is pure? Does "Port
> GCC to proprietary OS" count as free or not?
And: Does porting GCC to a new processor, to run on a free operating
system, without e
* Bruce Korb:
> CF: http://gcc.gnu.org/ml/gcc/2005-11/msg00950.html
>http://gcc.gnu.org/ml/gcc/2005-11/msg00951.html
>
> Since Google did not yield an answer, I'm re-asking the question,
> though with a slightly different file. Help, please, from anybody
> knowing how to work around the issue
* Jon Smirl:
> Is the callstack branch correctly predicted if the routine being
> called is complex?
At least the AMD CPUs have implemented a special return stack cache,
so the answer is probably "yes".
> This does eliminate the test./jmp after every function call.
Yes, but the test/jump now ha
* Paul Hilfinger:
> 2. Remember to include the appropriate -W,l-R option or whatever in
>and every compilation.
I don't think it's a good idea to compile in rpaths to non-standard
(user-specific) directories by default. This can lead to trapdoor
rpaths and generally makes the binaries less p
* Richard Henderson:
> You're kidding, right? *All* targets have to generate different
> code for thread-local storage. If it didn't, it wouldn't be
> thread-local, would it?
The local/non-local distinction could be encoded as a flag in the load
instruction, set by the linker according to the d
* Joern Rennecke:
> PJ has posted a news pick on Groklaw about a new patent which, afar as I can
> tell, claims the algorithm that Tege has contributed to expmed.c:expand_divmod
> in 1994 (r7598)
> http://www.freshpatents.com/Method-and-apparatus-for-efficient-software-based-integer-division-dt200
* Toon Moene:
> Well, I'd like to order, but it is unclear from the online
> documentation whether I'm eligible for the educational / non-profit
> price.
>
> $ 800 is a bit too much - even for my most prominent hobby.
I know someone who has received (or is about to receive) a license he
probably
* Andreas Schwab:
> On Okt 09 2021, Thomas Koenig via Fortran wrote:
>
>> There is no choice - we need to make object code compiled by the user
>> incompatible between the old and the new format on the systems where
>> we make the switch.
>
> If you link, but not recompile, object files compiled a
* H. J. Lu via Libc-alpha:
> bzero is an alias of SSE2 memset in glibc. Should we add __memsetzero
> like __memcmpeq? It should be almost free in glibc. GCC can use
> __memsetzero if it is available.
bzero does not have the interface ambiguity that bcmp has. So the
only reason for not using
* H. J. Lu:
> On Fri, Dec 31, 2021 at 12:43 PM Florian Weimer wrote:
>>
>> * H. J. Lu via Libc-alpha:
>>
>> > bzero is an alias of SSE2 memset in glibc. Should we add __memsetzero
>> > like __memcmpeq? It should be almost free in glibc. GCC can u
* Noah Goldstein:
>> >> bzero does not have the interface ambiguity that bcmp has. So the
>> >> only reason for not using it would be namespace cleanliness.
>> >
>> > bzero isn't a standard C function and it isn't optimized like memset
>> > in glibc.
>
> It could be an issue if the "optimization"
* Joseph Myers:
> On Wed, 10 May 2023, Eli Zaretskii via Gcc wrote:
>
>> That is not the case we are discussing, AFAIU. Or at least no one has
>> yet explained why accepting those old K&R programs will adversely
>> affect the ability of GCC to compile C2x programs.
>
> At block scope,
>
> auto
* Florian Weimer:
> In summary, all these seems to be good candidates for errors by default:
>
> * int-conversion as errors (already raised separately
> * -Wint-conversion for ?:
> * parameter names in non-prototype function declarations
> * the union wait function pointer co
* Gabriel Ravier:
> On 5/12/23 19:52, Florian Weimer wrote:
>> * Florian Weimer:
>>
>>> In summary, all these seems to be good candidates for errors by default:
>>>
>>> * int-conversion as errors (already raised separately
>>> * -Wint-conve
* Alexander Monakov:
> This is not valid (constraint violation):
>
> unsigned x;
>
> int *p = &x;
>
> In GCC this is diagnosed under -Wpointer-sign:
>
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25892
Thanks for the reference. I filed:
-Wpointer-sign must be enabled by default
* Joseph Myers:
> On Fri, 12 May 2023, Florian Weimer wrote:
>
>> This sone seems to be a good candidate for additional errors, though:
>>
>> warned_here = pedwarn
>> (loc, warn_return_type >= 0 ? OPT_Wreturn_type : 0,
>> "% with no value, i
* Jason Merrill:
> On Fri, May 12, 2023 at 11:03 AM Florian Weimer wrote:
>>
>> * Joseph Myers:
>>
>> > On Wed, 10 May 2023, Eli Zaretskii via Gcc wrote:
>> >
>> >> That is not the case we are discussing, AFAIU. Or at least no one has
>&
* Sam James:
> Florian Weimer writes:
>
>> [...]
>> In summary, all these seems to be good candidates for errors by default:
>>
>> * int-conversion as errors (already raised separately
>> * -Wint-conversion for ?:
>> * parameter names in non-prototype
* Sam James:
> Florian Weimer writes:
>
>> * Sam James:
>>
>>> Florian Weimer writes:
>>>
>>>> [...]
>>>> In summary, all these seems to be good candidates for errors by default:
>>>>
>>>> * int-conversion
* Jakub Jelinek:
> On Tue, Jul 02, 2024 at 12:54:09PM -0400, David Malcolm via Gcc wrote:
>> Back in 2007 glibc gained some logic to implement "error" and
>> "error_at_line" by splitting into zero and non-zero cases, with the
>> nonzero case calling a "noreturn" function [1].
>>
>> This doesn't s
* Daniel Berlin:
>> You could be right, but I don't see how. Once you've set the revision
>> numbers, can you really go back and insert earlier revision numbers?
> Only by dumping and reloading.
Yes, but you don't want to do this as soon as revision numbers are
used in bug reports, mailing list
* Daniel Berlin:
> It's not easier to implement. Trying to translate cvs into changesets
> is not easy (though the reverse is), unless you do it the stupid way (IE
> not try to discover what is a copy and what isn't).
> So matching commit for commit won't give you good history.
> Especially on br
* Paolo Bonzini:
> and these do not include regex character ranges. LC_COLLATE would only
> be used for sorting and for string comparisons.
You end up with similar behavior if you read the POSIX spec carefully,
IIRC. LC_COLLATE should not affect character ranges.
* Andrew Haley:
> Patrick McFarland writes:
> > Today lilo (the FreeNode network owner) has decided to make one step away
> in a
> > direction opposite of freedom, and banned all Tor users from the FreeNode
> > network.
>
> I can't find a statement from FreeNode.
There is one, but it's fair
there.
--
Florian Weimer / Red Hat Product Security Team
this one in a reliable fashion, too.
--
Florian Weimer / Red Hat Product Security Team
On 04/23/2013 07:21 PM, Tim Shen wrote:
I've made a proposal under the guide of application. Is it detailed
and realistic?
Out of curiosity, do you plan to use a Thompson automaton where
possible, or just NFAs throughout?
--
Florian Weimer / Red Hat Product Security Team
ssions) often negate the wins from a simplified execution model.
--
Florian Weimer / Red Hat Product Security Team
d our
documentation say?
--
Florian Weimer / Red Hat Product Security Team
at defines such annotations as valid?
I'll think about it. It's not something I can extemporize,
--
Florian Weimer / Red Hat Product Security Team
should warn about memoization and thread safety issues.
Trying to come up with more general semantics for const/pure appears to
be difficult to impossible, and as you say, does not match what the
compiler does today.
--
Florian Weimer / Red Hat Product Security Team
r some RCU-like approach. But it seems a faster
approach is already available, so this is somewhat besides the point.
--
Florian Weimer / Red Hat Product Security Team
th N, the value is reduced modulo 2^N to
be within range of the type; no signal is raised."
<http://gcc.gnu.org/onlinedocs/gcc/Integers-implementation.html#Integers-implementation>
--
Florian Weimer / Red Hat Product Security Team
he Fortran code,
depending on the value of the LC_ALL environment variable.
Can you reproduce this with OpenJDK 7?
--
Florian Weimer / Red Hat Product Security Team
On 07/04/2013 01:55 PM, Martin Reinecke wrote:
On 07/04/13 13:43, Florian Weimer wrote:
On 07/04/2013 11:22 AM, Martin Reinecke wrote:
The attached testcase requires gcc and gfortran, as well as a JDK
installation. When running "make" with gcc/gfortran 4.7.2 and
Oracle JDK 1.7, a s
t development environment.
--
Florian Weimer / Red Hat Product Security Team
On 07/20/2013 02:09 AM, Andrew Pinski wrote:
gimple_combine(bool reas) : nonzerobitsf(NULL), valueizerv(NULL),
allow_full_reassiocation(reas) {}
I think this constructor should be marked "explicit".
--
Florian Weimer / Red Hat Product Security Team
at's where
the error message comes from.
I don't think that's easy to change because of the way dpkg handles file
conflicts (even if the files are identical) and how true multi-arch
support is implemented in Debian.
--
Florian Weimer / Red Hat Product Security Team
instructions.
Would it be possible to use a different instruction sequence that stays
in the 16 byte limit? Or restrict MPX support to BIND_NOW relocations?
--
Florian Weimer / Red Hat Product Security Team
arch
support is implemented in Debian.
But hold on: if I just wanted to compile C programs I'd use the system's
C compiler. Anyone building GCC for themself has a reason for doing so.
I suspect a fairly common exercise is to check if the trunk still has
the bug you're about to
different pages having memory objects of the same size (which
happens with some malloc implementations).
--
Florian Weimer / Red Hat Product Security Team
a bit of memory
overhead, but I guess I'll have to wait and see.
--
Florian Weimer / Red Hat Product Security Team
to the error message.
This is probably a question that is more suitable for the gcc-help
mailing list.
--
Florian Weimer / Red Hat Product Security Team
* David McQuillan:
> Has there been an implementation or design of a way of representing 64
> bit pointers with ilp32 on a 64 bit system?
There's the x32 architecture, but I'm not sure if that's what you
want.
are turned on by default. It's also rather long
and as such obscures the main command. As far as I know, there's no way
to set these options "by default" for GCC, either via environment
variables nor via some configuration file.
There is, through the specs file.
--
Florian Wei
e
if (a + b < c) {
and get an infinite-precision result (GNAT already has a mode for that).
But only very low-level code should have to use that, and supporting
shifts without memory allocation might be difficult. Aborting on
overflow will not help the programmer with writing such ch
nd it will work there.
We defined it to be bit-pattern-preserving as a GCC extension, anyway.
--
Florian Weimer / Red Hat Product Security Team
On 11/04/2013 06:10 AM, Ian Lance Taylor wrote:
Clang's blocks are more powerful than GCC's nested functions, because
blocks may be placed on the heap, and therefore returned from a
function.
And they don't need code generation at run time.
--
Florian Weimer / Red Hat Product Security Team
amount of effort.
--
Florian Weimer / Red Hat Product Security Team
ix()'
Why is the location of the error shown relative to .text instead of as a simple
line number?
Such questions should go to the gcc-help mailing list.
This is a linker error message. The linker can only report line numbers
in some cases if there is debugging information.
--
Floria
ndering if the trade-offs
have changed since then, considering that it's again en vogue to
bootstrap new architectures. It's difficult to tell without more
details about that past effort, though.
--
Florian Weimer / Red Hat Product Security Team
t-path for final target classes to the __dynamic_cast implementation?
--
Florian Weimer / Red Hat Product Security Team
* Richard Biener:
> Oh, can we consider dropping java alltogether please?
At least we could remove all those pregenerated files.
* Jeff Law:
> At least for Linux systems, the bootstrapping problem is largely a
> solved problem by the major vendors.
Debian is special because GNAT is typically built from a different GCC
release than the rest of the distribution because two Ada transitions
in a single release cycle are a bit
* Jonathan Wakely:
> On 17 November 2013 18:25, Dominic News wrote:
>> In the following code (from xorg-server)
>>
>> if (a == 0)
>> addr = 0;
>> (...)
>> memset(addr, '\0', a);
>>
>> the path for a==0 is turned into a trap by -fisolate-erroneous-paths. (Is
>> calling memset li
* Jeff Law:
>> Is this new in C11? Does it apply to functions such as strnlen as well?
> No, it's C99 I think. There was a clarification which came in after
> C99 which clarified that even if the length is zero, the pointers must
> still be valid.
Okay, I found the language in sections 7.1.4 a
* Nathan Sidwell:
> Targeting PTX, an ISA for use with a single manufacturer's devices, is
> not different from targeting the other single-manufacturer ISAs that
> GCC already supports.
The GCC licensing exception explicitly permits targeting virtual
instruction sets, which (to me at least) stron
id=44715>.
I think it's fine to reject such code.
--
Florian Weimer / Red Hat Product Security Team
, but nobody really seems to
know what's in it. (It seems that some operations are allowed to be off
by an ulp or more, for instance, which I find rather surprising.)
--
Florian Weimer / Red Hat Product Security Team
the arg -> "%s", arg
transformation unconditionally in the compiler, rendering
-Wformat-security pointless. Which is a bit disappointing.
--
Florian Weimer / Red Hat Product Security Team
objections to changing it to "this warning is enabled by default"
or "warning enabled by default"? Or is that too verbose?
We should show the flag that enables the warning, so that users can use
the -Wno- variant to disable it if they want. Or does "enabled by
defau
ll C++ code and vice versa, so it's difficult
to consider each language in isolation.
--
Florian Weimer / Red Hat Product Security Team
would be fine.
--
Florian Weimer / Red Hat Product Security Team
. I even think you shouldn't link
against the library unless you actually create threads.
--
Florian Weimer / Red Hat Product Security Team
even though I passed --disable-mudflap to
./configure), and no other tests are attempted. This is on x86_64,
Fedora 17.
Is there currently a way to run only parts of the test suite? If yes,
what's the correct make command line?
--
Florian Weimer / Red Hat Product Security Team
t clear to me, thanks. After some fiddling, I figured out that
make check-g++ RUNTESTFLAGS="dg.exp=vla*.C"
did the trick for me (that is, no path in the .exp file and the glob
pattern).
--
Florian Weimer / Red Hat Product Security Team
* Iain Buclaw:
> I've have received news from Walter Bright that the license of the D
> frontend has been assigned to the FSF. As the current maintainer of
> GDC, I would like to get this moved forward, starting with getting the
> ball rolling. What would need to be done? And what are the processe
requires
piping the addresses through addr2line).
--
Florian Weimer / Red Hat Product Security Team
first
stage compiler.)
--
Florian Weimer / Red Hat Product Security Team
error message you get when you try to compile a program
which uses type inference in non-C++11 mode. Trunk and 4.7.1 still
crash on this example program.
Andreas, would you please file a bug in Bugzilla?
--
Florian Weimer / Red Hat Product Security Team
ly testing the patch, but does it handle inline
functions? ("addr2line -i" can print multiple source locations for a
single stack frame.)
Support for /usr/lib/debug would be desirable, too.
--
Florian Weimer / Red Hat Product Security Team
ld Ada (but I'm not sure if you can get a callback
when an unhandled exception is raised *before* the stack is unwound).
--
Florian Weimer / Red Hat Product Security Team
changes to integer arithmetic will not buy us much.
(Oh, and VLAs will never be first-class types in C++, so I'm not sure if
it is a good idea to promote their use.)
--
Florian Weimer / Red Hat Product Security Team
ached seems nicer to me.
--
Florian Weimer / Red Hat Product Security Team
401 - 500 of 760 matches
Mail list logo