avast / avast/retdec

Simplify "x >= 0 != x != 0" to "x<=0"

Open
#793 2 comments 0 reactions 1 assignee Claimed by @xkubov View on GitHub
P-output
Dominant language
C++
Stars
8.6k
Forks
1k
PR merge metrics
No merged PRs in 30d

Description

Subject: https://github.com/rfalke/decompiler-subjects/tree/master/from_holdec/dmi/cfg/ia32_elf/subject.exe

Output
```
int32_t intermediate_11_loop_with_two_breaks(int32_t a1) {
if (a1 >= 0 != a1 != 0) {
// 0x8048825
return 0;
}
...
```

`if (a1 <=0) ` would be much eaiser to understand.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.