similar to: [LLVMdev] ACATS

Andre Tavares wrote: > Can someone tell me how to use ACATS? I have searched for documentation, > but found none. The ACATS is here: http://www.ada-auth.org/acats.html including various documentation. It stands for "Ada Conformity Assessment Test Suite". - Bob

Duncan Sands wrote: > Hi Andre, > > >> In file included from ../../gcc/llvm-backend.cpp:23: >> ../../gcc/llvm-internal.h:31: fatal error: vector: No such file or directory >> compilation terminated. >> > > line 31 of llvm-internal.h is: > > #include <vector> > > so if that's failing then your C++ compiler is somehow borked. >

Hello, I have written a LLVM pass for strongly typed languages. My pass implements the ABCD algorithm. I'm not going to get into what is ABCD, since it has been discussed here. I would like to test it, and on my proposal Duncan Sands told me to use Ada ACATS. Can someone tell me how to use ACATS? I have searched for documentation, but found none. Thanks, -- Andre Tavares Master

Dear Duncan, thank you for the prompt reaction! Quoting Duncan Sands <baldrick at free.fr>: > Hi Enrico, did you follow the instructions here > http://llvm.org/docs/GCCFEBuildInstrs.html#ada > to build llvm-gcc with Ada support? Yes. I succesfully followed the instructions to build the LLVM Ada f-e. > If by 2.5 you mean LLVM-2.5 I suggest you use something more recent,

I'm having problems building llvm-gcc for Ada, which may or may not be similar to the trouble Andre was having recently. I'm trying to build it on Fedora 10 (32-bit), using the instructions on the web site. The make terminates with a gnatbind error: gcc -c -g -O2 -gnatpg -gnata -I- -I. -Iada -I../../llvm-gcc-4.2/gcc/ada ../../llvm-gcc-4.2/gcc/ada/gnat1drv.adb -o ada/gnat1drv.o

Hi Eric, > I'm having problems building llvm-gcc for Ada, which may or may not be > similar to the trouble Andre was having recently. I'm trying to build > it on Fedora 10 (32-bit), using the instructions on the web site. The > make terminates with a gnatbind error: > > gcc -c -g -O2 -gnatpg -gnata -I- -I. -Iada > -I../../llvm-gcc-4.2/gcc/ada

Duncan Sands wrote: > Hi Andre, > >> my g++ is broken, but I used g++-4.3 and it worked. Unfortunately there >> is another problem. If I compile with llvm-gcc the ali file resulting >> says V "GNAT Lib v4.2" on the first line. > > yes, that's because llvm-gcc is based on gcc 4.2. > > So it compiled version 4.2 and >> so gnatbind and gnatlink

Hi Enrico, did you follow the instructions here http://llvm.org/docs/GCCFEBuildInstrs.html#ada to build llvm-gcc with Ada support? > To this extent I compiled the Ada f-e from source (v. 2.5). If by 2.5 you mean LLVM-2.5 I suggest you use something more recent, for example LLVM-2.7. > However, while trying to compile a simple HelloWorld example I get several > errors dealing with

Dear all, I'm trying to exploit the LLVM framework to optimize my Ada programs. To this extent I compiled the Ada f-e from source (v. 2.5). However, while trying to compile a simple HelloWorld example I get several errors dealing with undefined references (while invoking LLVM on hello). Arguably I missed something on the right way to use the LLVM tools with Ada sourcecode. I would really

Hi Andre, > In file included from ../../gcc/llvm-backend.cpp:23: > ../../gcc/llvm-internal.h:31: fatal error: vector: No such file or directory > compilation terminated. line 31 of llvm-internal.h is: #include <vector> so if that's failing then your C++ compiler is somehow borked. How did you arrange to use the right gcc for the build? Maybe that's getting in the way of

Is there a problem with the svn server. When I try a: svn co http://llvm.org/svn/llvm-project/llvm-gcc-4.0/trunk/gcc llvm-gcc-4.0.try2/gcc I keep getting errors similar to those below, but at a different file each time. svn: In directory 'llvm-gcc-4.0.try2/gcc/testsuite/ada/acats/tests/l' svn: Error processing command 'modify-wcprop' in

Duncan Sands wrote: > Hi Andre, > > >> I'm trying to build LLVM-gcc to compile Ada. >> > > excellent! > > But I'm having a few problems. > > Oops :( > > >> Now when I ran make I get an error that for me it seams very weird. >> >> ../../gcc/c-format.c: In function 'set_Wformat': >> ../../gcc/c-format.c:48: error:

If running ASan on the host architecture, we can symbolize output with: export LLVM_SYMBOLIZER_PATH=`which llvm-symbolizer` ./myInstrumentedProgram but on Android symbolizing is more complex. The bash script below is a "hello world" for symbolizing ASan output on Android. Is there a simpler way to do this? # Execute the test and save its output adb push

> Does %run support ssh-based testing? Yes, %run is configured by the user. I configure it to call a shell script that calls qemu-arm. It could just as easily ssh or "adb push && adb shell". -Greg On Wed, Apr 16, 2014 at 11:44 PM, Yury Gribov <y.gribov at samsung.com> wrote: > Greg, > > >> Clever, but I hope we can try to avoid the symlink hackery.

Hi all, I thought y''all might be interested in seeing a newly released website named Soapbox which was written in Rails. Soapbox features reviews of products, businesses, services, and anything else you can think of written by the people *you* care about. http://soapboxit.com Thanks! Duff OMelia -- Posted via http://www.ruby-forum.com/.

On Wed, Oct 30, 2013 at 2:08 PM, Greg Fitzgerald <garious at gmail.com> wrote: > If running ASan on the host architecture, we can symbolize output with: > > export LLVM_SYMBOLIZER_PATH=`which llvm-symbolizer` > ./myInstrumentedProgram > > but on Android symbolizing is more complex. The bash script below is > a "hello world" for symbolizing ASan output

Thanks for letting me know that this is in the works. This is something that would make running ASan (and all other sanitizers I assume) quite a bit more appealing on Android. If there's anything I can do to help, please let me know. If you'd like to discuss in person, I'll be at the Developers' Meeting next week. -Greg On Thu, Oct 31, 2013 at 1:58 PM, Alexey Samsonov

Dan/Daniel/Eric, I'm testing a bare-metal ARM toolchain, and I've hacked up my local copy of lit to get it to run libcxx tests on qemu. I wanted to pick your collective brains to see if there was a better way of doing this. What I have implemented is here (don't take this as a formal review request, we can do that later once we figure out the best direction to go): lit part:

Hi - daft one for Friday morning coffee break: I have been trying to mount floppies on a couple of CentOS5 servers - the usual "mount /dev/fd0 /mnt/floppy" (yes, /mnt/floppy exists!). On both servers, the mount command just doesn't come back and I have to hit CTRL-C. I have tried different media and also changed the floppy drive on one server, /dev/fd0 is seen as present on both

On Jan 17, 2017, at 1:37 AM, Darren Tucker <dtucker at zip.com.au> wrote: > On Tue, Jan 17, 2017 at 8:05 PM, Romain Vimont <rom at rom1v.com> wrote: > [..] >> So if I understand correctly, making "ssh -D" create a "full" SOCKS5 >> server, including UDP relay?, would require to add a new SSH request >> type (like "relay-udp")? >