search for: nihilo

...rm the LLVM community. > While I have no way to compel you to believe me, I really really do want > the LLVM community to be vibrant and awesome, and it makes me sad that you > apparently assume otherwise. > > -Chris I don't read it as "nefariously harm" so much as ex-nihilo asserting a Foundation exists and has some kind of control over the community (e.g., insisting on a CoC). Even if we all believe those in control are entirely benevolent (and I see no evidence to the contrary), it's still pretty disconcerting in terms of process. --paulr > > ________...

...w my phrasing raised a red flag. The original version of the algorithm I'm looking at was designed to analyze C source code, not LLVM IR. I'm in the process of adapting its dataflow equations for IR. The algorithm assumes that a correct C program can't just compute pointer values *ex nihilo*; that they can only by obtained from certain syntactic structures like variable declarations, or calls to *malloc*, or pointer literals. The AA algorithm reckons that dereferencing a runtime value obtained by some other mechanism is so likely to be a bug, that they can skip worrying about it. Th...

...obably also be mentioned in some *.Rd >> files. KH> Again, I am not entirely convinced yet. you are right, me neither anymore.. We should discuss this some more KH> Why does adding two empty objects give something non-NULL? To me, KH> this seems to violate `nihil nihilo fit' (the ``no-arbitrage KH> condition''). I think the paradigm is NULL := list of length 0 + is sometimes coerced to vector of length 0 ~~~~~~~~~ real(0) := numeric(0) = numeric vector of length 0 The real point of discussion is: ---------------------------...

Hallo Juergen, hoffe das ich Dich auf diesemm Wege ausfindigig gemacht habe. Wenn Du der Richtige bist (aus Salzgitter), dann melde Dich doch mal. Grüße von Familie Horak

Hi all, I'm playing around with implementing an existing non-LLVM AA algorithm as an LLVM AA pass. I'm looking for suggestions for getting it to fit in AliasAnalysis's worldview, so that it might eventually be a candidate for inclusion in LLVM. The algorithm maintains a may-point-to graph. Unfortunately the algorithm doesn't delete an "A-->B" edge when there's

On 5 May 2016 at 23:31, Chris Lattner <clattner at apple.com> wrote: > Code owners are the leaders in the LLVM community, and driving/guiding the community *is* what they signed up for. If we need to refine the wording around that, then lets do that. This is what *I* signed up for, and I try to do my best. But I know people that didn't. I think we should refine the wording. >

On 6/17/20 8:06 AM, Simon Matter via CentOS wrote: >> Hi, >> >> I just read this blog article from austrian Linux expert Michael Kofler. >> For >> those among you who don't know the guy, he's my home country's number one >> Linux >> expert (known as "der Kofler") and most notably the author of a series of >> excellent books