Issues
- 0
- 0
- 0
pinpoint-fn-1
#75 opened - 0
pinpoint-fp-3
#74 opened - 0
pinpoint-fp-2
#73 opened - 0
pinpoint-fp-1
#72 opened - 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 1
- 2
GCC Static Analyzer does not kown `c || b.d` is false with the fact that `c=0` and `b.d=0`
#56 opened - 1
GSA evaluates `__analyzer_eval((((c) + 1) == ((&b[0]) + 1)))` to be FLASE with the fact `c == &b[0]`
#55 opened - 2
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 3
GSA evaluates `((0)+1)==((b[0][0][1])+1)` to be FALSE with the fact that `0 == b[0][0][1]`
#41 opened - 2
- 2
- 2
- 2
- 5
- 2
- 5
- 3
- 5
- 2
- 4
- 5
- 2