Breakpoints show up as Unverified (hollow gray circle) in lldb-dap

[JDevlieghere]

I'm debugging lldb from VSCode, using lldb-dap from current ToT:

(lldb) version
lldb version 20.0.0git (git@github.com:llvm/llvm-project.git revision de1a1c4cfb5a8c3fc47194275fcc8fc48b7cbbf9)
  clang revision de1a1c4cfb5a8c3fc47194275fcc8fc48b7cbbf9
  llvm revision de1a1c4cfb5a8c3fc47194275fcc8fc48b7cbbf9

I set a breakpoint on Driver.cpp:786 (SBDebugger::PrintDiagnosticsOnError();). The breakpoint is hit, yet Visual Studio code still show it as "Unverified". Using breakpoint list I can confirm that the breakpoint was indeed resolved and hit:

(lldb) breakpoint list
Current breakpoints:
1: file = '/Users/jonas/llvm/llvm-project/lldb/tools/driver/Driver.cpp', line = 786, exact_match = 0, locations = 1, resolved = 1, hit count = 1
  Names:
    dap

  1.1: where = lldb`main + 1596 at Driver.cpp:786:3, address = 0x00000001007b07ac, resolved, hit count = 1 

The Breakpoints window shows the breakpoint as Unverified:

The icon is hidden by the current line icon, but after stepping over the same thing is visible in the gutter:

[JDevlieghere]

Interestingly, if I set another breakpoint while attached, the new breakpoint, as well as existing breakpoints resolve right away.

[vogelsgesang]

Might be interesting to look at the lldb-dap log (see https://lldb.llvm.org/resources/lldbdap.html#debugging-the-debug-adapter-protocol) and see if lldb-dap is confirming the breakpoint to be resolved

[JDevlieghere]

Yes, the log shows that "verified":true and indeed, resending the request by setting a new breakpoint fixes the issue. It only happens when you set a breakpoint before lldb-dap is running.

[JDevlieghere]

Here are the relevant parts of the log:

--> 
Content-Length: 543

{"command":"initialize","arguments":{"clientID":"vscode","clientName":"Visual Studio Code","adapterID":"lldb-dap","pathFormat":"path","linesStartAt1":true,"columnsStartAt1":true,"supportsVariableType":true,"supportsVariablePaging":true,"supportsRunInTerminalRequest":true,"locale":"en","supportsProgressReporting":true,"supportsInvalidatedEvent":true,"supportsMemoryReferences":true,"supportsArgsCanBeInterpretedByShell":true,"supportsMemoryEvent":true,"supportsStartDebuggingRequest":true,"supportsANSIStyling":true},"type":"request","seq":1}
<-- 
Content-Length: 1323

{"body":{"completionTriggerCharacters":["."," ","\t"],"exceptionBreakpointFilters":[{"default":false,"filter":"cpp_catch","label":"C++ Catch"},{"default":false,"filter":"cpp_throw","label":"C++ Throw"},{"default":false,"filter":"objc_catch","label":"Objective-C Catch"},{"default":false,"filter":"objc_throw","label":"Objective-C Throw"},{"default":false,"filter":"swift_catch","label":"Swift Catch"},{"default":false,"filter":"swift_throw","label":"Swift Throw"}],"supportTerminateDebuggee":true,"supportsCompletionsRequest":true,"supportsConditionalBreakpoints":true,"supportsConfigurationDoneRequest":true,"supportsDelayedStackTraceLoading":true,"supportsDisassembleRequest":true,"supportsEvaluateForHovers":true,"supportsExceptionInfoRequest":true,"supportsExceptionOptions":true,"supportsFunctionBreakpoints":true,"supportsGotoTargetsRequest":false,"supportsHitConditionalBreakpoints":true,"supportsLoadedSourcesRequest":false,"supportsLogPoints":true,"supportsModulesRequest":true,"supportsProgressReporting":true,"supportsRestartFrame":false,"supportsRestartRequest":true,"supportsRunInTerminalRequest":true,"supportsSetVariable":true,"supportsStepBack":false,"supportsStepInTargetsRequest":false,"supportsValueFormattingOptions":true},"command":"initialize","request_seq":1,"seq":0,"success":true,"type":"response"}
--> 
Content-Length: 296

{"command":"launch","arguments":{"type":"lldb-dap","request":"launch","name":"Debug","program":"/Users/jonas/llvm/build-ra/bin/lldb","args":[],"env":[],"cwd":"/Users/jonas/llvm/llvm-project","__configurationTarget":6,"__sessionId":"37f73442-68ca-4fbb-899c-a69c93f4c395"},"type":"request","seq":2}
<-- 
Content-Length: 77

{"command":"launch","request_seq":2,"seq":0,"success":true,"type":"response"}
<-- 
Content-Length: 165

{"body":{"isLocalProcess":true,"name":"/Users/jonas/llvm/build-ra/bin/lldb","startMethod":"launch","systemProcessId":86714},"event":"process","seq":0,"type":"event"}
<-- 
Content-Length: 46

{"event":"initialized","seq":0,"type":"event"}
--> 
Content-Length: 233

{"command":"setBreakpoints","arguments":{"source":{"name":"Driver.cpp","path":"/Users/jonas/llvm/llvm-project/lldb/tools/driver/Driver.cpp"},"lines":[795],"breakpoints":[{"line":795}],"sourceModified":false},"type":"request","seq":3}
<-- 
Content-Length: 295

{"body":{"breakpoints":[{"column":10,"id":1,"instructionReference":"0x100004948","line":801,"source":{"name":"Driver.cpp","path":"/Users/jonas/llvm/llvm-project/lldb/tools/driver/Driver.cpp"},"verified":true}]},"command":"setBreakpoints","request_seq":3,"seq":0,"success":true,"type":"response"}

[fireplusteam]

The same is true for swift projects,
at the launch lldb-dap sends verified: false and then after I stopped on a breakpoint and reset a breakpoint, then verified is sent true from lldb-dap

[da-viper]

@JDevlieghere I am not able to reproduce this issue. Not sure I am doing it right.

This is what I did.

• Set the breakpoint in vscode editor.
• Set it on a function.
• start the the debugger.

If it is not working then there will not be a red dot in the breakpoint page in vscode ?

[JDevlieghere]

After debugging this, I discovered that this is a macOS-specific issue, with how we report breakpoints as unresolved at program entry.