Your message dated Fri, 01 Jun 2012 13:32:25 +0000
with message-id <[email protected]>
and subject line Bug#675056: fixed in clang 3.1-4
has caused the Debian Bug report #675056,
regarding clang --analyze crashes
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)


-- 
675056: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=675056
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: clang
Version: 3.1-3
Severity: important

Dear Maintainer,

clang --analyze crashes reproducibly on several files.

I tried to reduce a C file to the smallest size where the crash still happens:
########## x.c #############
#include <stdlib.h>

#define xfree(a) do { if (a) { free(a); a=NULL; } } while (0);

typedef struct {
        char
                *password,
                *host,
                *port,
                *path,
                *query,
                *fragment;
} IRI;

void iri_free(IRI *iri)
{
        if (iri) {
                xfree(iri->password);
                xfree(iri->host);
                xfree(iri->port);
                xfree(iri->path);
                xfree(iri->query);
                xfree(iri->fragment);
        }
}
##############

Small changes make clang work correctly, e.g. 'if (iri!=NULL)' or removing 
'xfree(iri-password)'.

Here is clang's output:

$ clang --analyze x.c
0  libLLVM-3.1.so.1 0x00007f60f73ff8bf
1  libLLVM-3.1.so.1 0x00007f60f73ffd09
2  libpthread.so.0  0x00000039b800f030
3  clang            0x0000000000c456e2 
clang::ento::ExplodedGraph::shouldCollect(clang::ento::ExplodedNode const*) + 
242
4  clang            0x0000000000c457f7 
clang::ento::ExplodedGraph::reclaimRecentlyAllocatedNodes() + 71
5  clang            0x0000000000c4edc1 
clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt, 
clang::ento::ExplodedNode*) + 49
6  clang            0x0000000000c4fd9c 
clang::ento::ExprEngine::processCFGElement(clang::CFGElement, 
clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) + 
172
7  clang            0x0000000000c35bca 
clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int, 
clang::ento::ExplodedNode*) + 74
8  clang            0x0000000000c35d2b 
clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*, 
clang::ProgramPoint, clang::ento::WorkListUnit const&) + 91
9  clang            0x0000000000c35f72 
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, 
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 194
10 clang            0x0000000000b16886
11 clang            0x0000000000b17282
12 clang            0x0000000000b1e2b9
13 clang            0x000000000081809d clang::ParseAST(clang::Sema&, bool, 
bool) + 461
14 clang            0x00000000005c8156 
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 262
15 clang            0x00000000005b14a2 
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1042
16 clang            0x00000000005aabb5 cc1_main(char const**, char const**, 
char const*, void*) + 9093
17 clang            0x00000000005a7ca6 main + 7014
18 libc.so.6        0x00000039b741eead __libc_start_main + 253
19 clang            0x00000000005a86b1
Stack dump:
0.      Program arguments: /usr/bin/clang -cc1 -triple x86_64-pc-linux-gnu 
-analyze -disable-free -disable-llvm-verifier -main-file-name x.c 
-analyzer-store=region -analyzer-opt-analyze-nested-blocks 
-analyzer-eagerly-assume -analyzer-ipa=inlining -analyzer-checker=core 
-analyzer-checker=unix -analyzer-checker=deadcode 
-analyzer-checker=security.insecureAPI.UncheckedReturn 
-analyzer-checker=security.insecureAPI.getpw 
-analyzer-checker=security.insecureAPI.gets 
-analyzer-checker=security.insecureAPI.mktemp 
-analyzer-checker=security.insecureAPI.mkstemp 
-analyzer-checker=security.insecureAPI.vfork -analyzer-output plist -w 
-mrelocation-model static -mdisable-fp-elim -masm-verbose -mconstructor-aliases 
-munwind-tables -target-cpu x86-64 -target-linker-version 2.22 
-momit-leaf-frame-pointer -resource-dir /usr/bin/../lib/clang/3.1 
-fmodule-cache-path /var/tmp/clang-module-cache -internal-isystem 
/usr/local/include -internal-isystem /usr/bin/../lib/clang/3.1/include 
-internal-isyst
 em /usr/
 include/clang/3.1/include/ -internal-externc-isystem  
-internal-externc-isystem /usr/include/x86_64-linux-gnu 
-internal-externc-isystem /usr/include/x86_64-linux-gnu 
-internal-externc-isystem /usr/include -fdebug-compilation-dir 
/usr/oms/src/mget -ferror-limit 19 -fmessage-length 111 -mstackrealign 
-fgnu-runtime -fobjc-runtime-has-arc -fobjc-runtime-has-weak -fobjc-fragile-abi 
-fdiagnostics-show-option -fcolor-diagnostics -o x.plist -x c x.c 
1.      <eof> parser at end of file
clang: error: unable to execute command: Segmentation fault
clang: error: clang frontend command failed due to signal (use -v to see 
invocation)
clang: note: diagnostic msg: Please submit a bug report to 
http://llvm.org/bugs/ and include command line arguments and all diagnostic 
information.
clang: note: diagnostic msg: Preprocessed source(s) and associated run 
script(s) are located at:
clang: note: diagnostic msg: /tmp/x-iE9dac.i
clang: note: diagnostic msg: /tmp/x-iE9dac.sh

