Menu

cppcheck head: new coredumps

Martin
2021-10-14
2021-10-25
  • Martin

    Martin - 2021-10-14

    Hi,

    new coredumps occur since 0a5b7b2af54449bbe5c264b06fc651d1972eb0ad with the attached files; could you please check?
    With d62242da27e0b8846bfb73891a5f7a2e7b462310 they did not occur.

    Checking /home/user/Desktop/21-10-14_1.cpp ...
    cppcheck: lib/infer.cpp:133: static Interval Interval::fromValues(const std::__debug::list<ValueFlow::Value>&, Predicate) [with Predicate = Interval::fromValues(const std::__debug::list<ValueFlow::Value>&)::<lambda(const ValueFlow::Value&)>]: Assertion `!maxValue->isKnown()' failed.
    Aborted (core dumped)
    
    Checking /home/user/Desktop/21-10-14_2.cpp ...
    cppcheck: lib/infer.cpp:133: static Interval Interval::fromValues(const std::__debug::list<ValueFlow::Value>&, Predicate) [with Predicate = Interval::fromValues(const std::__debug::list<ValueFlow::Value>&)::<lambda(const ValueFlow::Value&)>]: Assertion `!maxValue->isKnown()' failed.
    Aborted (core dumped)
    

    Thanks,
    Martin

     
  • Martin

    Martin - 2021-10-21

    Can anybody reproduce this?

     
  • Martin

    Martin - 2021-10-25

    With this commit, I can still reproduce on Linux.

     
  • CHR

    CHR - 2021-10-25

    Hmm, I also get the assert failure in the debugger. Ticket is here: https://trac.cppcheck.net/ticket/10562

     

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.