SOOL Hashes

2021-04-26 Thread Aaron Gray via Gcc
a712557bc4d071895a30d5691395661c15d40f738e7090ea8ffc923e20d746ac2177374146a5699512a3a9f1d6e576ad4b070a78233d01ec9493f88e8564a198
 SOOL Presentation - in depth.pdf
532f84ce40ed291d7c00b3714904300c2bd538f836cb3bdf5b28003eb0c19ebdcf1f9faf0fabf8a3be6ecc6f7c29cfedd67464e467f98742445e0b2d555145d0
 SOOL Presentation - in depth.pptx
74294b176de8f4826e5881459de03c3f0f97da2896a5ab0075622baf4db68add8d8d580e6426523de3648cc9acdb89255142d3d473e5945ca2091915d91e71c9
 SOOL Presentation.pdf
7269bb7092991501f63631f548d4838bd8845645366bfd52fba452f3dbf470c3d0cd5194829b93789f74080884261eb9a6808aac7a98f73b0e0243cc0f1bd652
 SOOL Presentation.pptx

-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language
Researcher, Information Theorist, and Computer Scientist.


Wanted: original ConceptGCC downloads / branch, concepts-lite branch

2022-08-17 Thread Aaron Gray via Gcc
Hi,

I am looking for the original ConceptGCC source code, the
https://www.generic-programming.org/software/ConceptGCC/download.html has
all broken links and the SVN is gone.

Is this available on GCC git or SVN ?

Also I am wondering if the original concepts-lite code is available too
anywhere please ?

Also any pointers to the documentation for the current implementation ?

Regards,

Aaron
-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language Researcher,
Information Theorist, and Computer Scientist.


Re: Wanted: original ConceptGCC downloads / branch, concepts-lite branch

2022-08-17 Thread Aaron Gray via Gcc
On Wed, 17 Aug 2022 at 13:16, Ben Boeckel  wrote:
>
> On Wed, Aug 17, 2022 at 12:42:42 +0100, Aaron Gray via Gcc wrote:
> > I am looking for the original ConceptGCC source code, the
> > https://www.generic-programming.org/software/ConceptGCC/download.html has
> > all broken links and the SVN is gone.
> >
> > Is this available on GCC git or SVN ?
>
> There is this repo that may be of interest:
>
> https://github.com/asutton/gcc
>
> No idea of the state of it though or how useful it is for C++20
> Concepts.

Thanks this from 2018

Aaron
-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language
Researcher, Information Theorist, and Computer Scientist.


Re: Wanted: original ConceptGCC downloads / branch, concepts-lite branch

2022-08-17 Thread Aaron Gray via Gcc
>>> Also I am wondering if the original concepts-lite code is available too
>>> anywhere please ?
>>
>>
>> Define "original".

a post ConceptGCC, GCC branch implementation ?

>> Andrew Sutton's Concepts Lite implementation was merged into GCC trunk, and 
>> evolved to also support C++20 concepts.

Great thought so !

> I think it was merged in August 2015 and first released in GCC 6.1

I am just trying to get an overview of the implementation history, and
code bases.

Many thanks,

Aaron
-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language
Researcher, Information Theorist, and amateur Computer Scientist.


C++ Concepts: Working Paper n number ?

2022-08-17 Thread Aaron Gray via Gcc
Hi, Another query please.

I seem to have found the Concepts Technical Specification :-

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3929.pdf

But am looking for the n number of the C++ Concepts Working Paper ?

Many thanks in advance,

Aaron
-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language Researcher,
Information Theorist, and Computer Scientist.


Re: Wanted: original ConceptGCC downloads / branch, concepts-lite branch

2022-09-04 Thread Aaron Gray via Gcc
Great, thanks alot !

