Hi, In the LLVM documentation it says "there can only be one call to llvm.dbg.declare for a given concrete local variable." However we don't seem to be checking it. opt tool can process IR that violates this rule without complaining. Is this intended, or is it a bug? What would be the consequence when this constraint is broken? -- Xun