vast
vast copied to clipboard
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or furth...
### Prerequisites - [X] I have read the documentation and the proposed feature is not implemented. ### Description It would probably be better if we would walk over users of...
### Prerequisites - [X] I have read the documentation and the proposed feature is not implemented. ### Description The `PyInquirer` dependency is unmaintained and outdated. Currently it doesn't work at...
### VAST version master ### LLVM version 17 ### Operating system all ### Description Current DCE eliminates everything after terminator. This is however not correct as some code can be...
``` vast-front -cc1 -triple x86_64-unknown-linux-gnu -emit-llvm test.c ``` On mac fails with `error: backend data layout does not match expected target description`. Generated module has: `target triple = "x86_64-apple-darwin22.6.0"`
### VAST version clang version 17.0.2 Target: x86_64-unknown-linux-gnu Thread model: posix ### LLVM version 17.0.2 ### Operating system ubuntu 22.04 Linux e08865a10ab8 4.15.0-213-generic ### Description I compiled VAST using the...
### VAST version master ### LLVM version 17 ### Operating system macos ### Description The conversion will fail as the array will be represented as `memref` type and the data...
### Prerequisites - [X] I have read the documentation and the proposed feature is not implemented. ### Description Integrate reasonable tests from https://github.com/llvm/llvm-test-suite/tree/main/ABI-Testsuite/test
### VAST version master branch ### LLVM version 17.0.6 ### Operating system ubuntu 23.10 ### Description ``` ==40606==WARNING: MemorySanitizer: use-of-uninitialized-value #0 0x5587e4ecad04 in vast::cc::diagnostics_options::diagnostics_options(llvm::ArrayRef) driver.cpp #1 0x5587e4ec85d6 in vast::cc::errs_diagnostics::errs_diagnostics(llvm::ArrayRef, std::__cxx11::basic_string...
### VAST version master ### LLVM version 17 ### Operating system macos ### Description If C++ standard is passed for `.c` source `vast-front` does not produce error to the user...
### Prerequisites - [X] I have read the documentation and the proposed feature is not implemented. ### Description There is no need to have this (any really) type converter in...