flowistry

flowistry copied to clipboard

https://sourceb.in/E7E4CxfG0I Repository: https://github.com/railwayapp/nixpacks

Milo123459

Here is the code I tried ``` fn main() -> u32 { id(create()) } // external fn create() -> u32; fn id(t: T) -> T; ``` I would have expected...

JustusAdam

Entering a function causes the field-level precision to be lost if the child function does not access the fields. The following example illustrates this ```rs fn id_fun(obj: (T, G)) ->...

JustusAdam

The lifetime based alias analysis inserts on-existent dependencies when a called function's lifetime annotations claim such a dependency exists. Consider the following example ```rs fn insert_ref, t: &'t T) {}...

JustusAdam

[PDG] Strong updates to mutable references don't seem to work.

1

I tried code equivalent to this ```rs let mut user_data = Vec::new(); user_data.push(0); send(&user_data); ``` What I expected is that the vector connects to the first argument of `push` and...

JustusAdam

Fixes the parent-to-child translation of async functions. The prior code assumed that the type of the destination place an async function returns from is the same as the type of...

JustusAdam

Determine call type based on `LanguageItems`

1

This changes the way that `std::ops::Fn::call` and `std::future::Future::poll` is detected in pdg construction to use the `LangaugeItems` struct which I think is the way it's supposed to be done. In...

JustusAdam

I found there to be issues with loops where the body of the loop is not connected to either the state before or after. This PR provides a simple test...

JustusAdam

I took a stab at how I think the fake edges should be inserted. In the example that I'm looking at it inserted the incoming edge but not yet the...

JustusAdam

Flowistry 0.5.41 fails to cross-compile on Macbook M1

4

Likely this is because I'm running an x86_64 compiler but asking it to build for Apple silicon. (I've been reluctant to use a Tier 2 compiler since no CI tests...

yarrow