Regards, Tim 

-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash

Versions of packages clang depends on:
ii  libc6                2.13-32
ii  libclang-common-dev  3.1-3
ii  libffi5              3.0.10-3
ii  libgcc1              1:4.7.0-10
ii  libllvm3.1           3.1-1
ii  libstdc++6           4.7.0-10
ii  libstdc++6-4.6-dev   4.6.3-7

Versions of packages clang recommends:
ii  llvm-3.1-dev  3.1-1
ii  python        2.7.2-10

clang suggests no packages.

-- no debconf information



--- End Message ---
--- Begin Message ---
Source: clang
Source-Version: 3.1-4

We believe that the bug you reported is fixed in the latest version of
clang, which is due to be installed in the Debian FTP archive:

clang_3.1-4.debian.tar.gz
  to main/c/clang/clang_3.1-4.debian.tar.gz
clang_3.1-4.dsc
  to main/c/clang/clang_3.1-4.dsc
clang_3.1-4_amd64.deb
  to main/c/clang/clang_3.1-4_amd64.deb
libclang-common-dev_3.1-4_amd64.deb
  to main/c/clang/libclang-common-dev_3.1-4_amd64.deb
libclang-dev_3.1-4_amd64.deb
  to main/c/clang/libclang-dev_3.1-4_amd64.deb
libclang1_3.1-4_amd64.deb
  to main/c/clang/libclang1_3.1-4_amd64.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Sylvestre Ledru <[email protected]> (supplier of updated clang package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 01 Jun 2012 15:06:28 +0200
Source: clang
Binary: clang libclang1 libclang-dev libclang-common-dev
Architecture: source amd64
Version: 3.1-4
Distribution: unstable
Urgency: low
Maintainer: LLVM Packaging Team <[email protected]>
Changed-By: Sylvestre Ledru <[email protected]>
Description: 
 clang      - Low-Level Virtual Machine (LLVM), C language family frontend
 libclang-common-dev - clang library - Common development package
 libclang-dev - clang library - Development package
 libclang1  - clang library
Closes: 674340 675056
Changes: 
 clang (3.1-4) unstable; urgency=low
 .
   * Force the version 4.6 of gcc to build (Closes: #675056, #674340)
Checksums-Sha1: 
 6db091ae7fffdf15c2b017a0c38fd093e8459b69 1706 clang_3.1-4.dsc
 34f8dce61f59d7fd9d539af77a756eef106d3d39 18722 clang_3.1-4.debian.tar.gz
 a66fbbf1532743d29791e3c3c94a0b372791260a 5755284 clang_3.1-4_amd64.deb
 fe123902da00d41575aee6c33d94fdbf1b65abcf 3918236 libclang1_3.1-4_amd64.deb
 5f00f73a05af8397813c0aa7c7ac23ee32f3a0f5 1100088 libclang-dev_3.1-4_amd64.deb
 8cf0b1f9b58598740130ace3902788c21832a5c4 83846 
libclang-common-dev_3.1-4_amd64.deb
Checksums-Sha256: 
 51d4ce581ac0f211ddae536fd05b000072319901be9cf205c66e03624c068c63 1706 
clang_3.1-4.dsc
 91633ee9be8bf3518a6ad62c2f321631b707c0472fed071b1dcbc8d32ec7fc22 18722 
clang_3.1-4.debian.tar.gz
 e3a1bc7294548bc1858de51f9cf6c0813573c82c4c5a7bc18f08f1527317a37d 5755284 
clang_3.1-4_amd64.deb
 147643380d28691cbfed79ef09fec20ab734541d6c4536f5e85308d3408655e5 3918236 
libclang1_3.1-4_amd64.deb
 00d2e5138eb521e03cef5831a7284b26186a3d525fb03a9e33cb86a2d4800f46 1100088 
libclang-dev_3.1-4_amd64.deb
 811c555399489014ec29e62909349f29f3a0ef9d8d8d9df37e15e5756004b039 83846 
libclang-common-dev_3.1-4_amd64.deb
Files: 
 105a5d16fd7b1e3ad959c947d89a4700 1706 devel optional clang_3.1-4.dsc
 af4305716bf40aa187e995937422a3a7 18722 devel optional clang_3.1-4.debian.tar.gz
 0fa30abf7cf699df1159739fc6a35c3e 5755284 devel optional clang_3.1-4_amd64.deb
 e6e12e00607dc2dd4ab03dae45dcf738 3918236 devel optional 
libclang1_3.1-4_amd64.deb
 ca43de2d3ee1846399ff1a07bae314e9 1100088 libdevel optional 
libclang-dev_3.1-4_amd64.deb
 95ddc65efd066d5f7d385e657426ec86 83846 libdevel optional 
libclang-common-dev_3.1-4_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAk/IwdkACgkQiOXXM92JlhBD+QCghVgJCuKfxlRUNhq93t81pOMW
bvIAoOYXvOXx/bGnfzKGbuvwWhVxcARF
=+AFX
-----END PGP SIGNATURE-----



--- End Message ---

Reply via email to