<div dir="ltr">Hi<div><br></div><div>I am using LLVM to help me do some code analysis. I wrote a LLVM Function Pass to help me to generate some information. I use the code below to get the source line information for every instruction. </div><div><br></div><div>for (BasicBlock &BB : F){<br></div><div>    for(Instruction &I: BB){</div><div>    DILocation* Loc =  I.getDebugLoc().get();<br></div><div>    unsigned Line = Loc->getLine()<br></div><div>    }</div><div>}</div><div><br></div><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">I think the function's first block's first instruction's source line should be the beginning of the function. Most of the functions inside the binary follow the rules. However, I found the file system.h in the coreutils-8.28 has a function like below:</span><br></div><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><br></span></div><div><span style="text-align:start;text-indent:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><div>611 static inline void</div><div>612 emit_backup_suffix_note (void)</div><div>613 {</div><div>614   fputs (_("\</div><div>615 \n\                                                                                            </div><div>616 The backup suffix is '~', unless set with --suffix or SIMPLE_BACKUP_SUFFIX.\n\</div><div>617 The version control method may be selected via the --backup option or through\n\</div><div>618 the VERSION_CONTROL environment variable.  Here are the values:\n\</div><div>619 \n\</div><div>620 "), stdout);</div><div>621   fputs (_("\</div><div>622   none, off       never make backups (even if --backup is given)\n\</div><div>623   numbered, t     make numbered backups\n\</div><div>624   existing, nil   numbered if numbered backups exist, simple otherwise\n\</div><div>625   simple, never   always make simple backups\n\</div><div>626 "), stdout);</div><div>627 }</div><div><br></div><div>When analysis this function. The first block's first instruction's source line is 614 rather than 612 or 613. Is it a bug or any other meaning resulting in such case. Below is the IR. The first IR's source line if 614.</div><div><br></div><div><div>  %call = call i8* @gettext(i8* getelementptr inbounds ([221 x i8], [221 x i8]* @.str.42, i32 0    , i32 0)) #12, !dbg !1295</div><div>  %0 = load %struct._IO_FILE*, %struct._IO_FILE** @stdout, align 4, !dbg !1295</div><div>  %call1 = call i32 @fputs_unlocked(i8* %call, %struct._IO_FILE* %0), !dbg !1295</div><div>  %call2 = call i8* @gettext(i8* getelementptr inbounds ([222 x i8], [222 x i8]* @.str.43, i32     0, i32 0)) #12, !dbg !1296</div><div>  %1 = load %struct._IO_FILE*, %struct._IO_FILE** @stdout, align 4, !dbg !1296</div><div>  %call3 = call i32 @fputs_unlocked(i8* %call2, %struct._IO_FILE* %1), !dbg !1296</div><div>  ret void, !dbg !1297</div></div><div><br></div><div>Can anyone help me or give me some suggestions? Many Thanks</div><div><br></div><div>Regards</div><div>Muhui</div></span></div></div>