diff options
Diffstat (limited to 'results/scraper/launchpad-without-comments/1550503')
| -rw-r--r-- | results/scraper/launchpad-without-comments/1550503 | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/results/scraper/launchpad-without-comments/1550503 b/results/scraper/launchpad-without-comments/1550503 new file mode 100644 index 000000000..24952ea52 --- /dev/null +++ b/results/scraper/launchpad-without-comments/1550503 @@ -0,0 +1,13 @@ +target-arm/helper.c:5493: bad test ? + +[qemu/target-arm/helper.c:5493]: (style) Expression '(X & 0x1f) != 0xf80f0000' is always true. + +Source code is + + (env->uncached_cpsr & CPSR_M) != CPSR_USER && + +but + +./qemu/target-arm/cpu.h:#define CPSR_M (0x1fU) + +./qemu/target-arm/cpu.h:#define CPSR_USER (CPSR_NZCV | CPSR_Q | CPSR_GE) \ No newline at end of file |