diff options
Diffstat (limited to 'results/scraper/launchpad-without-comments/1885719')
| -rw-r--r-- | results/scraper/launchpad-without-comments/1885719 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/results/scraper/launchpad-without-comments/1885719 b/results/scraper/launchpad-without-comments/1885719 new file mode 100644 index 000000000..c178f2aaf --- /dev/null +++ b/results/scraper/launchpad-without-comments/1885719 @@ -0,0 +1,11 @@ +qemu/target/nios2/helper.c:261:20: style:inconclusive: Found duplicate branches for 'if' and 'else' + +Source code is + + } else if (address >= 0x80000000) { + /* Kernel virtual page */ + return cpu_nios2_handle_virtual_page(cs, address, rw, mmu_idx); + } else { + /* User virtual page */ + return cpu_nios2_handle_virtual_page(cs, address, rw, mmu_idx); + } \ No newline at end of file |