Mikhail R. Gadelha
Mikhail R. Gadelha
Should we remove them from this year's competition? @dbeyer suggested: _Non-fixable programs are to be moved to a directory -todo._ I believe these qualify to be removed.
I was actually taking under consideration that two tools (we and @versokova) reported memory leak in `ntdrivers/cdaudio_false-unreach-call_true-valid-memsafety.i.cil.c`, which @mchalupa reported another memory violation (deref). My assumption is that all benchmarks...
> @mikhailramalho I'm currently researching the best way to implement vtable but not sure if we should follow approach in old frontend (cpp_typecheck_virtual_table.cpp). > > Here's what I found in...
the VTableBuilder looks interesting. Em ter., 6 de set. de 2022 às 11:00, KSong ***@***.***> escreveu: > A note for future clang vtable approach: > https://clang.llvm.org/doxygen/VTableBuilder_8h.html > https://clang.llvm.org/doxygen/CXXInheritance_8h.html > >...
I've created the branch `irep2-assertions` with assertions to arithmetic and relational operations, we should add some more: - true and false branches of a ternary-if should have the same type,...
yeah, irep2 was designed to be immutable: for instance, stuff like simplification always generates new objects. We do have some things that are lazily instantiated tho, like the hash/crc. I...
using byte_extract seems reasonable. We could mitigate the performance penalty by simplifying the expression when needed, although I'm not sure if constant unions are handled correctly there. Em qui., 1...
@aj062, will the tests run if I set this PR as draft? I have a new version that still crashes, but I wanted to get some feedback from yusuke on...
~~As I mentioned in the commit message, the functions in JITCall and JITPropertyAccess don't set the CellTag because I couldn't produce a test case that needs it to be set.~~...
hey, @Constellation I addressed your comment and it's indeed a better solution. The only thing I didn't like it the following code for 32-bit systems: ``` JSValueRegsTemporary propertyTemp(this); JSValueRegs property...