gpg: Fix possible dead code elimination.
authorWerner Koch <wk@gnupg.org>
Sun, 15 Mar 2015 13:01:36 +0000 (14:01 +0100)
committerWerner Koch <wk@gnupg.org>
Sun, 15 Mar 2015 13:01:36 +0000 (14:01 +0100)
commit1a9f13bc663daa75c5009f6a0bf7d7483f12cce0
tree434b99a7d1c4e7ff57f4b3fb539e81824ca66798
parent4bc3a2e954afc2ba7dbe79ba5f740184b7d4cd73
gpg: Fix possible dead code elimination.

* g10/encrypt.c: Change condition for detecting a real file.
--

Detected by Stack 3.0:

  bug: anti-dce
  model: |
    %tobool155 = icmp ne i32 %call154, 0, !dbg !1298
    -->  true
    ************************************************************
    land.lhs.true156:
    %96 = icmp eq i8* %filename, null
    call void @opt.bugon(i1 %96), !dbg !1298, !bug !1250
    %97 = load i8* %filename, align 1, !dbg !1298
    %conv157 = sext i8 %97 to i32, !dbg !1298
    %tobool158 = icmp ne i32 %conv157, 0, !dbg !1298
    br i1 %tobool158, label %land.lhs.true159, label %if.else177,\
          !dbg !1298
  stack:
    - /home/wk/s/gnupg/g10/encrypt.c:639:0
  ncore: 1
  core:
    - /home/wk/s/gnupg/g10/encrypt.c:639:0
      - null pointer dereference
g10/encrypt.c