FForge
← Labsir-01IR and the pipeline●●○○

Follow a C bug down the pipeline: IR, bitcode, debugify, llc, gdb

ir/lesson1_nullstore.c
evidence to leave with
gdb maps the fault to a real C line (Track A) and to an IR instruction ordinal (Track B)
read the source · ir/lesson1_nullstore.c
int deref_and_store(int *p) { *p = 42; /* faults here when p == NULL */ return *p; } int main(void) { int *p = 0; /* null pointer */ return deref_and_store(p); }
◇
Finish the lab: write the evidence note

A lab is done when you can say what it showed on your machine — not when you have read it.