similar to: [LLVMdev] Questions bout the Steensguard AA Pass in rDSA

Hi Criswell, Thanks for the reply. I am looking for a pass for the intra-procedural alias analyzing, as i am working on multithreaded debugging and looking for a way to pick up instructions from different threads accessing the same global variable, and is Steensguard workable for this scenario? or any other suggestions? I also find that the "rDSA" folder is not included in the Makefile,

@John: Since rDSA hasn't been used in ages, perhaps it's time we deleted it from the repository? It'll live on in SVN glory forever for interested parties, and will avoid some of the confusion about its purpose. Additionally, we probably shouldn't have entire directories of dead code in mainline O:). Given these reasons: mind if I remove it from trunk? ~Will On Sun, Jun 15,

Dear All, I am trying to use DataStructure Alias Analysis. From the code at poolalloc it seems that rDSA needs to be compiled to get -ds-aa feature while the Makefile builds just the DSA. Please correct me if I am doing something wrong. Thanks, Manish -------------- next part -------------- An HTML attachment was scrubbed... URL:

On 10/1/11 11:01 PM, Manish Gupta wrote: > Dear All, > > I am trying to use DataStructure Alias Analysis. From the code at > poolalloc it seems that rDSA needs to be compiled to get -ds-aa > feature while the Makefile builds just the DSA. I seem to recall replying to this, but my email client says I didn't, so I'm responding again. :) The rDSA code is some experimental

Hi, I was looking at the LLVM's alias analysis documentation (http://llvm.org/docs/AliasAnalysis.html#exist) and it seems that poolalloc has ds-aa and steens-aa. However, I followed the instructions to use these passes, but I wasn't able to use them. Also, I found this: http://old.nabble.com/DSA-or-rDSA---td32576486.html saying that they were removed from poolalloc. Is that true? If so,

On 4/13/12 1:02 PM, Douglas do Couto Teixeira wrote: > Hi, > > I was looking at the LLVM's alias analysis documentation > (http://llvm.org/docs/AliasAnalysis.html#exist) and it seems that > poolalloc has ds-aa and steens-aa. However, I followed the > instructions to use these passes, but I wasn't able to use them. Also, > I found this:

2011/10/14 John Criswell <criswell at illinois.edu>: > Just out of curiosity, are people interested in using DSA via the > AliasAnalysis interface? John, I am interested, too! ...when all issues would go away ;) ...Takumi

Hello, I have tried a lot fix this error but am not able to can you please find me a solution am trying to compile the SAFECode in Cygwin Environment to work for windows. used make -j4 command to make the files in cygwin i have got this error make[5]: Leaving directory '/home/uidr7475/Work/LLVM_OBJ/projects/safecode/tools/clang/include' /usr/bin/cp: cannot stat

Anton, please add release_32 also in; clang-tools-extra compiler-rt dragonegg libcxxabi lldb They have release_32 in svn. I don't know they might be released, though. And, could you suppress generating refs/heads/svn-tags and prune them for now? I am sure that orphan branches will stress the llvm.org server to begin git-pack-ing whole tree. ...Takumi 2012/11/15 Anton Korobeynikov

> I can't find any release_32 branch at http://llvm.org/git/llvm.git or http://llvm.org/git/clang.git. Unfortunately, this requires manual grafting, since git-svn does really bad job here. I'm going to work on this tonight. -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University

Should be there On Fri, Nov 16, 2012 at 3:00 PM, NAKAMURA Takumi <geek4civic at gmail.com> wrote: > Anton, please add release_32 also in; > > clang-tools-extra > compiler-rt > dragonegg > libcxxabi > lldb > > They have release_32 in svn. I don't know they might be released, though. > > And, could you suppress generating refs/heads/svn-tags and prune them

Should be there. Please let me know if there are any problems with them On Wed, Nov 14, 2012 at 9:19 PM, Anton Korobeynikov <anton at korobeynikov.info> wrote: >> I can't find any release_32 branch at http://llvm.org/git/llvm.git or http://llvm.org/git/clang.git. > Unfortunately, this requires manual grafting, since git-svn does > really bad job here. > > I'm going

Hi all, I've been using LLVM in my software analysis projects for quite a few years now, and several years back I relied on results of DSA analysis in my SMACK tool for checking C programs. At some point that part of SMACK got deprecated, but now I would like to revisit it since it was working quite well. Therefore, I would like to learn what's the status of the poolalloc project, and

Greeting. I am working on one DSA related project. Got several questions about LLVM's DSA analysis: 1. I looked through the llvm doc, it seems "-ds-aa" option is the one I should use. (http://llvm.org/docs/AliasAnalysis.html#the-ds-aa-pass). however based on the poolalloc's svn history, this option was removed on (or before) 2011. May I know why this one was removed ? and is

The LLVM 3.2 release is winding down, and that means release notes! There are two pieces to this. First, if you're an external LLVM user, we'd like to list you as such in the release notes. This is a great way to get some free advertisement. The section is here: http://llvm.org/viewvc/llvm-project/llvm/branches/release_32/docs/ReleaseNotes.html?revision=HEAD#externalproj Please email

We have branched for the 3.2 release! Some "sticky reminders": You can get all of the 3.2 code from the appropriate .../branches/release_32/ You can track state of the 3.2 release through so called "Umbrella bug" : http://llvm.org/bugs/show_bug.cgi?id=13893 Hopefully it will not "rain bugs" on us and we will not need it that much! After branching all patches

I.e., I see this when I run `git fetch`: ``` $ git fetch -v llvm.org From http://llvm.org/git/llvm = [up to date] master -> llvm.org/master = [up to date] release_1 -> llvm.org/release_1 = [up to date] release_16 -> llvm.org/release_16 = [up to date] release_20 -> llvm.org/release_20 = [up to date] release_21 -> llvm.org/release_21 = [up to date]

Dear Pawel and All, Pawel (and other release managers), can you ask the project maintainers for each project whether they want a release branch before creating it next time? Alternatively, can you leave branch creation up to the project maintainers as in the past? Pawel, you created a release_32 branch of SAFECode last night without my consultation. That commit itself is fine since we just

Hi, all I want to use the alias analysises in project poolalloc, but I encounter some problem during installing it. I install poolalloc as follow: 1) cd llvm/projects svn co http://llvm.org/svn/llvm-project/poolalloc/branches/release_32 poolalloc 3) cd LLVM-object-directory make tools-only cd projects/poolalloc make When I carried out "make", I get the next error

Hi, I'm trying to compile release 3.2 of DragonEgg (checked out from http://llvm.org/svn/llvm-project/dragonegg/branches/release_32. I'm at revision 170458), under Ubuntu (Ubuntu 12.04.1 LTS (GNU/Linux 2.6.39-gcg-20121018 x86_64)) and I get the following error. tmroeder at myubuntu:~/src/dragonegg$ make Compiling utils/TargetInfo.cpp Linking TargetInfo Compiling Aliasing.cpp