On Wed, 17 Aug 2022 at 21:23, Jonathan Wakely  wrote:
>
>
>
> On Wed, 17 Aug 2022, 16:20 Richard Earnshaw via Gcc,  wrote:
>>
>>
>>
>> On 17/08/2022 12:42, Aaron Gray via Gcc wrote:
>> > Hi,
>> >
>> > I am looking for the original ConceptGCC source code, the
>> > https://www.generic-programming.org/software/ConceptGCC/download.html has
>> > all broken links and the SVN is gone.
>> >
>> > Is this available on GCC git or SVN ?
>> >
>> > Also I am wondering if the original concepts-lite code is available too
>> > anywhere please ?
>> >
>> > Also any pointers to the documentation for the current implementation ?
>> >
>> > Regards,
>> >
>> > Aaron
>>
>> Not withstanding what others have already said, the various concepts
>> branches are still in the git repository, but aren't in the standard
>> pull set.  You can use git fetch to explicitly pull them:
>>
>> d743a72b52bcfaa1effd7fabe542c05a30609614refs/dead/heads/c++-concepts
>>
>>
>
>
> This is "concepts lite".
>
>
>> 780065c813a72664bd46a354a2d26087464c74fc
>> refs/dead/heads/conceptgcc-branch
>>
>>
>
>
> I think this was Doug Gregor's work, but I don't know how much of ConceptGCC 
> is present on the branch.
>
>
>> ce85971fd96e12d0d6675ecbc46c9a1884df766c
>> refs/dead/heads/cxx0x-concepts-branch
>> 14d4dad929a01ff7179350f0251af752c3125d74
>
>
>
> This is described at https://gcc.gnu.org/git.html as:
>
> "This branch contains the beginnings of a re-implementation of Concepts, a 
> likely future feature of C++, using some of the code from the prototype 
> implementation on conceptgcc-branch. It is not currently maintained."
>
> I don't know who did this work, check the git history.



-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language
Researcher, Information Theorist, and amateur computer scientist.


Re: C++ Concepts: Working Paper n number ?

2022-09-04 Thread Aaron Gray via Gcc
Wonderful, thank you !

On Wed, 17 Aug 2022 at 22:04, Jonathan Wakely  wrote:
>
>
>
> On Wed, 17 Aug 2022, 16:52 Aaron Gray via Gcc,  wrote:
>>
>> Hi, Another query please.
>>
>> I seem to have found the Concepts Technical Specification :-
>>
>> https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3929.pdf
>
>
>
> That's an old draft, see https://en.cppreference.com/w/cpp/experimental for 
> the ISO TS number and the draft numbers.
>
>>
>>
>> But am looking for the n number of the C++ Concepts Working Paper ?
>
>
> Do you mean C++0x Concepts? N2042, and see N2618.
>
>


-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language
Researcher, Information Theorist, and amateur computer scientist.


Issues with -Wno-format-truncation

2025-02-21 Thread Aaron Gray via Gcc
I think is an issue with GCC's buffer overflow analysis accuracy

Found an issue for it, on GCC v12.4, I am using v13.3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114374

I have found quite a lot of issues relating to this on StackOverflow
and elsewhere but no reference to it on the GCC mailing list.

Hoping this might be fixed soon, it might reduce quite a lot of noise.

https://github.com/AaronNGray/pdfalto/actions/runs/13463238846/job/37623204502#step:9:450
```
/home/runner/work/pdfalto/pdfalto/src/AnnotsXrce.cc:444:59: warning:
‘%lg’ directive output may be truncated writing between 1 and 13 bytes
into a region of size 8 [-Wformat-truncation=]
450 444 | snprintf(temp, sizeof(temp), "%lg", x);
451 | ^~~
452/home/runner/work/pdfalto/pdfalto/src/AnnotsXrce.cc:444:58: note:
assuming directive output of 12 bytes
453 444 | snprintf(temp, sizeof(temp), "%lg", x);
454 | ^
```

```
snprintf(temp, sizeof(temp), "%lg", x);
```
https://github.com/AaronNGray/pdfalto/blob/buffer-overflows/src/AnnotsXrce.cc#L444

```
char *temp = (char *) malloc(16 * sizeof(char));
```
https://github.com/AaronNGray/pdfalto/blob/buffer-overflows/src/AnnotsXrce.cc#L419

-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language
Researcher, Information Theorist, and amateur computer scientist.