libera/#clasp - IRC Chatlog
Search
13:28:45
Bike
well, i'm still staring at the analyzer code for it, but i can maybe just figure it out
13:29:06
Bike
if i want to use both the analyzer sif and the other sifs i guess i'll have to figure out how to correlate the names, since they work differently between them
13:40:03
Bike
i'd have to use the STAMP-KEY, which is "gctools::GCVector_moveable<core::T_O *>" for example
13:42:19
drmeister
Are you talking about correlating names from the scraper to the ones from the static analyzer?
13:42:55
drmeister
If so I'd say don't bother. The static analyzer gives a more complete view of the classes than you get from scraping the LISP_CLASS macros.
13:43:53
drmeister
You will need to correlate names from one static analyzer generated sif to another - but they will be identical.
13:45:34
Bike
well, i was thinking of the stuff we were talking about where was verify that the info from both matches
14:12:17
drmeister
I haven't put the time into the lldb extension. I put a lot of time into udb and udb doesn't work with this code.
14:13:04
drmeister
udb doesn't work with jitted code - it takes forever to startup. As in I've never seen cando startup under udb
14:13:42
drmeister
So I've got to put time into the lldb external debugging interface to get it working.
14:16:38
drmeister
gdb has become useless to me over the last couple of months and so has udb because it's built on gdb.
14:17:31
drmeister
On linux, however, lldb and llvm have developed the ability to see source code of jitted code.
14:18:11
drmeister
Meanwhile ccando-boehmprecise is crashing while it's starting up. It's crashing very, very deep in ASDF.
14:20:03
drmeister
The gdb/udb problem is something to do with the jit code registration facility. gdb is too eager and it gets bogged down.
14:26:58
Bike
yeah, it's truename signaling an error, which i think will mostly happen if the file doesn't exist
14:28:29
Bike
course that doesn't help much if you can't get the pathname. i guess subdir might be it
14:31:51
Bike
i think at this level it's pretty much calling posix functions, which are case sensitive unless i'm mistaken
14:43:54
drmeister
But that's not on the stack. I know I reported that above (and forgot about it). The stack doesn't show any recursion.
14:44:29
Bike
if you hooked in the debugger before the error is signaled, you hit the breakpoint on lisp_error, rather than the later segfault
14:45:06
attila_lendvai
ACTION has a vague memory of porting his nested error handling from sbcl to clasp. it may have been a forgotten PR, or merely a plan...
14:45:06
Colleen
attila_lendvai: drmeister said at 2021.06.01 15:36:39: I think Clasp is an excellent tool to work with LLVM - it won't be completely safe though - expect segfaults because you can do things with LLVM in C++ memory that aren't safe. Clasp is currently up to date with LLVM13 tip-of-trunk as of about two months ago.