Peter Goodman

Results 339 comments of Peter Goodman

A function annotated to return a `zext` integer should produce a return value type of an unsigned integer, and a function annotated to return a `sext` integer should produce a...

Here's a possible, albeit ugly fix. Really, the way the code interprets `generated` from the parser is completely broken, but I only wanted to make minimal changes. ```c++ bool GenerateCppGRPC(const...

One random point of interest: I've observed some glibcs selectively jump after the `lock` prefix on a `lock cmpxchg`, i.e. some paths go prefixed while others go to the unprefixed...

`--remove_phi_nodes` and `--lower_switch` were used.

Another example, with simpler bitcode: ```llvm ; ModuleID = '/tmp/challenge-3/program_c/src/gpio.ll' source_filename = "gpio.c" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-pc-linux-gnu-elf" %struct.pin_type = type { i32, i32, i32, i32, i32...

I think the issue is this: ``` = addrspacecast i8 addrspace(256)* null to i8* ``` I don't know why its a ``, but address space casts are unsupported. We should...

I don't want values -> decls, I want clang decls -> llvm decls ;-) But maybe this is it? If this is it, then please embed it in the return...

Also, if you can make it work for `VarDecl`s that are parameters and local vars then that'd be great too! That might need another map?

What is need is for all the provenance maps to be returned through the API, and if you pre-initialize bi-directional maps then that'd be even nicer :-)

You can track the progress of this work here: https://github.com/trailofbits/fcd