Skip to content

[PDG] Arguments and returns not correctly connected with external functions in certain cases. #95

@JustusAdam

Description

@JustusAdam

Here is the code I tried

fn main() -> u32 {
    id(create())
}

// external 
fn create() -> u32;
fn id<T>(t: T) -> T;

I would have expected this to create a PDG return@create -> arg[0]@id -> return@id -> return@main but instead it creates this

Screenshot 2024-02-16 at 3 56 37 PM

The input of id is for some reason not connected to anything, but its parent is connected to its return? This is very strange.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions