[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee] c8acc6: Using std::memcpy prevents alignment problems and ...
From:       Daniel Schemmel <noreply () github ! com>
Date:       2023-07-08 20:53:47
Message-ID: klee/klee/push/refs/heads/master/1fb67e-3034ae () github ! com
[Download RAW message or body]


*******************
This email originates from outside Imperial. Do not click on links and attachments \
unless you recognise the sender.  If you trust the sender, add them to your safe \
senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping \
                for this address.
*******************
  Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: c8acc60e25a120f9b2c8f0773068c2ce963d947e
      https://github.com/klee/klee/commit/c8acc60e25a120f9b2c8f0773068c2ce963d947e
  Author: Daniel Schemmel <daniel@schemmel.net>
  Date:   2023-07-08 (Sat, 08 Jul 2023)

  Changed paths:
    M lib/Expr/Expr.cpp

  Log Message:
  -----------
  Using std::memcpy prevents alignment problems and removes an unnecessary special \
case


  Commit: 3034ae5878f2b1f3216ab1a7d2706edf27c8ae4c
      https://github.com/klee/klee/commit/3034ae5878f2b1f3216ab1a7d2706edf27c8ae4c
  Author: Daniel Schemmel <daniel@schemmel.net>
  Date:   2023-07-08 (Sat, 08 Jul 2023)

  Changed paths:
    M lib/Expr/Expr.cpp

  Log Message:
  -----------
  Combine all `ConstantExpr::toMemory` cases into one.

Note that (as it did previously), this relies on the native types having
the same internal representation as the ApInt type.


Compare: https://github.com/klee/klee/compare/1fb67ef82f2d...3034ae5878f2

_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits


[prev in list] [next in list] [prev in thread] [next in thread]